-
Notifications
You must be signed in to change notification settings - Fork 2
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Alphabet reduction / compression
enhancementNew feature or requestNew feature or requestStatus: Open.Treat "Word Automata" as first-class objects
enhancementNew feature or requestNew feature or requestStatus: Open.Feature request for a regex inverse command
enhancementNew feature or requestNew feature or requestStatus: Open.#26 In Walnut-Theorem-Prover/Walnut;Separate a kernel for calculations from the REPL logic
enhancementNew feature or requestNew feature or requestStatus: Open.Create a Walnut Standard Library
enhancementNew feature or requestNew feature or requestStatus: Open.Package all tags
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersStatus: Open.let the user define the location of global directory by setting environment variables
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.Version 6
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersStatus: Open.Version 5
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersStatus: Open.Releases for all Walnut versions
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.Allow skipping minimization when transition count > MAX_INT (was "NegativeArraySizeException in ValmariDFA")
enhancementNew feature or requestNew feature or requestStatus: Open.#1 In Walnut-Theorem-Prover/Walnut;