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
Branch information
Recent revisions
- 187. By Alfons Laarman <email address hidden>
-
Set FED type to 0 (type 0 has 0 values and hence is a direct type)
- 183. By Mads Chr. Olesen
-
Refactor util.expression
_to_c, and invariant generator; now invariants mixing disjunctions works properly
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:opaal