Code

Ssprove backend lib#575

Code

Closed

cmester0 wants to merge 32 commits intomaincryspen/hax:mainfrom ssprove_backend_lib_basecryspen/hax:ssprove_backend_lib_baseCopy head branch name to clipboard

+10,568-65

Commits

Commits on Apr 3, 2024

• Hacspec lib files

  cmester0

  committed
  2c36556

  Copy full SHA for 2c36556

• Install templates

  cmester0

  committed
  7434552

  Copy full SHA for 7434552

• Move dune/opam files to git root

  cmester0

  committed
  5083e86

  Copy full SHA for 5083e86

• Not using Jasmin dependencies

  cmester0

  committed
  c4d43eb

  Copy full SHA for c4d43eb

• Remove jasmin dependency for now

  cmester0

  committed
  28c956b

  Copy full SHA for 28c956b

• Github Action for Coq development

  cmester0

  committed
  cd5835c

  Copy full SHA for cd5835c

• Remove broken images

  cmester0

  committed
  c60ca0c

  Copy full SHA for c60ca0c

• Rename action

  cmester0

  committed
  9743a72

  Copy full SHA for 9743a72

• Remove jasmin

  cmester0

  committed
  259e94f

  Copy full SHA for 259e94f

• Add a test

  cmester0

  committed
  77536de

  Copy full SHA for 77536de

• Working example

  cmester0

  committed
  c95d047

  Copy full SHA for c95d047

• Revert engine

  cmester0

  committed
  976dde5

  Copy full SHA for 976dde5

• fix test file

  cmester0

  committed
  564809e

  Copy full SHA for 564809e

• Generate tests

  cmester0

  committed
  261ee0c

  Copy full SHA for 261ee0c

• fmt

  cmester0

  committed
  ea1cd18

  Copy full SHA for ea1cd18

• Fixed snapshots

  cmester0

  committed
  fc1b585

  Copy full SHA for fc1b585

• Add setups that install tomlq?

  cmester0

  committed
  92ed4c3

  Copy full SHA for 92ed4c3

• Fix indent

  cmester0

  committed
  3d4f4ed

  Copy full SHA for 3d4f4ed

• WIP

  cmester0

  committed
  38949d7

  Copy full SHA for 38949d7

• WIP

  cmester0

  committed
  1b0d571

  Copy full SHA for 1b0d571

• WIP fixed tests

  cmester0

  committed
  88a8e9d

  Copy full SHA for 88a8e9d

• Removed start/end group

  cmester0

  committed
  495e996

  Copy full SHA for 495e996

• WIP

  cmester0

  committed
  debad2f

  Copy full SHA for debad2f

• WIP

  cmester0

  committed
  df5d934

  Copy full SHA for df5d934

• Parse more tests

  cmester0

  committed
  47302b9

  Copy full SHA for 47302b9

• WIP

  cmester0

  committed
  7599e84

  Copy full SHA for 7599e84

• WIP

  cmester0

  committed
  9f289da

  Copy full SHA for 9f289da

• fmt

  cmester0

  committed
  f2654e9

  Copy full SHA for f2654e9

• WIP

  cmester0

  committed
  9727032

  Copy full SHA for 9727032

• Update snapshots

  cmester0

  committed
  8cbb7d7

  Copy full SHA for 8cbb7d7

Commits on Apr 4, 2024

• Snapshot

  cmester0

  committed
  1d12958

  Copy full SHA for 1d12958

• Do not run broken test

  cmester0

  committed
  bdac9a8

  Copy full SHA for bdac9a8