lp:~verifydtapn-contributers/verifydtapn/nonBoostNonSegfault

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 288

Jakob Taankvist: Approve on 2013-09-02

Mathias Grund Sørensen: Approve on 2013-09-02

Jiri Srba: Approve on 2013-09-01

Diff: 51 lines (+3/-5)

4 files modified

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp (+1/-1)
src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp (+0/-1)
src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp (+1/-1)
src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp (+1/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

288. By Peter Gjøl Jensen on 2013-09-01

removed deletes in destructors causing segfaults messing with traces

287. By Jiri Srba on 2013-08-29

merged in branch removing memory leaks in the nonboost version

286. By Jiri Srba on 2013-08-26

merged in branch removing boost from the core engine

285. By Jiri Srba on 2013-08-13

merged in branch implementing deadlock proposition

284. By Jiri Srba on 2013-08-12

changed version number to 2.1.0

283. By Jiri Srba on 2013-08-12

merged in the branch adding urgency to transitions

282. By Jiri Srba on 2013-05-29

merged in branch CleanupUnusedCode (refactoring)

281. By Jiri Srba on 2013-05-12

updated linux compile script

280. By Jiri Srba on 2013-04-30

updated the compile script for mac so that it is compatible from 10.6 (snow leopard)

279. By Jiri Srba on 2013-04-22

Merged in a branch adding markings to PW directly from successor
generator (up to 10% speedup).