lp:~yrke/verifypn/github-automation

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 242

Jiri Srba: Approve on 2021-07-05

Diff: 158 lines (+142/-0)

3 files modified

.github/workflows/build-linux.yml (+44/-0)
.github/workflows/build-macos.yml (+51/-0)
.github/workflows/build-win.yml (+47/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

241. By Kenneth Yrke Jørgensen on 2021-06-14

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> on 2021-06-06

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

239. By Jiri Srba on 2021-05-24

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

238. By Jiri Srba on 2021-05-20

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

237. By Jiri Srba on 2021-05-10

This the version submitted to MCC 2021.

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