verifypn

Merge lp:~tapaal-ltl/verifypn/random-fix into lp:verifypn

  1. random-fix
  2. Merge into new-trunk
Proposed by Peter Gjøl Jensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 247
Merged at revision: 232
Proposed branch: lp:~tapaal-ltl/verifypn/random-fix
Merge into: lp:verifypn
To merge this branch: bzr merge lp:~tapaal-ltl/verifypn/random-fix
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+401088@code.launchpad.net

Commit message

Fixes random-search, updates scripts for competition.

To post a comment you must log in.
Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

Also contains updates/improvements to LTL engine

lp:~tapaal-ltl/verifypn/random-fix updated
241. By Peter G. Jensen <email address hidden>

fixes for forward-approximation

242. By Peter G. Jensen <email address hidden>

Merge

243. By Peter G. Jensen <email address hidden>

Improved Partitioning

244. By Peter G. Jensen <email address hidden>

fixing typo in script

Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

This is ready for merging into trunk.

lp:~tapaal-ltl/verifypn/random-fix updated
245. By <email address hidden>

added info on LTL to --help output

246. By <email address hidden>

increased version number to 4.1.0 (new unfolding approach and added heuristic search for LTL)

247. By <email address hidden>

fixed long int for windows compilation

Revision history for this message
Jiri Srba (srba) :
review: Approve

Subscribers

People subscribed via source and target branches