lp:~tapaal-ltl/verifypn/ltl-structural-reductions

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~tapaal-ltl/verifypn/ltl_model_checker at revision 235

Nikolaj Jensen Ulrik: Approve on 2020-12-04

Diff: 354 lines (+169/-17) (has conflicts)

4 files modified

include/PetriEngine/PQL/Expressions.h (+50/-0)
src/LTL/LTL_algorithm/NestedDepthFirstSearch.cpp (+0/-12)
src/LTLMain.cpp (+114/-0)
src/PetriEngine/Reducer.cpp (+5/-5)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

267. By Simon Virenfeldt on 2020-12-04

Revert change in Reducer.cpp

266. By Simon Virenfeldt on 2020-11-26

Undo revision 263

265. By Simon Virenfeldt on 2020-11-26

Removed extra }

264. By Simon Virenfeldt on 2020-11-26

Merge ltl_model_checker@233

263. By Simon Virenfeldt on 2020-11-26

Rule F is next sensititve in CTL but not in LTL. Added a check for if a query is CTL or LTL and pass this to the reducer to act accordingly

262. By Simon Virenfeldt on 2020-11-25

Changed F to not be next sensitive

261. By Simon Virenfeldt on 2020-11-20

Changed the overrides of isLoopSentitive to hopefully allow more reductions

260. By Simon Virenfeldt on 2020-11-20

Fix error in comments resulting in analysis not being run on the queries.

259. By Simon Virenfeldt on 2020-11-19

Changed bug in the for loop checking for valid reductions and added an analyse step right before verifyLTL

258. By Simon Virenfeldt on 2020-11-18

No reordering of places in the petri net when performing structural reductions