~peter-bulychev/dbmpyuppaal/dbmpyuppaal_discrete_states

• Changes
• Files

~peter-bulychev/dbmpyuppaal/dbmpyuppaal_discrete_states » Changes from revision 49

From Revision 47 to 28

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
47		added __hash__ to LocationPredicate and Tautology added __hash__ to LocationPredicate and Tautology	Peter Bulychev	12 years ago
46		merged with other commits merged with other commits	Peter Bulychev	12 years ago
45		string representation string representation	Peter Bulychev	12 years ago
44		do not delete assignment from transition do not delete assignment from transition	Peter Bulychev	12 years ago
43		cached discrete states cached discrete states	Peter Bulychev	12 years ago
42		we don't copy discrete state when copy nta state we don't copy discrete state when copy nta state	Peter Bulychev	12 years ago
41		added caching added caching	Peter Bulychev	12 years ago
40		modified hash function for a discrete state (now it takes in... modified hash function for a discrete state (now it takes into account valuation)	Peter Bulychev	12 years ago
39		added hash, _cached_next is emptied when we delay added hash, _cached_next is emptied when we delay	Peter Bulychev	12 years ago
38		next state is cached next state is cached	Peter Bulychev	12 years ago
37		and before applying target state invariants and before applying target state invariants	Peter Bulychev	12 years ago
36		clocks should be reset before we check an invariant of the d... clocks should be reset before we check an invariant of the destination state	Peter Bulychev	12 years ago
35		another assymetrical commit another assymetrical commit	Peter Bulychev	12 years ago
34		bugfix in resets in sync bugfix in resets in sync	Peter Bulychev	12 years ago
33		function variables are not printed function variables are not printed	Peter Bulychev	12 years ago
32		through exception, if we can't parse a declaration through exception, if we can't parse a declaration	Peter Bulychev	12 years ago
31		, -> ; in update , -> ; in update	Peter Bulychev	12 years ago
30		action1==action2 action1==action2	Peter Bulychev	12 years ago
29		current version current version	Peter Bulychev	12 years ago
28		fixed parser & actions fixed parser & actions	Peter Bulychev	12 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1