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
#1629 - Consider libsecp256k1 "magnitude" semantics instead of tight and loose bounds
Issue -
State: open - Opened by andres-erbsen about 1 year ago
#1628 - Qualifying expr.expr and cie coming from Uncurried and EdDSA.sign from Spec
Pull Request -
State: closed - Opened by herbelin about 1 year ago
#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
#1618 - [do not merge] shrink memory layout of garagedoor to the tight required minimum
Pull Request -
State: open - Opened by samuelgruetter 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