CatarinaGamboa/liquidjava

Issues

• `Old` field use in New Object (just after constructor)

  #19 opened a year ago by CatarinaGamboa
  1

• Fields Updates make verification wrong in state changes

  #32 opened a year ago by CatarinaGamboa
  1

• Tests - JUnit does not finish with the programs that fail verification

  #31 opened a year ago by CatarinaGamboa
  1

• Making the repo `public`

  #27 opened 2 years ago by CatarinaGamboa
  2

• Similar state names in different classes should allowed

  #24 opened 2 years ago by CatarinaGamboa
  4

• Dependabot and Continuous Testing

  #6 opened 2 years ago by alcides
  2

• Autocomplete suggestions with states and `(this)`

  #26 opened 2 years ago by CatarinaGamboa
  0

• State Names should be able to start with UpperCase

  #25 opened 2 years ago by CatarinaGamboa
  0

• Add Enums to refinement language and verification as parameters.

  #23 opened 2 years ago by CatarinaGamboa
  0

• Can Z3 new Simplifier help error messages?

  #22 opened 2 years ago by alcides
  0

• Missing test

  #21 opened 2 years ago by alcides
  2

• Separating logging information from other function arguments

  #13 opened 2 years ago by FrogOfJuly
  1

• This should not typecheck, but it typechecks

  #11 opened 2 years ago by FrogOfJuly
  0

• Renaming

  #7 opened 2 years ago by alcides
  1

• Update to Java 19 and Spoon 10?

  #8 opened 2 years ago by alcides
  0