-
Notifications
You must be signed in to change notification settings - Fork 6
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Reduce explicit searching during runtime by caching the program model
effort: 4Requires substantial effort to completeRequires substantial effort to completepriority: soonUse for urgent problemsUse for urgent problemstype: performance-improvementThe issue, when solved, comes with a performance boostThe issue, when solved, comes with a performance boostwork: complicatedCynefin complicated: the work involves problems without necessarily one preferred methodCynefin complicated: the work involves problems without necessarily one preferred methodStatus: Open.#88 In mcminickpt/mcmini;Use dependency graph information to speed up target program state regeneration
effort: 3Requires average effort to completeRequires average effort to completepriority: long-termUse for problems that are solved over a long period of timeUse for problems that are solved over a long period of timetype: performance-improvementThe issue, when solved, comes with a performance boostThe issue, when solved, comes with a performance boostwork: complicatedCynefin complicated: the work involves problems without necessarily one preferred methodCynefin complicated: the work involves problems without necessarily one preferred methodStatus: Open.#49 In mcminickpt/mcmini;Add
MCTransitionStackItemto make per-transition data easier to conceptualizeeffort: 2Requires some effort to completeRequires some effort to completetype: APIThe issue specifies code that relates to McMini's APIThe issue specifies code that relates to McMini's APIwork: obviousCynefin clear: the work involves problems with well-known "best practice" solutionsCynefin clear: the work involves problems with well-known "best practice" solutionsStatus: Open.#42 In mcminickpt/mcmini;Implement Optimal DPOR
effort: 6Requires extraordinary effort to completeRequires extraordinary effort to completepriority: long-termUse for problems that are solved over a long period of timeUse for problems that are solved over a long period of timetype: performance-improvementThe issue, when solved, comes with a performance boostThe issue, when solved, comes with a performance boostwork: chaoticCynefin chaotic: the work involves problems difficult to replicate/predict and without precedentCynefin chaotic: the work involves problems difficult to replicate/predict and without precedentStatus: Open.#40 In mcminickpt/mcmini;Implement Source-Set DPOR
effort: 5Requires significant effort to completeRequires significant effort to completetype: performance-improvementThe issue, when solved, comes with a performance boostThe issue, when solved, comes with a performance boostwork: complicatedCynefin complicated: the work involves problems without necessarily one preferred methodCynefin complicated: the work involves problems without necessarily one preferred methodStatus: Open.#39 In mcminickpt/mcmini;Support trivially copyable return types for wrapper functions
effort: 4Requires substantial effort to completeRequires substantial effort to completetype: enhancementThe issue specifies a feature that should be added to the projectThe issue specifies a feature that should be added to the projectwork: complexCynefin complex: the work involves problems whose solutions will involve some experimentationCynefin complex: the work involves problems whose solutions will involve some experimentationStatus: Open.#38 In mcminickpt/mcmini;Add a
GLOSSARY.mddescribing core components of DPOR and McMinieffort: 2Requires some effort to completeRequires some effort to completetype: docsThe issue specifies work that needs to be done involving code documentationThe issue specifies work that needs to be done involving code documentationwork: obviousCynefin clear: the work involves problems with well-known "best practice" solutionsCynefin clear: the work involves problems with well-known "best practice" solutionsStatus: Open.#37 In mcminickpt/mcmini;Add the
volatilequalifier to shared memory pointerseffort: 1Requires little effort to completeRequires little effort to completepriority: soonUse for urgent problemsUse for urgent problemstype: bugThe issue specifies a bugThe issue specifies a bugwork: obviousCynefin clear: the work involves problems with well-known "best practice" solutionsCynefin clear: the work involves problems with well-known "best practice" solutionsStatus: Open.#34 In mcminickpt/mcmini;Handle pointer aliasing and identify object/threads according to trace
effort: 5Requires significant effort to completeRequires significant effort to completetype: bugThe issue specifies a bugThe issue specifies a bugtype: enhancementThe issue specifies a feature that should be added to the projectThe issue specifies a feature that should be added to the projectwork: complexCynefin complex: the work involves problems whose solutions will involve some experimentationCynefin complex: the work involves problems whose solutions will involve some experimentationStatus: Open.#31 In mcminickpt/mcmini;Check for a call to
mc_init()in non-transparent executions of McMinieffort: 2Requires some effort to completeRequires some effort to completetype: enhancementThe issue specifies a feature that should be added to the projectThe issue specifies a feature that should be added to the projectwork: complicatedCynefin complicated: the work involves problems without necessarily one preferred methodCynefin complicated: the work involves problems without necessarily one preferred methodStatus: Open.#29 In mcminickpt/mcmini;Add a python script for automated runs of the test programs
effort: 2Requires some effort to completeRequires some effort to completetype: testingThe issue specifies code that needs to be testedThe issue specifies code that needs to be testedwork: obviousCynefin clear: the work involves problems with well-known "best practice" solutionsCynefin clear: the work involves problems with well-known "best practice" solutionsStatus: Open.#25 In mcminickpt/mcmini;Reduce the use of
std::shared_ptr<>where possibleeffort: 3Requires average effort to completeRequires average effort to completepriority: soonUse for urgent problemsUse for urgent problemstype: performance-improvementThe issue, when solved, comes with a performance boostThe issue, when solved, comes with a performance boostwork: complicatedCynefin complicated: the work involves problems without necessarily one preferred methodCynefin complicated: the work involves problems without necessarily one preferred methodStatus: Open.#23 In mcminickpt/mcmini;