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

Created by Mads Chr. Olesen and last modified
Get this branch:
bzr branch lp:~opaal-developers/opaal/opaal-ltsmin-readgcf
Members of opaal developers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
opaal developers
Project:
opaal
Status:
Development

Recent revisions

190. By Mads Chr. Olesen

GCF parsing: read Diff32 streams

189. By Mads Chr. Olesen

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

188. By Mads Chr. Olesen

very initial code to parse LTSmin gcf files

187. By Alfons Laarman <email address hidden>

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

186. By Mads Chr. Olesen

cleanup test case imports

185. By Mads Chr. Olesen

refactor some test cases

184. By Mads Chr. Olesen

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

183. By Mads Chr. Olesen

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

182. By Mads Chr. Olesen

Add support for signed variables

181. By Mads Chr. Olesen

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

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.

Subscribers