ocaml-gospel/cameleer

Issues

• Failing to build under newer version of Why3

  #36 opened 8 months ago by ionchirica
  0

• Support for floating-point theory in Cameleer

  #35 opened 8 months ago by mohittkr
  0

• Release on opam

  #34 opened a year ago by sim642
  0

• Use of [] to access a List element

  #31 opened 2 years ago by PedroSalgado28
  0

• anomaly: "Assert_failure src/expression.ml:599:18"

  #21 opened 3 years ago by fpottier
  1

• Missing modifies clause is not detected

  #23 opened 3 years ago by fpottier
  4

• Surprising warnings about unused variables

  #22 opened 3 years ago by fpottier
  0

• Troubles getting cameleer to parse a file

  #9 opened 3 years ago by talex5
  8

• Dynlink error

  #17 opened 3 years ago by Hakimba
  0

• Array.get not found

  #14 opened 3 years ago by dCastanho
  0

• Error on empty array declaration

  #12 opened 3 years ago by dCastanho
  0

• Compilation failure

  #10 opened 3 years ago by nickbetteridge
  2

• Dynlink error: The module `Sexplib0__Raw_grammar' is already loaded

  #7 opened 3 years ago by talex5
  4

• Fails to install: The constructor Dcloneexport expects 2 argument(s)

  #6 opened 3 years ago by talex5
  1