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

Created by Mads Chr. Olesen on 2011-11-23 and last modified on 2013-07-23
Get this branch:
bzr branch lp:~opaal-developers/opaal/opaal-ltsmin-succgen
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:
Merged

Recent revisions

188. By Mads Chr. Olesen on 2013-07-23

fixup gensuccgen StateStruct to correctly allow legacy code to access "locs" vector (which is no longer there)

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

180. By Mads Chr. Olesen on 2013-04-30

Add support for invariants with disjunctions that mix discrete and DBM invariants

179. By Mads Chr. Olesen on 2013-04-30

gensuccgen: fix discrete invariants

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