opaal

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

Created by Mads Chr. Olesen on 2013-06-11 and last modified on 2013-06-13
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 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

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