~tapaal-ltl/verifypn/ltl-spring-2021

Viewing all changes in revision 255.

  • Committer: Simon Virenfeldt
  • Date: 2021-05-24 06:49:16 UTC
  • Revision ID: simwir1@gmail.com-20210524064916-78wr536vr54ultfw
Updated tapaal.sh to contain our best configuration.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: