Code

Simplify file#310

Code

Merged

zapashcanon merged 10 commits intoOCamlPro:mainOCamlPro/owi:mainfrom Laplace-Demon:simplify-fileLaplace-Demon/owi:simplify-fileCopy head branch name to clipboardJul 23, 2024

+41-80

Commits

Commits on Jul 16, 2024

• delete wrapper functions in owi.c

  Laplace-Demon

  committed
  3b98437

  Copy full SHA for 3b98437

• add bool symbol in owi.c, whose implementation is the same as i32 symbol for the time being

  Laplace-Demon

  committed
  d7776f7

  Copy full SHA for d7776f7

• delete __VERIFIER_nondet_bool comment

  Laplace-Demon

  committed
  21865ce

  Copy full SHA for 21865ce

• change for the definition of symbol_bool

  Laplace-Demon

  committed
  1cc199b

  Copy full SHA for 1cc199b

• format

  Laplace-Demon

  committed
  aaf9e96

  Copy full SHA for aaf9e96

• modify concolic symbol_bool

  Laplace-Demon

  committed
  dc79a35

  Copy full SHA for dc79a35

• remove attributes in header file and add final newline

  Laplace-Demon

  committed
  aba61ef

  Copy full SHA for aba61ef

• fix owi header

  Laplace-Demon

  committed
  011692f

  Copy full SHA for 011692f

Commits on Jul 22, 2024

• revert bool related changes

  Laplace-Demon

  committed
  09c91a1

  Copy full SHA for 09c91a1

Commits on Jul 23, 2024

• inline _or in test-comp.c

  Laplace-Demon

  committed
  c620abd

  Copy full SHA for c620abd