Pinned issues
Issues
- 0
Should we use `-linscan` to compile OCaml code?
#1249 opened by JasonGross - 42
Github CI Anomaly Zoo
#1394 opened by andres-erbsen - 4
redistributable binaries
#1250 opened by JasonGross - 2
Montgomery: support rolled loops
#1190 opened by JasonGross - 2
Cannot install `coq-fiat-crypto.0.0.13` package
#1367 opened by LasseBlaauwbroek - 9
GarageDoor does not fit within Coq CI memory limit
#1427 opened by JasonGross - 2
- 4
- 2
How should we reify arithmetic definitions that are large in normal-ish form?
#1406 opened by JasonGross - 1
Failing in coq CI
#1387 opened by SkySkimmer - 1
- 2
incremental builds across submodules
#1372 opened by andres-erbsen - 1
- 3
broken in coq bench
#1300 opened by SkySkimmer - 0
validate is too slow
#1284 opened by JasonGross - 4
rust: `const fn` support
#1086 opened by tarcieri - 5
- 1
Reverse dependency?
#1237 opened by spitters - 3
Abstract Field Specs for Bedrock2 functions
#1215 opened by RasmusHoldsbjergCSAU - 0
- 1
- 1
Semantics for imul seem wrong?
#1203 opened by JasonGross - 0
Consider Continuous Benchmarking
#1201 opened by JasonGross - 1
`make test-amd64-files` should support `TIMED=1`
#1195 opened by JasonGross - 0
Unsaturated Montgomery
#1189 opened by JasonGross - 0
Improve assembly error messages
#1188 opened by JasonGross - 1
Validate Target is failing (sometimes?)
#1181 opened by JasonGross - 3
Windows CI is too slow
#1170 opened by JasonGross - 0
Mac OS CI does not build things the first time
#1169 opened by JasonGross - 5
Unused functions in fiat-c trip -Wunused-function
#1164 opened by davidben - 2
Using abstract fields in Bedrock specs
#1150 opened by RasmusHoldsbjergCSAU - 0
- 3
u128 in json, where in c its implicitly u64
#1099 opened by dderjoel - 6
- 4
Rust: Exposing the Poly1305 modules
#1089 opened by brycx - 5
rust: consider labeling library as `no_std`
#1067 opened by vlmutolo - 2
reducing CI latency
#1076 opened by andres-erbsen - 9
Bitwidth differences in fiat-json output
#1058 opened by mmcloughlin - 0
fiat-json type description format
#1064 opened by JasonGross - 7
inversion doubts
#1020 opened by bbbrumley - 13
- 0
Zig code fails due to recent change in zig
#1029 opened by JasonGross - 2
go: provide a named type for selectznz
#1018 opened by FiloSottile - 10
- 0
curve25519: Consider providing `CarryPow2k`
#1009 opened by Yawning - 0
add a flag to enable subst01 in selectznz
#1008 opened by JasonGross - 1
go: Additional curve25519 routines
#1004 opened by Yawning - 0
Emit inline for primitives
#1001 opened by JasonGross - 0
zig test fails
#997 opened by JasonGross - 0
Cyo
#990 opened by WOLFMAVEN8