verifypn

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

Created by Peter Gjøl Jensen on 2021-04-07 and last modified on 2021-04-16

Members of tapaal-ltl can upload to this branch. Log in for directions.

1 branch proposed for merging into this one.

No branches dependent on this one.

Merged into lp:verifypn at revision 232

Jiri Srba: Approve on 2021-04-16

247. By <email address hidden> on 2021-04-16: fixed long int for windows compilation
246. By <email address hidden> on 2021-04-16: increased version number to 4.1.0 (new unfolding approach and added heuristic search for LTL)
245. By <email address hidden> on 2021-04-16: added info on LTL to --help output
244. By Peter G. Jensen <email address hidden> on 2021-04-15: fixing typo in script
243. By Peter G. Jensen <email address hidden> on 2021-04-14: Improved Partitioning; Merged branch lp:~verifypn-cpn/verifypn/partitioning
242. By Peter G. Jensen <email address hidden> on 2021-04-14: Merge; Merged branch lp:~verifypn-cpn/verifypn/color-fixpoint
241. By Peter G. Jensen <email address hidden> on 2021-04-14: fixes for forward-approximation
240. By Peter G. Jensen <email address hidden> on 2021-04-13: checking if environment is set before using standard-values
239. By Peter G. Jensen <email address hidden> on 2021-04-13: new script from Jiri
238. By Peter G. Jensen <email address hidden> on 2021-04-12: fixing help output

This branch contains Public information

Everyone can see this information.