Code

Move to annotated core lib#1064

Code

Merged

W95Psp merged 14 commits intomaincryspen/hax:mainfrom coq-generic-printer-annotated-core-libcryspen/hax:coq-generic-printer-annotated-core-libCopy head branch name to clipboardNov 28, 2024

+13,287

Commits

Commits on Nov 25, 2024

• Coq Core Lib

  cmester0

  committed
  209db26

  Copy full SHA for 209db26

• Move generated core to seperate folder

  cmester0

  committed
  eba7e40

  Copy full SHA for eba7e40

• Move handwritten code to subfolder

  cmester0

  committed
  a390694

  Copy full SHA for a390694

• Add generated annotated-core lib for fstar

  cmester0

  committed
  57518de

  Copy full SHA for 57518de

• Clean generated core

  cmester0

  committed
  f85d0a3

  Copy full SHA for f85d0a3

• Freshly generated core code

  cmester0

  committed
  c2aa9d4

  Copy full SHA for c2aa9d4

• _CoqProject file

  cmester0

  committed
  e4a6b70

  Copy full SHA for e4a6b70

• Correct version of generated core lib

  cmester0

  committed
  16f7492

  Copy full SHA for 16f7492

• Very close to full working annotated core for coq

  cmester0

  committed
  59ca00c

  Copy full SHA for 59ca00c

• Library implementation needed for coverage

  cmester0

  committed
  7d7c6de

  Copy full SHA for 7d7c6de

• Option map update

  cmester0

  committed
  0a165d6

  Copy full SHA for 0a165d6

Commits on Nov 26, 2024

• Update core layout

  cmester0

  committed
  0a40953

  Copy full SHA for 0a40953

• Cleanup

  cmester0

  committed
  e0370d7

  Copy full SHA for e0370d7

• Revert fstar changes

  cmester0

  committed
  fc3d39b

  Copy full SHA for fc3d39b