-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#97 In MERCorg/merc;
Deal with duplicated transitions in LTSs
bugSomething isn't workingSomething isn't workingStatus: Open.#84 In MERCorg/merc;Think about how subgraphs should be implemented
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#81 In MERCorg/merc;Replace the hard coded tau indices by a central way of constructing it.
bugSomething isn't workingSomething isn't workingStatus: Open.#76 In MERCorg/merc;The
merc-ltsgraphandmerc-pbesrelease binaries are excessively large on UbuntuenhancementNew feature or requestNew feature or requestStatus: Open.#53 In MERCorg/merc;Make the merc_derive_terms macro hygienic such that it does not require additional use imports
enhancementNew feature or requestNew feature or requestStatus: Open.#52 In MERCorg/merc;The crate merc_lts and the tool merc-lts have shared output folders for the documentation
bugSomething isn't workingSomething isn't workingStatus: Open.#45 In MERCorg/merc;Experiment with structured logging for performance analysis, and related to this tracing
enhancementNew feature or requestNew feature or requestStatus: Open.#37 In MERCorg/merc;- Status: Open.#36 In MERCorg/merc;
Erase the dynamic sized SharedTerm to to remove 1 word per ATermRef.
enhancementNew feature or requestNew feature or requestStatus: Open.#31 In MERCorg/merc;There are several examples where the pest parser is extremely slow on mCRL2 files
bugSomething isn't workingSomething isn't workingStatus: Open.#30 In MERCorg/merc;The parsing error returned from pest are not very useful without understanding the grammar details
bugSomething isn't workingSomething isn't workingStatus: Open.#28 In MERCorg/merc;