~verifypn-maintainers/verifypn/new-trunk

Viewing all changes in revision 250.

  • Committer: Jiri Srba
  • Date: 2021-08-21 10:20:38 UTC
  • mfrom: (247.3.2 kbound-fix)
  • Revision ID: srba@cs.aau.dk-20210821102038-jhe33a5lcgah305p
merged in lp:~tapaal-ltl/verifypn/kbound-fix-ltl fixing problem with k-bound and A true in LTL engine

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: