lp:~verifypn-stub/verifypn/simplification_timout

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 172

Jiri Srba: Approve on 2017-05-03

Diff: 603 lines (+154/-73)

12 files modified

PetriEngine/PQL/Contexts.h (+3/-3)
PetriEngine/PQL/Expressions.cpp (+70/-22)
PetriEngine/PQL/Expressions.h (+6/-2)
PetriEngine/PQL/PQL.h (+6/-9)
PetriEngine/PetriNetBuilder.cpp (+2/-2)
PetriEngine/PetriNetBuilder.h (+1/-1)
PetriEngine/Reducer.cpp (+14/-7)
PetriEngine/Reducer.h (+8/-1)
PetriEngine/Simplification/LinearPrograms.h (+4/-2)
PetriEngine/options.h (+3/-0)
Scripts/MCC17/competition-scripts/tapaal.sh (+23/-23)
VerifyPN.cpp (+14/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

180. By Peter Gjøl Jensen on 2017-05-03

new attempt at timout

179. By Peter Gjøl Jensen on 2017-05-03

merge

178. By Peter Gjøl Jensen on 2017-05-03

short circuit and timout fix

177. By Peter Gjøl Jensen on 2017-05-02

removed wrong query constructions

176. By Peter Gjøl Jensen on 2017-05-02

fixed logic of timouts

175. By Peter Gjøl Jensen on 2017-05-02

updated scripts

174. By Peter Gjøl Jensen on 2017-05-02

fixed warning on mac

173. By Peter Gjøl Jensen on 2017-05-02

added timeout for reductions

172. By Peter Gjøl Jensen on 2017-05-02

fixed timer for query reductions

171. By Jiri Srba <email address hidden> on 2017-05-02

Merged in branch lp:~verifypn-stub/verifypn/simplification_mem