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

Related bugs

Related blueprints

Branch information

Owner:
opaal maintainers
Project:
opaal
Status:
Development

Recent revisions

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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:opaal
This branch contains Public information 
Everyone can see this information.