Created by Mads Chr. Olesen and last modified
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

opaal developers

Recent revisions

188. By Mads Chr. Olesen

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

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

180. By Mads Chr. Olesen

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

179. By Mads Chr. Olesen

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:
This branch contains Public information 
Everyone can see this information.