VerifyDTAPN

lp:~verifydtapn-contributers/verifydtapn/NoDefaultGCD

Created by Peter Gjøl Jensen on 2014-02-19 and last modified on 2014-02-19

Get this branch:: bzr branch lp:~verifydtapn-contributers/verifydtapn/NoDefaultGCD

Members of verifydtapn-contributers can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:verifydtapn at revision 296

Jiri Srba: Approve on 2014-02-19

Mathias Grund Sørensen: Pending requested 2014-02-19

Jakob Taankvist: Pending requested 2014-02-19

Critical

Fix Released

296. By Peter Gjøl Jensen on 2014-02-19: made gcd a opt in
295. By Jiri Srba on 2014-02-18: increased version number to 3.0.0
294. By Jiri Srba on 2014-02-17: merged in branch disabeling GCD for AF, EG queries and for deadlock
293. By Jiri Srba on 2014-02-16: merged in branch with minor memory optimizations and fixing memory leaks in workflow analaysis
292. By Jiri Srba on 2014-01-25: merged in branch fixing loop problem for EG queries
291. By Jiri Srba on 2013-12-05: merged in branch implementing the GCD of constants in the model
290. By Jiri Srba on 2013-10-29: merged in a branch that changes the inheritance model and refactors the code
289. By Jiri Srba on 2013-10-28: merged in branch for workflow analysis
288. By Jiri Srba on 2013-09-02: merged in branch fixing segfault by removing deletes in destructors
287. By Jiri Srba on 2013-08-29: merged in branch removing memory leaks in the nonboost version

This branch contains Public information

Everyone can see this information.