lp:~opaal-maintainers/opaal/opaal-lattice-dart

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

51. By Mads Chr. Olesen on 2011-10-19

Adding constraints, calculated on paper, might be right :-)

50. By Mads Chr. Olesen on 2011-10-19

Try to make TimeDart interface similar to DBM interface, make delay operation explicit

49. By Kenneth Yrke Jørgensen on 2011-10-19

Added beginning til timedart lattice implementation

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

46. By Mads Chr. Olesen on 2011-09-23

don't allow syncs with self

45. By Mads Chr. Olesen on 2011-09-23

test for sup queries

44. By Mads Chr. Olesen on 2011-09-22

initial max constant clock analyzer for pyuppaal models

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