Code

Prepare version 1.2.0#27

Code

Merged

joaomhmpereira merged 14 commits intomainformalsec/ocaml-cvc5:mainfrom prepare-1.2.0formalsec/ocaml-cvc5:prepare-1.2.0Copy head branch name to clipboardSep 9, 2024

+378-40

Commits

Commits on Aug 15, 2024

• Change function name to avoid conflicts

  joaomhmpereira

  committed
  e6f2fff

• Update cvc5 vendor commit to v1.2.0

  joaomhmpereira

  committed
  ffd27d2

• Add workflow to automate new package releases (closes #26)

  joaomhmpereira

  committed
  c191f9f

• Fix release workflow

  joaomhmpereira

  committed
  ca5af33

Commits on Aug 20, 2024

• Fix CaDiCaL compilation

  joaomhmpereira

  committed
  4570ba0

Commits on Aug 21, 2024

• Make types not mutually recursive

  

  filipeom

  authored and

  joaomhmpereira

  committed
  bc00aae

• Add Term.{is_fp, get_fp}

  

  filipeom

  authored and

  joaomhmpereira

  committed
  f05c169

Commits on Sep 2, 2024

• Change function name to avoid conflicts

  joaomhmpereira

  committed
  5aecc64

• Update cvc5 vendor commit to v1.2.0

  joaomhmpereira

  committed
  8de9acf

• Fix CaDiCaL compilation

  joaomhmpereira

  committed
  691cd91

• Add documentation to .mli file

  joaomhmpereira

  committed
  f4c5c0b

• Merge branch 'prepare-1.2.0' of https://github.com/formalsec/ocaml-cvc5 into prepare-1.2.0

  joaomhmpereira

  committed
  4828c1e

Commits on Sep 9, 2024

• Remove number of Opam jobs (to address #29)

  joaomhmpereira

  committed
  7b7a314

• Update CHANGES.md

  joaomhmpereira

  committed
  2b418da