verifypn

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

Created by Peter Gjøl Jensen on 2021-05-19 and last modified on 2021-05-19

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

No branches dependent on this one.

Merged into lp:verifypn at revision 238

Jiri Srba: Approve on 2021-05-20

tapaal-ltl: Pending requested 2021-05-19

237. By Peter G. Jensen <email address hidden> on 2021-05-19: fixing issue with LTL
236. By Jiri Srba on 2021-05-01: merged in lp:~verifypn-cpn/verifypn/optimize-unfolding improving the unfolding of CPN
235. By Jiri Srba on 2021-04-28: updated competition 2021 scripts
234. By <email address hidden> on 2021-04-27: merged in lp:~verifypn-cpn/verifypn/partitioning parsing vehicularWifi and fixing some issues and disabeling partitioning for state-space exploration
233. By <email address hidden> on 2021-04-17: updated README file
232. By <email address hidden> on 2021-04-16: merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling
231. By <email address hidden> on 2021-04-02: merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements
230. By Jiri Srba on 2020-12-17: merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0
229. By Jiri Srba on 2020-10-31: increased version number to 3.1.1
228. By Jiri Srba on 2020-10-31: merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net

This branch contains Public information

Everyone can see this information.