Search results

CTL/LTL EX/AX

enhancementNew feature or requestNew feature or request

Status: Open.

#63 In TAPAAL/verifypn;

· petergjoel opened on Feb 9, 2022

Move out placeFree()

enhancementNew feature or requestNew feature or request

Status: Open.

#58 In TAPAAL/verifypn;

· petergjoel opened on Feb 7, 2022

CPN color quotienting does not handle trivial equality

enhancementNew feature or requestNew feature or request

Status: Open.

#57 In TAPAAL/verifypn;

· NicEastvillage opened on Feb 4, 2022

Get boost as dependency + switch to program_options

enhancementNew feature or requestNew feature or request

Status: Open.

#45 In TAPAAL/verifypn;

· petergjoel opened on Jan 21, 2022

Pretty Print of exceptions

enhancementNew feature or requestNew feature or request

Status: Open.

#44 In TAPAAL/verifypn;

· petergjoel opened on Jan 21, 2022

Unify parsing with unfoldTACPN

enhancementNew feature or requestNew feature or request

Status: Open.

#42 In TAPAAL/verifypn;

· petergjoel opened on Jan 21, 2022

Remove isInvariant

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In TAPAAL/verifypn;

· petergjoel opened on Jan 21, 2022

Remove old CTL quantifiers

enhancementNew feature or requestNew feature or request

Status: Open.

#40 In TAPAAL/verifypn;

· petergjoel opened on Jan 21, 2022

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

enhancementNew feature or requestNew feature or request

Status: Open.

#39 In TAPAAL/verifypn;

· petergjoel opened on Jan 21, 2022

Missing type-check on colored arcs

Status: Open.

#32 In TAPAAL/verifypn;

· petergjoel opened on Jan 18, 2022