Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

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

#1654 - Bump rewriter from `9d2e4c9` to `26f5c84`

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

#1653 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#1652 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#1651 - Bump hecrj/setup-rust-action from 1 to 2

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 2 comments
Labels: dependencies

#1650 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies, sp2019latest

#1649 - Bump rewriter from `c79bbc9` to `9d2e4c9`

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

#1648 - Rust: Add no_std CI

Pull Request - State: closed - Opened by pinkforest about 1 year ago - 2 comments

#1647 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago
Labels: rust, automated pr

#1646 - Rust: Reference newtype operators from `core` instead of `std`

Pull Request - State: closed - Opened by brycx about 1 year ago - 1 comment

#1645 - Rust: `no_std` is broken due to use of `std::ops`

Issue - State: closed - Opened by brycx about 1 year ago

#1644 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago
Labels: rust, automated pr

#1643 - Log last BoringSSL commit in test-fiat-c-boringssl.sh

Pull Request - State: closed - Opened by andres-erbsen about 1 year ago - 2 comments

#1642 - Edwards point doubling for X25519

Pull Request - State: closed - Opened by bMacSwigg about 1 year ago

#1641 - Pipe through carry_sub function

Pull Request - State: closed - Opened by bMacSwigg about 1 year ago

#1640 - Allow bedrock2 pipeline to call external functions.

Pull Request - State: open - Opened by jadephilipoom about 1 year ago

#1639 - Bump rupicola from `3cd33c8` to `1c6bef7`

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: submodules

#1638 - Use carry_add in AddPrecomputed

Pull Request - State: closed - Opened by bMacSwigg about 1 year ago

#1637 - Bump rupicola from `3cd33c8` to `1ba5c2e`

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

#1636 - src/Bedrock/Field/Common/Util.v broken

Issue - State: closed - Opened by bMacSwigg about 1 year ago - 3 comments

#1635 - Pipe through carry_add function

Pull Request - State: closed - Opened by bMacSwigg about 1 year ago - 3 comments

#1634 - Print more casts when stringification fails

Pull Request - State: closed - Opened by JasonGross about 1 year ago

#1633 - update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian

Pull Request - State: closed - Opened by samuelgruetter about 1 year ago - 3 comments

#1632 - Debian CI

Pull Request - State: closed - Opened by andres-erbsen about 1 year ago

#1631 - update to a rupicola/bedrock2 where wp is complete wrt exec

Pull Request - State: closed - Opened by samuelgruetter about 1 year ago

#1630 - default to magnitude 8->1 in Dettman multiplication

Pull Request - State: open - Opened by andres-erbsen about 1 year ago - 4 comments

#1627 - Qualifying M.eq coming from MontgomeryCurve

Pull Request - State: closed - Opened by herbelin about 1 year ago

#1626 - Build should not depend on git

Issue - State: open - Opened by andres-erbsen about 1 year ago - 1 comment

#1625 - add Alpine CI

Pull Request - State: closed - Opened by andres-erbsen about 1 year ago - 5 comments

#1624 - Bump actions/setup-java from 3.11.0 to 3.12.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 18 comments
Labels: dependencies

#1623 - Rust: Create newtype structs for typedefs

Pull Request - State: closed - Opened by divergentdave about 1 year ago - 7 comments
Labels: awaiting-author-action

#1622 - Spec & proof for add_precomputed

Pull Request - State: closed - Opened by bMacSwigg about 1 year ago

#1621 - Add files via upload

Pull Request - State: closed - Opened by LeQuangHuy-1809 about 1 year ago

#1620 - Types for `strict` and `loose` field elements should prevent misuse

Issue - State: closed - Opened by pornin about 1 year ago - 1 comment
Labels: enhancement, help wanted

#1619 - remove some dead code from garagedoor funcs, tidy

Pull Request - State: closed - Opened by andres-erbsen about 1 year ago

#1617 - Difficulty adding a rewrite rule

Issue - State: closed - Opened by OwenConoly about 1 year ago - 9 comments

#1616 - mac m1 build fail

Issue - State: closed - Opened by zweite about 1 year ago - 4 comments

#1615 - Assembly checking with aliasing

Issue - State: open - Opened by andres-erbsen over 1 year ago
Labels: enhancement

#1614 - Bump etc/coq-scripts from `efae533` to `8ce1d5d`

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

#1613 - Bump etc/coq-scripts from `efae533` to `8ce1d5d`

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

#1612 - Bump rewriter from `3065375` to `c79bbc9`

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

#1611 - Update for Zig 0.11.0

Pull Request - State: closed - Opened by jedisct1 over 1 year ago - 2 comments

#1609 - Saturated arithmetic experiment

Pull Request - State: open - Opened by andres-erbsen over 1 year ago - 5 comments

#1608 - Generalize dettman algorithm

Pull Request - State: closed - Opened by OwenConoly over 1 year ago - 6 comments

#1607 - Prove dedicated doubling for Edwards curves

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#1606 - unsigned char is not uint1, truncations != C casts != promises

Issue - State: open - Opened by andres-erbsen over 1 year ago - 35 comments

#1605 - inversion / divstep code broken?

