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

Created by Peter Gjøl Jensen on 2021-04-07 and last modified on 2021-04-16
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/random-fix
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-ltl
Project:
verifypn
Status:
Merged

Recent revisions

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

242. By Peter G. Jensen <email address hidden> on 2021-04-14

Merge

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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers