DARA-Project/GoDist-Scheduler

Issues

• Dgo test issues

  #27 opened 4 years ago by Julian-Mentasti
  3

• Overloard imports runtime on godocs

  #28 opened 4 years ago by Julian-Mentasti
  0

• Re-instrumenting a file will lead to duplicate block coverage

  #26 opened 4 years ago by Julian-Mentasti
  0

• Race Condition: examples/ServerClient/run.sh

  #25 opened 4 years ago by Haximilian
  1

• Add a way of removing variable from the global scheduler's propchecker context

  #22 opened 5 years ago by vaastav
  1

• Expose metadata about goroutines and processes for property checking

  #21 opened 5 years ago by vaastav
  0

• Create a help page to parse schedule json output

  #14 opened 6 years ago by vaastav
  1

• Bug in local program code must halt replay process

  #8 opened 6 years ago by vaastav
  1

• Update rm DaraSharedMem command in example run scripts.

  #10 opened 6 years ago by vaastav
  1

• Update run scripts to fail if scheduler doesn't build

  #17 opened 6 years ago by vaastav
  1

• Solve local runtime error

  #12 opened 6 years ago by vaastav
  1

• Add a global dara run script

  #11 opened 6 years ago by vaastav
  1

• Implement Controlled Logging

  #4 opened 6 years ago by vaastav
  1

• Use options file as input to Global Scheduler

  #3 opened 6 years ago by vaastav
  1

• Document 2440 Unsupported code to indicate we can't capture the value of this type

  #18 opened 6 years ago by vaastav
  0

• Add tests with GOMAXPROCS to verfiy pre-emption property

  #16 opened 6 years ago by vaastav
  0

• Add tests to compare dgo behavior to go behavior for concurrent progs

  #15 opened 6 years ago by vaastav
  0

• Document true level of replay

  #13 opened 6 years ago by vaastav
  0

• Document the role of DARAPID and how it is set and used

  #9 opened 6 years ago by vaastav
  0

• Add documentation to report that enviornments must match for Record/Replay

  #7 opened 6 years ago by vaastav
  0

• Document GOMAXPROCS and Go Pre-emption

  #6 opened 6 years ago by vaastav
  0

• JSON file should be more efficient

  #5 opened 6 years ago by vaastav
  0

• Add Data provenance on duplicated variable names

  #1 opened 7 years ago by vaastav
  1