Code

Adds Term.{is_fp, get_fp}#30

Code

Merged

joaomhmpereira merged 2 commits intoformalsec:mainformalsec/ocaml-cvc5:mainfrom filipeom:fp_val_getfilipeom/ocaml-cvc5:fp_val_getCopy head branch name to clipboardAug 21, 2024

+73-32

Commits

Commits on Aug 21, 2024

• Make types not mutually recursive

  filipeom

  committed
  fb146d4

  Copy full SHA for fb146d4

• Add Term.{is_fp, get_fp}

  filipeom

  committed
  3874e59

  Copy full SHA for 3874e59