~opaal-developers/opaal/opaal-ltsmin-readgcf : changes

~opaal-developers/opaal/opaal-ltsmin-readgcf » Changes from revision 190

From Revision 190 to 171

Rev	Summary	Authors	Date
190	GCF parsing: read Diff32 streams GCF parsing: read Diff32 streams	Mads Chr. Olesen	10 years ago
189	GCF parsing: gzip-streams, rle32-streams, parse vector and l... GCF parsing: gzip-streams, rle32-streams, parse vector and ltstype format.	Mads Chr. Olesen	10 years ago
188	very initial code to parse LTSmin gcf files very initial code to parse LTSmin gcf files	Mads Chr. Olesen	10 years ago
187	Set FED type to 0 (type 0 has 0 values and hence is a direct... Set FED type to 0 (type 0 has 0 values and hence is a direct type)	a.w.laarman at utwen...	10 years ago
186	cleanup test case imports cleanup test case imports	Mads Chr. Olesen	10 years ago
185	refactor some test cases refactor some test cases	Mads Chr. Olesen	10 years ago
184	Work on simplify, make params that are not const work. Work on simplify, make params that are not const work.	Mads Chr. Olesen	10 years ago
183	Refactor util.expression_to_c, and invariant generator; now ... Refactor util.expression_to_c, and invariant generator; now invariants mixing disjunctions works properly	Mads Chr. Olesen	10 years ago
182	Add support for signed variables Add support for signed variables	Mads Chr. Olesen	10 years ago
181	Fix handling of the conditions for if's with else if's Fix handling of the conditions for if's with else if's	Mads Chr. Olesen	10 years ago
180	Add support for invariants with disjunctions that mix discre... Add support for invariants with disjunctions that mix discrete and DBM invariants	Mads Chr. Olesen	10 years ago
179	gensuccgen: fix discrete invariants gensuccgen: fix discrete invariants	Mads Chr. Olesen	10 years ago
178	catch exceptions and show error messages catch exceptions and show error messages	Andreas Engelbredt D...	10 years ago
177	Fix expression_to_c visit_identifier parameter passing to ge... Fix expression_to_c visit_identifier parameter passing to generate correct code for array usage in guards	Mads Chr. Olesen	10 years ago
176	Merged opaal-joining branch Merged opaal-joining branch	Mads Chr. Olesen	10 years ago
175	Support for max clock constant analysis of "c <= a[5]", and ... Support for max clock constant analysis of "c <= a[5]", and resets of "c = x"	Mads Chr. Olesen	10 years ago
174	Rudimentary support for max-clock constant analysis of clock Rudimentary support for max-clock constant analysis of clock comparisons to expressions (variables, +, -, etc.)	Mads Chr. Olesen	10 years ago
173	gensuccgen: better logic for detecting uppaal dbm directory gensuccgen: better logic for detecting uppaal dbm directory	Mads Chr. Olesen	10 years ago
172	correctly export lattice_print function in PINS interface correctly export lattice_print function in PINS interface	Mads Chr. Olesen	11 years ago
171	merge merge	Andreas Engelbredt D...	11 years ago

Older »