Code

update the Jasmin compiler#128

Code

Merged

tfaoliveira merged 8 commits intomainformosa-crypto/libjade:mainfrom feature/update_jasmincformosa-crypto/libjade:feature/update_jasmincCopy head branch name to clipboardJul 12, 2024

+77-46

Commits

Commits on Jul 10, 2024

• update the Jasmin compiler

  tfaoliveira

  committed
  20c0e62

• update the Jasmin compiler 2

  tfaoliveira

  committed
  a42d4e0

• update the Jasmin compiler 3

  tfaoliveira

  committed
  de4f839

• Update flake.lock

  Rixxc

  committed
  2e61fc2

• Refactor flake to build for differente architectures

  Rixxc

  committed
  e309dd0

• Reintroduce valgrind as a dependency

  Rixxc

  committed
  9df540b

Commits on Jul 11, 2024

• update easycrypt to the lastest version

  Show description for 5a0a25b
  potsrevennil

  committed
  5a0a25b

Commits on Jul 12, 2024

• fix(nix): Add missing dependencies to flake

  Rixxc

  committed
  fffa4d6