-
Notifications
You must be signed in to change notification settings - Fork 50
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
pbessolvesymbolic with counterexample information generates games that are too large
bugSomething isn't workingSomething isn't workingStatus: Open.#1949 In mCRL2org/mCRL2;The clang-tidy cleanup found a bug in Graph::make_random_scc
bugSomething isn't workingSomething isn't workingStatus: Open.#1948 In mCRL2org/mCRL2;Feature: generate evidence LTS directly from the proof graph in pbessolve
enhancementSomething can be improvedSomething can be improvedfeatureNew functionalityNew functionalityStatus: Open.#1947 In mCRL2org/mCRL2;- Status: Open.#1946 In mCRL2org/mCRL2;
The lts_builder add_transition should not be called from different threads, even with a mutex
bugSomething isn't workingSomething isn't workingStatus: Open.#1945 In mCRL2org/mCRL2;The global caching strategy in lps2lts does not work
bugSomething isn't workingSomething isn't workingStatus: Open.#1942 In mCRL2org/mCRL2;The compiling rewriter causes data races in pbessolve
bugSomething isn't workingSomething isn't workingStatus: Open.#1941 In mCRL2org/mCRL2;There are terms that are cleaned up by a different thread than the one that created them
bugSomething isn't workingSomething isn't workingStatus: Open.#1934 In mCRL2org/mCRL2;Rewrite_star in pbessolve prints different output than before
questionSomeone has a questionSomeone has a questionStatus: Open.#1919 In mCRL2org/mCRL2;[Code] PBES to SRF-PBES translation
bugSomething isn't workingSomething isn't workingStatus: Open.When solving symbolically, not all expressions involving quantification seem to rewrite to true or false.
bugSomething isn't workingSomething isn't workinglong termIssue serves as a reminderIssue serves as a reminderStatus: Open.#1907 In mCRL2org/mCRL2;Infinite rewrite with function updates in compiled rewriter
bugSomething isn't workingSomething isn't workingStatus: Open.#1897 In mCRL2org/mCRL2;