boogie-org/jar2bpl

Issues

• division by zero not modeled

  #6 opened a year ago by crhf
  1

• Jar2bpl-generated bpl cause boogie to throw resolution errors

  #3 opened 10 years ago by davidyoung8906
  9

• value of `$exception` unspecified

  #5 opened a year ago by crhf
  0

• Usage of partial order operator inconsistent with BoogiePL

  #4 opened 9 years ago by martinschaef
  0

• jar2bpl doesn't clean up properly

  #1 opened 10 years ago by martinschaef
  0

• Bug in calls to prelude

  #2 opened 10 years ago by martinschaef
  0