~verifypn-maintainers/verifypn/new-trunk

Viewing all changes in revision 254.

  • Committer: Jiri Srba
  • Date: 2021-10-27 20:09:31 UTC
  • mfrom: (251.2.4 verifypn)
  • Revision ID: srba@cs.aau.dk-20211027200931-s3s8ggyzmyjsip79
merged in lp:~tapaal-ltl/verifypn/simple-ltl-heuristics simplifying the heuristic search selection and back to Bison 3.5

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: