Issues

• Reduce explicit searching during runtime by caching the program model

  effort: 4priority: soontype: performance-improvementwork: complicated
  mcminickpt/mcmini#88 · Filter by author maxwellpirtle opened on Jan 13, 2024
  1

• Use dependency graph information to speed up target program state regeneration

  effort: 3priority: long-termtype: performance-improvementwork: complicated
  mcminickpt/mcmini#49 · Filter by author maxwellpirtle opened on Sep 17, 2022

• Add MCTransitionStackItem to make per-transition data easier to conceptualize

  effort: 2type: APIwork: obvious
  mcminickpt/mcmini#42 · Filter by author maxwellpirtle opened on Jul 28, 2022
  

• Implement Optimal DPOR

  effort: 6priority: long-termtype: performance-improvementwork: chaotic
  mcminickpt/mcmini#40 · Filter by author maxwellpirtle opened on Jul 28, 2022

• Implement Source-Set DPOR

  effort: 5type: performance-improvementwork: complicated
  mcminickpt/mcmini#39 · Filter by author maxwellpirtle opened on Jul 28, 2022
  

• Support trivially copyable return types for wrapper functions

  effort: 4type: enhancementwork: complex
  mcminickpt/mcmini#38 · Filter by author maxwellpirtle opened on Jul 24, 2022

• Add a GLOSSARY.md describing core components of DPOR and McMini

  effort: 2type: docswork: obvious
  mcminickpt/mcmini#37 · Filter by author maxwellpirtle opened on Jul 24, 2022
  

• Add the volatile qualifier to shared memory pointers

  effort: 1priority: soontype: bugwork: obvious
  mcminickpt/mcmini#34 · Filter by author maxwellpirtle opened on Jul 23, 2022
  1

• Handle pointer aliasing and identify object/threads according to trace

  effort: 5type: bugtype: enhancementwork: complex
  mcminickpt/mcmini#31 · Filter by author maxwellpirtle opened on Jul 21, 2022
  1

• Check for a call to mc_init() in non-transparent executions of McMini

  effort: 2type: enhancementwork: complicated
  mcminickpt/mcmini#29 · Filter by author maxwellpirtle opened on Jul 21, 2022
  1

• Add a python script for automated runs of the test programs

  effort: 2type: testingwork: obvious
  mcminickpt/mcmini#25 · Filter by author lukagolf opened on Jul 5, 2022
  1

  

• Reduce the use of std::shared_ptr<> where possible

  effort: 3priority: soontype: performance-improvementwork: complicated
  mcminickpt/mcmini#23 · Filter by author maxwellpirtle opened on Jul 5, 2022
  3

• Add only a subset of enabled threads at backtrack points

  effort: 4type: performance-improvementwork: complicated
  mcminickpt/mcmini#21 · Filter by author maxwellpirtle opened on Jun 28, 2022
  1

• Improve McMini's CLI

  effort: 2priority: soontype: enhancementwork: obvious
  mcminickpt/mcmini#18 · Filter by author maxwellpirtle opened on Jun 22, 2022

• Better handle when McMini reaches its transition limit

  effort: 2priority: long-termtype: bugwork: complicated
  mcminickpt/mcmini#17 · Filter by author maxwellpirtle opened on Jun 22, 2022

• Reduce the use of C++ auto

  effort: 1priority: soontype: chorework: obvious
  mcminickpt/mcmini#16 · Filter by author maxwellpirtle opened on Jun 20, 2022