jcp19/SPIDER

Issues

• Old README

  #5 opened 5 years ago by jcp19
  1

• To much reliance on System.out instead of log files

  #6 opened 5 years ago by jcp19
  2

• Optimization possible

  #30 opened 5 years ago by jcp19
  1

• Simplify evaluation scripts

  #23 opened 5 years ago by jcp19
  3

• Debug results for the Cyclon trace

  #28 opened 5 years ago by jcp19
  2

• Removing Inter-Thread Event Redundancy is leading to races being missed

  #25 opened 5 years ago by jcp19
  1

• Refactor references to minha-checker, change the project name to Spider

  #18 opened 5 years ago by jcp19
  0

• Add FindBugs to pom.xml

  #19 opened 5 years ago by jcp19
  1

• Improve `Stats` Class

  #17 opened 5 years ago by jcp19
  2

• Debug all structures in falcon used for the hb-model generation

  #24 opened 5 years ago by jcp19
  0

• Confusing result reporting

  #12 opened 5 years ago by jcp19
  2

• Example traces are outdated and not compatible with the new version of Falcon.

  #9 opened 5 years ago by jcp19
  0

• Tests lacking

  #16 opened 5 years ago by jcp19
  0

• Test scripts hard to mantain

  #11 opened 5 years ago by jcp19
  2

• Hidden Dependency between RaceDetector and Z3SolverParallel

  #10 opened 5 years ago by jcp19
  1

• Add continuous integration to run tests and detect code style violations

  #13 opened 5 years ago by jcp19
  0

• Is the current way to count the number of actual data races the right way to do it?

  #7 opened 5 years ago by jcp19
  1