verse-lab/hippodrome

Issues

• Why can't some competitions be detected?

  #26 opened 2 months ago by bupt01
  0

• atomicity is broken

  #24 opened 4 years ago by andrecostea
  1

• Missing description in Readme

  #25 opened 3 years ago by alcides
  2

• scope is broken again for datarace and --atomicity=true

  #23 opened 4 years ago by andrecostea
  0

• interfaces

  #22 opened 4 years ago by andrecostea
  0

• Overlapping patches

  #21 opened 4 years ago by andrecostea
  0

• float out variable declaration from newly inserted synchronised

  #2 opened 4 years ago by andrecostea
  0

• Add support for the volatile annotation

  #20 opened 4 years ago by andrecostea
  0

• Lock inside main method: non-static variable cannot be referenced from a static context

  #15 opened 4 years ago by mig40000
  1

• Multiple bugs involving the same snapshot

  #7 opened 4 years ago by andrecostea
  0

• No Patch could be generate for linkedlist

  #17 opened 4 years ago by mig40000
  0

• No Patch could be generated in BuggyProgram

  #16 opened 4 years ago by mig40000
  0

• Automated iteration

  #18 opened 4 years ago by andrecostea
  0

• logging ast generation separately

  #19 opened 4 years ago by andrecostea
  0

• Inconsistent lock objects for related race

  #14 opened 4 years ago by mig40000
  0

• Missed data races in Airline

  #12 opened 4 years ago by mig40000
  0

• Wrong expression locked for conditionals

  #13 opened 4 years ago by andrecostea
  0

• Multiple unused lock objects are created

  #11 opened 4 years ago by mig40000
  0

• keep a copy of the true original file

  #10 opened 4 years ago by andrecostea
  0

• Additional closing parantheses } created while adding synch block

  #6 opened 4 years ago by mig40000
  0

• Take the fix outside the loop for patch generation

  #3 opened 4 years ago by andrecostea
  0

• print out the name of the file which was fixed

  #9 opened 4 years ago by andrecostea
  0

• Sync when locked object is indirect via method call

  #8 opened 4 years ago by andrecostea
  0

• Correct the spelling in output racerdfix_sumaaries.json file

  #4 opened 4 years ago by mig40000
  0

• Opportunity for Validation Optimization

  #5 opened 4 years ago by andrecostea
  0

• Check lock type

  #1 opened 4 years ago by andrecostea
  0