Code

Ssprove backend base#349

Code

Merged

cmester0 merged 8 commits intomaincryspen/hax:mainfrom ssprove_backend_basecryspen/hax:ssprove_backend_baseCopy head branch name to clipboardFeb 22, 2024

+3,730-629

Commits

Commits on Feb 22, 2024

• SSProve backend

  cmester0

  committed
  c23fa1a

  Copy full SHA for c23fa1a

• WIP, Fmt

  cmester0

  committed
  5484854

  Copy full SHA for 5484854

• Do sort coq (breaks some exports)

  cmester0

  committed
  1edfe88

  Copy full SHA for 1edfe88

• Small change

  cmester0

  committed
  91a60b3

  Copy full SHA for 91a60b3

• A bit of cleanup

  cmester0

  committed
  549856a

  Copy full SHA for 549856a

• Cleanup

  cmester0

  committed
  f0825ad

  Copy full SHA for f0825ad

• Move removal of mutatable vars to seperate phase

  cmester0

  committed
  82addeb

  Copy full SHA for 82addeb

• New snapshots for coq, Fixing strange errors

  cmester0

  committed
  b91aef5

  Copy full SHA for b91aef5