Code

Active fpa as default#1177

Code

Merged

Halbaroth merged 5 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:active-fpa-defaultHalbaroth/alt-ergo:active-fpa-defaultCopy head branch name to clipboardJul 24, 2024

+705-16,864

Commits

Commits on Jul 24, 2024

• Activate FPA theory as default

  Show description for 016e110
  Halbaroth

  committed
  016e110

  Copy full SHA for 016e110

• revert PR 780

  Halbaroth

  committed
  b61ff3c

  Copy full SHA for b61ff3c

• promote tests

  Halbaroth

  committed
  97f22f8

  Copy full SHA for 97f22f8

• remove flags test

  Halbaroth

  committed
  957410f

  Copy full SHA for 957410f

• Update changes

  Halbaroth

  committed
  9e62bd5

  Copy full SHA for 9e62bd5