lp:~tapaal-dist-ctl/verifypn/ss-cleanup

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 167

Jiri Srba: Needs Fixing on 2017-04-27

Diff: 677 lines (+40/-429)

17 files modified

.bzrignore (+1/-0)
CTL/Algorithm/CertainZeroFPA.cpp (+1/-1)
CTL/Algorithm/CertainZeroFPA.h (+2/-3)
CTL/Algorithm/FixedPointAlgorithm.h (+2/-2)
CTL/Algorithm/LocalFPA.cpp (+1/-1)
CTL/Algorithm/LocalFPA.h (+2/-2)
CTL/CTLEngine.cpp (+12/-23)
CTL/SearchStrategy/DFSSearch.cpp (+0/-15)
CTL/SearchStrategy/DFSSearch.h (+16/-17)
CTL/SearchStrategy/NegationWaitingList.cpp (+0/-47)
CTL/SearchStrategy/NegationWaitingList.h (+0/-26)
CTL/SearchStrategy/TypeMessageList.cpp (+0/-37)
CTL/SearchStrategy/TypeMessageList.h (+0/-29)
CTL/SearchStrategy/UniversalSearchStrategy.h (+0/-106)
CTL/SearchStrategy/WaitingList.h (+0/-60)
CTL/SearchStrategy/iSearchStrategy.h (+0/-56)
VerifyPN.cpp (+3/-4)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

170. By Lasse S. Jensen on 2017-04-26

Added cleanup. CTL Engine now cleans up ss, graph and alg afterwards

169. By Lasse S. Jensen on 2017-04-26

CTL Engine now verifies and outputs errors if a non-DFS ss is passed to it

168. By Lasse S. Jensen on 2017-04-26

Updated CTL SS verification. BFS will now be rejected when using the ctl engine.

167. By Jiri Srba on 2017-04-24

merged with trunk

166. By Lasse S. Jensen on 2017-04-23

Updated ignore to include executable

165. By Lasse S. Jensen on 2017-04-23

Removed a virtual function call

164. By Lasse S. Jensen on 2017-04-23

removed bfs as it does not work

163. By Jiri Srba <email address hidden> on 2017-04-18

change of emails to gmail

162. By Jiri Srba <email address hidden> on 2017-04-18

merged in branch lp:~verifypn-stub/verifypn/bad_alloc_fix

161. By Jiri Srba <email address hidden> on 2017-04-14

adjusted techniques in state-space search