Issues

• CTL/LTL EX/AX

  enhancement
  TAPAAL/verifypn#63 · Filter by author petergjoel opened on Feb 9, 2022

• Move out placeFree()

  enhancement
  TAPAAL/verifypn#58 · Filter by author petergjoel opened on Feb 7, 2022

• CPN color quotienting does not handle trivial equality

  enhancement
  TAPAAL/verifypn#57 · Filter by author NicEastvillage opened on Feb 4, 2022

• Get boost as dependency + switch to program_options

  enhancement
  TAPAAL/verifypn#45 · Filter by author petergjoel opened on Jan 21, 2022

• Pretty Print of exceptions

  enhancement
  TAPAAL/verifypn#44 · Filter by author petergjoel opened on Jan 21, 2022

• Unify parsing with unfoldTACPN

  enhancement
  TAPAAL/verifypn#42 · Filter by author petergjoel opened on Jan 21, 2022

• Remove isInvariant

  enhancement
  TAPAAL/verifypn#41 · Filter by author petergjoel opened on Jan 21, 2022

• Remove old CTL quantifiers

  enhancement
  TAPAAL/verifypn#40 · Filter by author petergjoel opened on Jan 21, 2022

• Refactor "evaluation" and "evalAndSet"-methods into visitor

  enhancement
  TAPAAL/verifypn#39 · Filter by author petergjoel opened on Jan 21, 2022

• Missing type-check on colored arcs

  TAPAAL/verifypn#32 · Filter by author petergjoel opened on Jan 18, 2022