ravimad/Orb2015

Issues

• Match steps count

  #30 opened 8 years ago by ravimad
  0

• Disable any simplifications before resource instrumentation

  #28 opened 8 years ago by ravimad
  0

• .cached - - - > cached( )

  #26 opened 8 years ago by Sumith1896
  6

• There is an issue in using @invisibleBody with multiplication specs

  #23 opened 8 years ago by ravimad
  0

• Ands and Ors in the input program should be short circuited in Orb

  #2 opened 8 years ago by ravimad
  0

• Can monotonicity property be automated?

  #12 opened 8 years ago by Sumith1896
  0

• Testcases under `.../lazy-datastructures/memoization/*` error

  #4 opened 8 years ago by Sumith1896
  0

• Make Orb sound for vals

  #1 opened 9 years ago by ravimad
  0