Code

Add Nix files and commit Cargo.lock#300

Code

Merged

franziskuskiefer merged 24 commits intocryspen:devcryspen/libcrux:devfrom pnmadelaine:nixCopy head branch name to clipboardJun 12, 2024

+2,812-11

Commits

Commits on Jun 5, 2024

• add Cargo.lock

  pnmadelaine

  committed
  01899c1

  Copy full SHA for 01899c1

• ci: update cargo dependencies

  pnmadelaine

  committed
  34fc123

  Copy full SHA for 34fc123

• fix

  pnmadelaine

  committed
  b52a87f

  Copy full SHA for b52a87f

• nix

  pnmadelaine

  committed
  657a6eb

  Copy full SHA for 657a6eb

Commits on Jun 6, 2024

• fix crane warning

  pnmadelaine

  committed
  546349a

  Copy full SHA for 546349a

• Revert "fix crane warning"

  Show description for 4ac22da
  pnmadelaine

  committed
  4ac22da

  Copy full SHA for 4ac22da

• fix linking

  pnmadelaine

  committed
  1b3de36

  Copy full SHA for 1b3de36

• nix: run tests

  pnmadelaine

  committed
  2560601

  Copy full SHA for 2560601

• nix: link using mold

  pnmadelaine

  committed
  822f616

  Copy full SHA for 822f616

Commits on Jun 10, 2024

• nix: use clang-tools for clang-format

  pnmadelaine

  committed
  54b814e

  Copy full SHA for 54b814e

• nix: use fetchFromGitHub

  pnmadelaine

  committed
  51b0d8c

  Copy full SHA for 51b0d8c

• fetch benchmark with FetchContent

  pnmadelaine

  committed
  a9bfdc9

  Copy full SHA for a9bfdc9

Commits on Jun 11, 2024

• Merge branch 'dev' into nix

  pnmadelaine

  committed
  24ef7db

  Copy full SHA for 24ef7db

• update Cargo.lock

  pnmadelaine

  committed
  24eed54

  Copy full SHA for 24eed54

• ci: run nix.yml on dev

  pnmadelaine

  committed
  04bb2fc

  Copy full SHA for 04bb2fc

• ml-kem: enable overriding dependencies' revisions

  pnmadelaine

  committed
  9d957d6

  Copy full SHA for 9d957d6

• format

  pnmadelaine

  committed
  729d07b

  Copy full SHA for 729d07b

• update flake.lock

  pnmadelaine

  committed
  9cb5580

  Copy full SHA for 9cb5580

• fix

  pnmadelaine

  committed
  fe30868

  Copy full SHA for fe30868

• ci: fix hax.yml

  pnmadelaine

  committed
  a21496b

  Copy full SHA for a21496b

Commits on Jun 12, 2024

• Merge branch 'dev' into nix

  pnmadelaine

  committed
  023349e

  Copy full SHA for 023349e

• update flake.lock

  pnmadelaine

  committed
  3df9ae9

  Copy full SHA for 3df9ae9

• Merge branch 'dev' into nix

  pnmadelaine

  committed
  42b2eef

  Copy full SHA for 42b2eef

• nix: run hax

  pnmadelaine

  committed
  650d199

  Copy full SHA for 650d199