mit-plv/fiat-crypto issues and pull requests

#1553 - Bump rupicola from `5cab3d2` to `7fa4330`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 5 comments
Labels: submodules

#1552 - Zig inversion code: replace std.meta.bitCount() with @bitSizeOf()

Pull Request - State: closed - Opened by jedisct1 almost 2 years ago

#1551 - Zig CI is broken

Issue - State: closed - Opened by JasonGross almost 2 years ago - 1 comment

#1550 - CLI stuff for dettman multiplication function

Pull Request - State: closed - Opened by OwenConoly almost 2 years ago - 5 comments

#1549 - Coq CI Targets?

Issue - State: open - Opened by JasonGross almost 2 years ago - 7 comments
Labels: question

#1548 - Chacha20

Pull Request - State: closed - Opened by DIJamner almost 2 years ago

#1547 - Bump coqprime from `203ce86` to `0f9f20f`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: submodules, sp2019latest

#1546 - Bump coqprime from `203ce86` to `0f9f20f`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 4 comments
Labels: submodules

#1545 - [CI] [Rust] Adapt to new backend selection

Pull Request - State: closed - Opened by JasonGross almost 2 years ago

#1544 - Bump coqprime from `762c7f5` to `203ce86`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: submodules, sp2019latest

#1543 - Bump coqprime from `762c7f5` to `203ce86`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: submodules

#1542 - Bump actions/setup-java from 3.8.0 to 3.9.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies

#1541 - Compatibility with coq/coq#16756

Pull Request - State: closed - Opened by andres-erbsen almost 2 years ago

#1540 - [sp2019latest] Drop Coq < 8.14 in preparation for bbv bump

Pull Request - State: closed - Opened by JasonGross almost 2 years ago

#1539 - Bump bbv from `18c77da` to `6144e21`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 4 comments
Labels: submodules, sp2019latest

#1538 - Adapt w.r.t. coq/coq#16910.

Pull Request - State: closed - Opened by ppedrot almost 2 years ago

#1537 - Bump actions/setup-java from 3.6.0 to 3.8.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies

#1536 - Revert "Bump actions/setup-java from 3.6.0 to 3.7.0"

Pull Request - State: closed - Opened by JasonGross almost 2 years ago

#1535 - Bump rupicola from `5cab3d2` to `ce042fa`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: submodules

#1534 - Try Newer Go

Pull Request - State: closed - Opened by JasonGross almost 2 years ago - 2 comments

#1533 - (Almost) finish the chacha20 derivation

Pull Request - State: closed - Opened by DIJamner almost 2 years ago

#1532 - Montgomery reduction without loop unrolling

Pull Request - State: closed - Opened by nathan-sheffield almost 2 years ago - 1 comment

#1531 - Bump actions/setup-java from 3.6.0 to 3.7.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies

#1530 - Bump rupicola from `eae16e3` to `5cab3d2`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: submodules

#1529 - Adapt to coq/coq#16920

Pull Request - State: closed - Opened by olaure01 almost 2 years ago

#1528 - Bump bbv from `18c77da` to `ef8a7aa`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 6 comments
Labels: submodules, sp2019latest

#1527 - Bump rewriter from `5bb7d13` to `c26f81b`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 3 comments
Labels: submodules

#1526 - Bump Go from 1.13 to 1.16

Pull Request - State: closed - Opened by JasonGross almost 2 years ago

#1525 - Bump rewriter from `5bb7d13` to `d644f09`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: submodules

#1524 - bump rupicola

Pull Request - State: closed - Opened by samuelgruetter almost 2 years ago

#1523 - Use default gcc version

Pull Request - State: closed - Opened by JasonGross almost 2 years ago - 2 comments

#1522 - Bump etc/coq-scripts from `3711598` to `efae533`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: submodules, sp2019latest

#1521 - Bump rewriter from `5bb7d13` to `de56173`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 3 comments
Labels: submodules

#1520 - Bump etc/coq-scripts from `3711598` to `efae533`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 4 comments
Labels: submodules

#1519 - Adapt to coq/coq#16743 (fix incomplete checking of unsolved holes)

Pull Request - State: closed - Opened by SkySkimmer almost 2 years ago - 1 comment

#1518 - Add a performance test for `Search` for Coq's bench

Pull Request - State: closed - Opened by JasonGross almost 2 years ago

#1517 - Use coq-community/docker-coq-action@pull-if-missing

Pull Request - State: closed - Opened by JasonGross almost 2 years ago - 1 comment

#1516 - Create `Search` performance test for Coq's CI

Issue - State: closed - Opened by JasonGross almost 2 years ago - 1 comment

#1515 - Go back to building `src/{,Bedrock/}Everything.vo`

Pull Request - State: closed - Opened by JasonGross almost 2 years ago

#1514 - add classification of Curve25519 points

Pull Request - State: closed - Opened by andres-erbsen almost 2 years ago - 1 comment

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

Issue - State: closed - Opened by JasonGross almost 2 years ago - 5 comments

#1500 - Dettman Multiplication Arithmetic

Pull Request - State: closed - Opened by OwenConoly almost 2 years ago - 6 comments

#1481 - Added dettman multiplication algorithm, made changes to equivalence checker

Pull Request - State: closed - Opened by OwenConoly almost 2 years ago - 39 comments

#1463 - Mac CI fails consistently on first run

Issue - State: closed - Opened by JasonGross almost 2 years ago - 1 comment
Labels: help wanted, question

#1444 - ECDSA for secp256k1

Issue - State: open - Opened by hannesm almost 2 years ago - 8 comments

#1394 - Github CI Anomaly Zoo

Issue - State: open - Opened by andres-erbsen almost 2 years ago - 42 comments

#1357 - fixed annotations on assembly output for assembly-checker

Pull Request - State: closed - Opened by OwenConoly about 2 years ago

#1250 - redistributable binaries

Issue - State: open - Opened by JasonGross over 2 years ago - 4 comments
Labels: enhancement

#1249 - Should we use `-linscan` to compile OCaml code?

Issue - State: open - Opened by JasonGross over 2 years ago
Labels: question

#1220 - Abstract Field specs for Bedrock2 functions

Pull Request - State: closed - Opened by RasmusHoldsbjergCSAU over 2 years ago - 7 comments

#1190 - Montgomery: support rolled loops

Issue - State: open - Opened by JasonGross over 2 years ago - 2 comments

#1031 - Adapt to coq/coq#13837 ("apply with" does not rename arguments) (round 2)

Pull Request - State: closed - Opened by SkySkimmer almost 3 years ago

#1020 - inversion doubts

Issue - State: open - Opened by bbbrumley about 3 years ago - 9 comments

#970 - Use operator precedence to print C code

Pull Request - State: open - Opened by JasonGross over 3 years ago - 2 comments
Labels: help wanted, awaiting-reviewer-feedback, work in progress

#902 - Tracking uses of fiat-crypto

Issue - State: open - Opened by JasonGross almost 4 years ago - 21 comments
Labels: help wanted

#835 - Tighten up the bounds on Z.land

Issue - State: open - Opened by JasonGross about 4 years ago - 15 comments
Labels: help wanted

#482 - Investigate coqprime dependency

Issue - State: closed - Opened by andres-erbsen over 5 years ago - 5 comments

#333 - Add a constant-time binary extended GCD algorithm.

Pull Request - State: open - Opened by davidben over 6 years ago - 3 comments
Labels: awaiting-author-action

GitHub / mit-plv/fiat-crypto issues and pull requests