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

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

190. By Mads Chr. Olesen on 2013-06-13

GCF parsing: read Diff32 streams

189. By Mads Chr. Olesen on 2013-06-12

GCF parsing: gzip-streams, rle32-streams, parse vector and ltstype format.

188. By Mads Chr. Olesen on 2013-06-11

very initial code to parse LTSmin gcf files

187. By Alfons Laarman <email address hidden> on 2013-05-21

Set FED type to 0 (type 0 has 0 values and hence is a direct type)

186. By Mads Chr. Olesen on 2013-05-07

cleanup test case imports

185. By Mads Chr. Olesen on 2013-05-07

refactor some test cases

184. By Mads Chr. Olesen on 2013-05-06

Work on simplify, make params that are not const work.

183. By Mads Chr. Olesen on 2013-05-06

Refactor util.expression_to_c, and invariant generator; now invariants mixing disjunctions works properly

182. By Mads Chr. Olesen on 2013-05-03

Add support for signed variables

181. By Mads Chr. Olesen on 2013-05-02

Fix handling of the conditions for if's with else if's