Code

Coq proof lib#386

Code

Closed

cmester0 wants to merge 12 commits intomaincryspen/hax:mainfrom coq_libcryspen/hax:coq_libCopy head branch name to clipboard

+2,446-62

Commits

Commits on Oct 4, 2024

• Coq proof lib

  cmester0

  committed
  b0ed31e

  Copy full SHA for b0ed31e

• Move

  cmester0

  committed
  eca166f

  Copy full SHA for eca166f

• Cleanup

  cmester0

  committed
  776f923

  Copy full SHA for 776f923

• Cleanup

  cmester0

  committed
  2629129

  Copy full SHA for 2629129

• Cleanup

  cmester0

  committed
  698d2b6

  Copy full SHA for 698d2b6

• Update

  cmester0

  committed
  fb9259e

  Copy full SHA for fb9259e

• Move to CompCert Integer

  cmester0

  committed
  6d62405

  Copy full SHA for 6d62405

• Setting up dune

  cmester0

  committed
  f21eebc

  Copy full SHA for f21eebc

• Start adding tests, and use dune

  cmester0

  committed
  6b9227c

  Copy full SHA for 6b9227c

• fmt

  cmester0

  committed
  1885966

  Copy full SHA for 1885966

• add file

  cmester0

  committed
  20faeb3

  Copy full SHA for 20faeb3

Commits on Oct 7, 2024

• Fixing backend

  cmester0

  committed
  2c468ca

  Copy full SHA for 2c468ca