~yrke/verifypn/github-automation

Viewing all changes in revision 238.

  • Committer: Jiri Srba
  • Date: 2021-05-20 07:21:44 UTC
  • mfrom: (236.1.1 verifypn)
  • Revision ID: srba@cs.aau.dk-20210520072144-xrjrq0w9zf3lzxyu
merged in lp:~tapaal-ltl/verifypn/ltl-neg-fix fixing a negation issue in the parsing of LTL queries

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: