lp:~opaal-maintainers/opaal/opaal-lattice-dart
Created by
Kenneth Yrke Jørgensen
on
2011-10-19
and last modified on
2011-10-19
- Get this branch:
- bzr branch lp:~opaal-maintainers/opaal/opaal-lattice-dart
Members of
opaal maintainers
can upload to this branch. Log in for directions.
Branch merges
Branch information
Recent revisions
- 50. By Mads Chr. Olesen on 2011-10-19
-
Try to make TimeDart interface similar to DBM interface, make delay operation explicit
- 48. By Mads Chr. Olesen on 2011-10-14
-
Allow the use of external externs, i.e. lattice Python classes not distributed with opaal
to use, simply make sure the classname can be accessed from python, then
extern modname1.modname2. classname;
will import it for use - 47. By Mads Chr. Olesen on 2011-09-26
-
Max clock constant analysis for clocks
Only works for discrete clocks for now - 43. By Mads Chr. Olesen on 2011-09-16
-
much work: dbm clocks now work, all expressions are now parsed by pyuppaal and correctly translated to python. Lattice infrastructure reworked.
- 42. By Mads Chr. Olesen on 2011-08-29
-
Don't override __le__ for lattice covers operation, define covers(other) instead
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:opaal