Code

Documentation of the Enum theory#871

Code

Merged

Halbaroth merged 13 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:documentation-enumHalbaroth/alt-ergo:documentation-enumCopy head branch name to clipboardOct 23, 2023

+89-14

Commits

Commits on Oct 23, 2023

• Documentation of the Enum theory

  Halbaroth

  committed
  7526987

  Copy full SHA for 7526987

• Update src/lib/reasoners/enum.ml

  Show description for d092729
  

  Halbaroth

  and

  bclement-ocp

  committed
  d092729

  Copy full SHA for d092729

• Update src/lib/reasoners/enum.ml

  Show description for e791a1e
  

  Halbaroth

  and

  bclement-ocp

  committed
  e791a1e

  Copy full SHA for e791a1e

• Update src/lib/reasoners/enum_rel.ml

  Show description for 1ef6ba7
  

  Halbaroth

  and

  bclement-ocp

  committed
  1ef6ba7

  Copy full SHA for 1ef6ba7

• Update src/lib/reasoners/enum_rel.ml

  Show description for 002ef72
  

  Halbaroth

  and

  bclement-ocp

  committed
  002ef72

  Copy full SHA for 002ef72

• Update src/lib/reasoners/enum_rel.ml

  Show description for e00cc52
  

  Halbaroth

  and

  bclement-ocp

  committed
  e00cc52

  Copy full SHA for e00cc52

• Review changes

  Halbaroth

  committed
  3729dad

  Copy full SHA for 3729dad

• Update src/lib/reasoners/enum_rel.ml

  Show description for a320857
  

  Halbaroth

  and

  bclement-ocp

  committed
  a320857

  Copy full SHA for a320857

• Review changes 2

  Halbaroth

  committed
  d54e4c1

  Copy full SHA for d54e4c1

• Specify that the state is updated with cl_extract

  Halbaroth

  committed
  bf8c468

  Copy full SHA for bf8c468

• Review changes 3

  Halbaroth

  committed
  0d368a5

  Copy full SHA for 0d368a5

• Update src/lib/reasoners/enum_rel.ml

  Show description for 2c73362
  

  Halbaroth

  and

  bclement-ocp

  authored
  2c73362

  Copy full SHA for 2c73362

• Update src/lib/reasoners/enum_rel.ml

  Show description for 365df7c
  

  Halbaroth

  and

  bclement-ocp

  authored
  365df7c

  Copy full SHA for 365df7c