~tapaal-ltl/verifypn/answer-for-gui

Viewing all changes in revision 232.

  • Committer: srba.jiri at gmail
  • Date: 2021-04-16 20:59:15 UTC
  • mfrom: (231.1.16 random-fix)
  • Revision ID: srba.jiri@gmail.com-20210416205915-8d22jkkj14aff05i
merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: