mit-plv/fiat-crypto

Issues

• zig build fails with no field named 'path' in union 'Build.LazyPath'

  #1912 opened 2 months ago by JasonGross
  0

• Better handling of .map files in js_of_ocaml, wasm_of_ocaml

  #1909 opened 2 months ago by JasonGross
  0

• Mac CI fails consistently on first run

  #1463 opened 2 months ago by JasonGross
  1

• Use the same docker image in validate and build docker jobs on master

  #1900 opened 2 months ago by JasonGross
  0

• Upload universal binaries for MacOS

  #1727 opened 2 months ago by JasonGross
  2

• Sign & noatarize MacOS binaries?

  #1892 opened 2 months ago by JasonGross
  0

• Please create a tag for Coq 8.19 in Coq Platform 2024.01

  #1831 opened 3 months ago by rtetley
  15

• Slow BarrettReduction?

  #1837 opened 4 months ago by JasonGross
  0

• Change fiat_25519_opp to return a tight?

  #1822 opened 4 months ago by 0x0ece
  1

• Mask most significant bit in from_bytes

  #1820 opened 5 months ago by 0x0ece
  2

• Overeager substitution in dead code elimination?

  #1604 opened 6 months ago by andres-erbsen
  6

• Installation problems on Arch Linux: Package `coq-core.plugins.ltac' not found

  #1787 opened 7 months ago by defeo
  5

• Avoid running out of stack in js_of_ocaml code

  #1748 opened 8 months ago by JasonGross
  0

• standalone-javascript with js_of_ocaml?

  #1720 opened 8 months ago by JasonGross
  0

• Test install target on CI

  #1732 opened 8 months ago by JasonGross
  0

• README should link to latest standalone binaries on release page

  #1736 opened 8 months ago by JasonGross
  0

• Generate single binary for all synthesis

  #1724 opened 8 months ago by JasonGross
  0

• Please create a tag for Coq 8.18 in Coq Platform 2023.10

  #1679 opened 8 months ago by rtetley
  10

• Consider to replace Stdlib by Prevasives

  #1674 opened 9 months ago by armfazh
  1

• Build should not depend on git

  #1626 opened a year ago by andres-erbsen
  1

• Using word_by_word_montgomery with one-word prime modulus

  #1672 opened 9 months ago by divergentdave
  1

• unsigned char is not uint1, truncations != C casts != promises

  #1606 opened a year ago by andres-erbsen
  35

• Rust: `no_std` is broken due to use of `std::ops`

  #1645 opened 10 months ago by brycx
  0

• Types for `strict` and `loose` field elements should prevent misuse

  #1620 opened 10 months ago by pornin
  1

• src/Bedrock/Field/Common/Util.v broken

  #1636 opened a year ago by bMacSwigg
  3

• Consider libsecp256k1 "magnitude" semantics instead of tight and loose bounds

  #1629 opened a year ago by andres-erbsen
  0

• Alternative to uint128

  #1560 opened a year ago by davidben
  62

• Difficulty adding a rewrite rule

  #1617 opened a year ago by OwenConoly
  9

• mac m1 build fail

  #1616 opened a year ago by zweite
  4

• Assembly checking with aliasing

  #1615 opened a year ago by andres-erbsen
  0

• ECDSA for secp256k1

  #1444 opened 2 years ago by hannesm
  8

• inversion / divstep code broken?

  #1605 opened a year ago by hannesm
  4

• Possible optimization for secp256k1

  #1582 opened a year ago by sipa
  10

• CI C tests fail

  #1592 opened a year ago by JasonGross
  0

• Unsaturated Solinas Heuristics infer too large a number of limbs for p521 x32

  #1590 opened a year ago by JasonGross
  1

• Please create a tag for Coq 8.17 in Coq Platform 2023.03

  #1565 opened a year ago by MSoegtropIMC
  38

• Installation problems on macOS: Package `coq-core.plugins.ltac' not found

  #1558 opened a year ago by tarcieri
  2

• Coq CI Targets?

  #1549 opened 2 years ago by JasonGross
  7

• Reorder rewriting passes?

  #1555 opened a year ago by JasonGross
  0

• Zig CI is broken

  #1551 opened 2 years ago by JasonGross
  1

• Bedrock/End2End/RupicolaCrypto/Derive.v is too-memory heavy

  #1512 opened 2 years ago by JasonGross
  5

• Create `Search` performance test for Coq's CI

  #1516 opened 2 years ago by JasonGross
  1

• Proving order of Curve25519

  #1479 opened 2 years ago by andres-erbsen
  1

• How can I fix this?

  #1506 opened 2 years ago by Rayyy369
  1

• Renaming F?

  #1480 opened 2 years ago by andres-erbsen
  0

• Remove `subst01` knob

  #1477 opened 2 years ago by JasonGross
  0

• par nsatz unshelve anomalies

  #1465 opened 2 years ago by andres-erbsen
  2

• Validate should not rebuild rewriter on CI

  #1453 opened 2 years ago by JasonGross
  0

• `etc/ensure_stack_limit.sh` needs fixing

  #1437 opened 2 years ago by JasonGross
  3

• Less memory-hungry build

  #1434 opened 2 years ago by JasonGross
  0