Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~yrke/verifypn/github-automation
Only Kenneth Yrke Jørgensen can upload to this branch. If you are Kenneth Yrke Jørgensen please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Kenneth Yrke Jørgensen

Recent revisions

241. By Kenneth Yrke Jørgensen

Added github actions script to automatic build and upload verifypn

Adds github actions for building verifypn on win,macos and linux.
Runs checks on every commit to master and pull-requests

240. By <email address hidden>

merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI

239. By Jiri Srba

This version is submitted to MCC 2021 (after fixing LTL engine).

238. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/ltl-neg-fix fixing a negation issue in the parsing of LTL queries

237. By Jiri Srba

This the version submitted to MCC 2021.

236. By Jiri Srba

merged in lp:~verifypn-cpn/verifypn/optimize-unfolding improving the unfolding of CPN

235. By Jiri Srba

updated competition 2021 scripts

234. By <email address hidden>

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>

updated README file

232. By <email address hidden>

merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling

Branch metadata

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