verifypn

lp:~yrke/verifypn/fixed-required-bison-version

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~yrke/verifypn/fixed-required-bison-version
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

Owner:
Kenneth Yrke Jørgensen
Project:
verifypn
Status:
Merged

Recent revisions

248. By Kenneth Yrke Jørgensen

Updated required bison version and depends

Updated required version of bison to 3.7 (recent changes requies newer version of bison)
Moved find_package bison/flex to main cmake file
Updated github action scripts to install bison 3.7.6

247. By Jiri Srba <email address hidden>

merged in lp:~tapaal-ltl/verifypn/ltl-trace-fixes fixing trace generation and replay

246. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation

245. By <email address hidden>

merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 fixing issue with unfolding

244. By Kenneth Yrke Jørgensen

Fixed typo

243. By <email address hidden>

merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser

242. By Jiri Srba

merged in lp:~yrke/verifypn/github-automation adding github actions

241. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/rule-D-fix fixing a problem in reduction rule D for CTL and LTL logic

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).

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.