Code

Update to EasyCrypt 2024.01#690

Code

Merged

bgregoir merged 5 commits intomainjasmin-lang/jasmin:mainfrom prepare-easycrypt-2024.01jasmin-lang/jasmin:prepare-easycrypt-2024.01Copy head branch name to clipboardJan 18, 2024

+147-123

Commits

Commits on Jan 18, 2024

• eclib: shorter proof

  vbgl

  committed
  32cd4ed

  Copy full SHA for 32cd4ed

• Target EasyCrypt release 2024.01

  vbgl

  committed
  e869628

  Copy full SHA for e869628

• CI: use why3 1.7.0

  vbgl

  committed
  b40e717

  Copy full SHA for b40e717

• CI: clean easycrypt nix derivation

  Show description for 02e2f93
  vbgl

  committed
  02e2f93

  Copy full SHA for 02e2f93

• eclib: clean Makefile

  vbgl

  committed
  70b8763

  Copy full SHA for 70b8763