-
Notifications
You must be signed in to change notification settings - Fork 20
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
CTL/LTL EX/AX
enhancementNew feature or requestNew feature or requestStatus: Open.#63 In TAPAAL/verifypn;Move out placeFree()
enhancementNew feature or requestNew feature or requestStatus: Open.#58 In TAPAAL/verifypn;CPN color quotienting does not handle trivial equality
enhancementNew feature or requestNew feature or requestStatus: Open.#57 In TAPAAL/verifypn;Get boost as dependency + switch to program_options
enhancementNew feature or requestNew feature or requestStatus: Open.#45 In TAPAAL/verifypn;Pretty Print of exceptions
enhancementNew feature or requestNew feature or requestStatus: Open.#44 In TAPAAL/verifypn;Unify parsing with unfoldTACPN
enhancementNew feature or requestNew feature or requestStatus: Open.#42 In TAPAAL/verifypn;Remove isInvariant
enhancementNew feature or requestNew feature or requestStatus: Open.#41 In TAPAAL/verifypn;Remove old CTL quantifiers
enhancementNew feature or requestNew feature or requestStatus: Open.#40 In TAPAAL/verifypn;Refactor "evaluation" and "evalAndSet"-methods into visitor
enhancementNew feature or requestNew feature or requestStatus: Open.#39 In TAPAAL/verifypn;- Status: Open.#32 In TAPAAL/verifypn;