Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 21, 2025

• wip

  potsrevennil

  committed
  32fb56f

  Copy full SHA for 32fb56f

• wip

  potsrevennil

  committed
  1afba88

  Copy full SHA for 1afba88

• wip

  potsrevennil

  committed
  2060dc4

  Copy full SHA for 2060dc4

• CI: add job for simple hol_light check

  Show description for bb8c39c
  potsrevennil

  committed
  bb8c39c

  Copy full SHA for bb8c39c

Commits on Jan 20, 2025

• move hol_light proof under the proofs folder

  Show description for 009f342
  potsrevennil

  committed
  009f342

  Copy full SHA for 009f342

• remove tutorial targets for s2n-bignum Makefile

  Show description for 73473c8
  potsrevennil

  committed
  73473c8

  Copy full SHA for 73473c8

• nix: Package s2n_bignum into nix derivation

  Show description for ac20419
  potsrevennil

  committed
  ac20419

  Copy full SHA for ac20419

• nix: Package hol_light into a nix derivation

  Show description for 2dae3ad
  potsrevennil

  committed
  2dae3ad

  Copy full SHA for 2dae3ad

• Merge pull request pq-code-package#669 from pq-code-package/poly_compress

  Show description for 412ff2d
  hanno-becker

  authored
  412ff2d

  Copy full SHA for 412ff2d

Commits on Jan 19, 2025

• Add documentation for multilevel configuration options

  Show description for 5fadf03
  hanno-becker

  committed
  5fadf03

  Copy full SHA for 5fadf03

• Add example for (non-mono) multilevel build

  Show description for be1dee7
  hanno-becker

  committed
  be1dee7

  Copy full SHA for be1dee7

• Allow sharing of level-independent code in multilevel builds

  Show description for 99cac5d
  hanno-becker

  committed
  99cac5d

  Copy full SHA for 99cac5d

• Adjust CBMC proofs

  Show description for ff9460d
  hanno-becker

  committed
  ff9460d

  Copy full SHA for ff9460d

• Namespacing: Suffix namespace with level for k-specific functions

  Show description for 323288a
  hanno-becker

  committed
  323288a

  Copy full SHA for 323288a

• Move k-specific material from cbd and poly to polyvec

  Show description for 45518d0
  hanno-becker

  committed
  45518d0

  Copy full SHA for 45518d0

• Add missing header to symmetric.h

  Show description for 66267a9
  hanno-becker

  committed
  66267a9

  Copy full SHA for 66267a9

• Move polynomial rejection sampling from indcpa.c to rej_uniform.c

  Show description for ecab540
  hanno-becker

  committed
  ecab540

  Copy full SHA for ecab540

• cbd: Give cbd2 and cbd3 external linkage

  Show description for 8840dcd
  hanno-becker

  committed
  8840dcd

  Copy full SHA for 8840dcd

Commits on Jan 18, 2025

• poly: Introduce per-level functions for polynomial (de)compression

  Show description for 4699725
  hanno-becker

  committed
  4699725

  Copy full SHA for 4699725

Commits on Jan 17, 2025

• Merge pull request pq-code-package#667 from pq-code-package/asm_no_consts

  Show description for c79b97a
  hanno-becker

  authored
  c79b97a

  Copy full SHA for c79b97a

• AArch64: Remove literal pools from native code

  Show description for 7d15fdb
  hanno-becker

  committed
  7d15fdb

  Copy full SHA for 7d15fdb

• Merge pull request pq-code-package#659 from pq-code-package/dangling_alias

  Show description for e4ff720
  hanno-becker

  authored
  e4ff720

  Copy full SHA for e4ff720

• autogen: Add checker dangling register aliases in assembly files

  Show description for 65038f2
  hanno-becker

  committed
  65038f2

  Copy full SHA for 65038f2

• Merge pull request pq-code-package#665 from pq-code-package/autogen_duplicates

  Show description for f6f926f
  hanno-becker

  authored
  f6f926f

  Copy full SHA for f6f926f

• autogen: Don't generate multiple #undef's for the same macro

  Show description for 8d5f941
  hanno-becker

  committed
  8d5f941

  Copy full SHA for 8d5f941

• Merge pull request pq-code-package#666 from pq-code-package/asserts2

  Show description for b79f6f1
  hanno-becker

  authored
  b79f6f1

  Copy full SHA for b79f6f1

• Debug/CBMC: Interpret debug-assertions as proof obligations

  Show description for 79757a2
  hanno-becker

  committed
  79757a2

  Copy full SHA for 79757a2

• Update FIPS203 standard links from draft to final

  Show description for ab9d84d
  hanno-becker

  committed
  ab9d84d

  Copy full SHA for ab9d84d

• Merge pull request pq-code-package#664 from pq-code-package/redundant_invariant

  Show description for f1f8d8c
  hanno-becker

  authored
  f1f8d8c

  Copy full SHA for f1f8d8c

• CBMC: Remove redundant 0 <= ... assertions in loop invariants

  Show description for 5e3033e
  hanno-becker

  committed
  5e3033e

  Copy full SHA for 5e3033e

• Merge pull request pq-code-package#663 from pq-code-package/asserts

  Show description for 5285527
  hanno-becker

  authored
  5285527

  Copy full SHA for 5285527

Commits on Jan 15, 2025

• Debug: Reduce number of macros, assimilate to CBMC assertions

  Show description for 85d35d1
  hanno-becker

  committed
  85d35d1

  Copy full SHA for 85d35d1

• Merge pull request pq-code-package#661 from pq-code-package/cbmc_proofs

  Show description for 32f9876
  hanno-becker

  authored
  32f9876

  Copy full SHA for 32f9876

• Move cbmc -> proofs/cbmc

  Show description for 78f99af
  hanno-becker

  committed
  78f99af

  Copy full SHA for 78f99af

Commits on Jan 14, 2025

• Merge pull request pq-code-package#657 from pq-code-package/test_opt_fix

  Show description for 8383b16
  mkannwischer

  authored
  8383b16

  Copy full SHA for 8383b16

Pagination

Previous

Next