Issue - State: closed - Opened by hannesm over 1 year ago - 4 comments
Labels: bug

#1604 - Overeager substitution in dead code elimination?

Issue - State: closed - Opened by andres-erbsen over 1 year ago - 6 comments

#1603 - Adapt w.r.t. coq/coq#17564.

Pull Request - State: closed - Opened by ppedrot over 1 year ago

#1602 - Adapt w.r.t. coq/coq#17564.

Pull Request - State: closed - Opened by ppedrot over 1 year ago

#1601 - Optimize dettman algorithm

Pull Request - State: closed - Opened by OwenConoly over 1 year ago - 7 comments

#1600 - Bump rewriter from `f532c8b` to `3065375`

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

#1599 - Bump rewriter from `caba457` to `f532c8b`

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

#1598 - Garagedoor Prettification

Pull Request - State: closed - Opened by samuelgruetter over 1 year ago - 4 comments

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

Pull Request - State: closed - Opened by jadephilipoom over 1 year ago - 1 comment

#1596 - Cmov using sbb when possible

Pull Request - State: open - Opened by andres-erbsen over 1 year ago

#1595 - Add generated p434_32 file

Pull Request - State: open - Opened by JasonGross over 1 year ago

#1594 - Generate p521_32

Pull Request - State: closed - Opened by JasonGross over 1 year ago

#1593 - Exclude curve25519_64_msvc.c

Pull Request - State: closed - Opened by JasonGross over 1 year ago

#1592 - CI C tests fail

Issue - State: closed - Opened by JasonGross over 1 year ago

#1591 - Add another rule for bedrock2 rewriting

Pull Request - State: closed - Opened by JasonGross over 1 year ago

#1590 - Unsaturated Solinas Heuristics infer too large a number of limbs for p521 x32

Issue - State: closed - Opened by JasonGross over 1 year ago - 1 comment
Labels: question

#1589 - Adapt fiat-crypto-legacy to coq/coq#16920

Pull Request - State: closed - Opened by olaure01 over 1 year ago

#1588 - Minor changes to the build.zig files to prepare for Zig 0.11

Pull Request - State: closed - Opened by jedisct1 over 1 year ago

#1587 - Update fiat-amd64 files

Pull Request - State: closed - Opened by dderjoel over 1 year ago - 26 comments

#1586 - Use 66520 for stack size limit for MacOS compat

Pull Request - State: closed - Opened by JasonGross over 1 year ago

#1585 - Bump peter-evans/create-pull-request from 4 to 5

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#1584 - Bump rewriter from `77c76a4` to `caba457`

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

#1583 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago
Labels: rust, automated pr

#1582 - Possible optimization for secp256k1

Issue - State: closed - Opened by sipa over 1 year ago - 10 comments

#1581 - bump rupicola for bedrock2

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#1580 - Bump actions/setup-java from 3.10.0 to 3.11.0

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

#1579 - Remove montladder output tests

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#1578 - Another attempt to fix the docker CI

Pull Request - State: closed - Opened by JasonGross over 1 year ago

#1577 - Attempt to fix issue with git on dev CI

Pull Request - State: closed - Opened by JasonGross over 1 year ago

#1576 - Add the dettman square operation

Pull Request - State: closed - Opened by OwenConoly over 1 year ago - 5 comments

#1575 - Bump actions/setup-go from 3 to 4

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

#1574 - Adapt to coq/coq#16960 (less evar sensitive unification behaviour)

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 1 comment

#1573 - bump rupicola with v8.15 support

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#1572 - Bump rupicola from `5cab3d2` to `a88b8e8`

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

#1571 - Bump rupicola from `5cab3d2` to `6634671`

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

#1570 - bump rupicola

Pull Request - State: closed - Opened by samuelgruetter over 1 year ago - 3 comments

#1569 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago
Labels: rust, automated pr

#1568 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago
Labels: rust, automated pr

#1567 - Bump coqprime from `0f9f20f` to `431d7a6`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: submodules, sp2019latest

#1566 - Bump coqprime from `0f9f20f` to `431d7a6`

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

#1565 - Please create a tag for Coq 8.17 in Coq Platform 2023.03

Issue - State: closed - Opened by MSoegtropIMC over 1 year ago - 38 comments

#1564 - Adapt to coq/coq#17274 (Eval prints evar info like Check)

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 5 comments

#1563 - adapt to coq/coq#17281

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago - 1 comment

#1562 - Montgomery loop

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#1561 - adapt for coq/coq#17133

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#1560 - Alternative to uint128

Issue - State: open - Opened by davidben over 1 year ago - 62 comments

#1559 - Bump rewriter from `c26f81b` to `77c76a4`

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

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

Issue - State: closed - Opened by tarcieri over 1 year ago - 2 comments

#1557 - Bump actions/setup-java from 3.9.0 to 3.10.0

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

#1556 - Update Zig test scripts for zig 0.11

Pull Request - State: closed - Opened by jedisct1 over 1 year ago

#1555 - Reorder rewriting passes?

Issue - State: open - Opened by JasonGross over 1 year ago

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

Pull Request - State: closed - Opened by ppedrot over 1 year ago