lp:~verifypn-stub/verifypn/qr-metrics
Created by
Jakob Dyhr
and last modified
- Get this branch:
- bzr branch lp:~verifypn-stub/verifypn/qr-metrics
Members of
verifypn-stub
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 160 lines (+42/-2)3 files modifiedPetriEngine/PQL/Expressions.h (+33/-2)
PetriEngine/PQL/PQL.h (+4/-0)
VerifyPN.cpp (+5/-0)
Branch information
Recent revisions
- 171. By Jiri Srba <email address hidden>
-
Merged in branch lp:~verifypn-stub/verifypn/simplification_mem
- 168. By Jiri Srba <email address hidden>
-
fixed compilation bugs in the merged branch lp:~tapaal-dist-ctl/verifypn/ss-cleanup
- 167. By Jiri Srba <email address hidden>
-
merged in branch bzr merge lp:~tapaal-dist-ctl/verifypn/ss-cleanup
- 165. By Jiri Srba <email address hidden>
-
added lpsolve_MemLimit to option print and set the default to 2048 according to the -h switch
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn