mit-plv/fiat-crypto issues and pull requests

#1754 - Bump rewriter from `1dc4096` to `cd6022f`

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: submodules

#1753 - Bump rewriter from `3e84ec2` to `1dc4096`

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: submodules

#1752 - Adapt to expr.Wf4

Pull Request - State: closed - Opened by JasonGross 10 months ago

#1751 - [CI] Remove hopefully-useless --dry-run make install

Pull Request - State: closed - Opened by JasonGross 10 months ago

#1750 - Legacy: adapt to coq/coq#18325

Pull Request - State: closed - Opened by SkySkimmer 10 months ago - 1 comment

#1749 - Deploy WASM integration to https://mit-plv.github.io/fiat-crypto

Pull Request - State: closed - Opened by JasonGross 10 months ago

#1748 - Avoid running out of stack in js_of_ocaml code

Issue - State: open - Opened by JasonGross 10 months ago

#1747 - Add wasm_of_ocaml build

Pull Request - State: closed - Opened by JasonGross 10 months ago

#1746 - Split up coq-docker job a lot

Pull Request - State: closed - Opened by JasonGross 10 months ago

#1745 - Bump rupicola from `f51d83b` to `705bde5`

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

#1744 - Add web links to README

Pull Request - State: closed - Opened by JasonGross 10 months ago

#1743 - bump rupicola

Pull Request - State: closed - Opened by samuelgruetter 11 months ago - 1 comment

#1742 - zig: use "const" for variables that are never mutated

Pull Request - State: closed - Opened by jedisct1 11 months ago

#1741 - Make install targets depend on vo files

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1740 - Test more install targets on docker

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1739 - Use WebWorkers and a cache for js-of-ocaml

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1738 - Adapt wrt Coq/Coq#18164

Pull Request - State: closed - Opened by Villetaneuse 11 months ago - 1 comment

#1737 - Add js_of_ocaml build and deployment

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1736 - README should link to latest standalone binaries on release page

Issue - State: open - Opened by JasonGross 11 months ago
Labels: enhancement, help wanted

#1735 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago
Labels: rust, automated pr

#1734 - Test install target on CI (no docker)

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1733 - Test install target on CI (docker only)

Pull Request - State: closed - Opened by JasonGross 11 months ago - 1 comment

#1732 - Test install target on CI

Issue - State: closed - Opened by JasonGross 11 months ago

#1731 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago
Labels: rust, automated pr

#1730 - Single Binaries

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1729 - [CI] Add names to build jobs

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1728 - Bump rewriter from `5d274d2` to `3e84ec2`

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 3 comments
Labels: submodules

#1727 - Upload universal binaries for MacOS

Issue - State: closed - Opened by JasonGross 11 months ago - 2 comments
Labels: enhancement, help wanted

#1726 - Bump rewriter from `5d274d2` to `1e001e7`

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 2 comments
Labels: submodules

#1725 - Adapt to coq/coq#18273 (Ltac2 supports head reduction)

Pull Request - State: closed - Opened by SkySkimmer 11 months ago

#1724 - Generate single binary for all synthesis

Issue - State: closed - Opened by JasonGross 11 months ago
Labels: enhancement, help wanted, good first issue

#1723 - Display lipo -info for MacOS binaries

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1722 - Only test full amd64 files in Docker CI

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1721 - Only upload one copy of linux binaries to releases

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1720 - standalone-javascript with js_of_ocaml?

Issue - State: closed - Opened by JasonGross 11 months ago
Labels: enhancement, help wanted, includes-wishlist

#1719 - remove RupicolaCrypto.Low

Pull Request - State: closed - Opened by andres-erbsen 11 months ago

#1718 - Statically link alpine binaries: `-ccopt -static`

Pull Request - State: closed - Opened by JasonGross 11 months ago - 1 comment

#1717 - Allow passing CAMLEXTRAFLAGS for standalone build

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1716 - POSIX-compliant github-actions-display-per-line-timing.sh

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1715 - Make etc/ci/describe-system-config.sh POSIX-compliant

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1714 - Bump actions/checkout from 3 to 4

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

#1713 - Adapt to coq/coq#18280 (case relevance outside case info)

Pull Request - State: closed - Opened by SkySkimmer 11 months ago - 3 comments

#1712 - Model coq-alpine after coq-debian

Pull Request - State: closed - Opened by JasonGross 11 months ago - 1 comment

#1711 - Upload standalone binaries to release pages

Pull Request - State: closed - Opened by JasonGross 11 months ago - 1 comment

#1710 - Add packaging for standalone files

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1709 - Bump rupicola from `0e001bb` to `3691f9a`

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

#1708 - Drop CI testing of 8.16

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1707 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago
Labels: rust, automated pr

#1706 - [CI] Add `merge_group:` trigger for merge queue

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1705 - Bump rupicola from `e6daa5e` to `0e001bb`

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 2 comments
Labels: submodules

#1704 - Bump rewriter from `5e74224` to `5d274d2`

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 3 comments
Labels: submodules

#1703 - Bump etc/coq-scripts from `2df5dbe` to `d3dc888`

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

#1702 - Bump rewriter from `5b13cd7` to `5e74224`

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

#1701 - Bump etc/coq-scripts from `2df5dbe` to `d3dc888`

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 5 comments
Labels: submodules

#1700 - [sp2019latest] Drop testing of non-dev versions of Coq

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1699 - (legacy) Let does not support Proof using (coq/coq#17576)

Pull Request - State: closed - Opened by SkySkimmer 11 months ago

#1698 - Adapt to https://github.com/coq/coq/pull/17576

Pull Request - State: closed - Opened by proux01 11 months ago - 1 comment

#1697 - Bump rewriter from `2f9a755` to `5b13cd7`

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: submodules

#1696 - [sp2019latest] User docker for master test

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1695 - Moving at level 10 notations which were originally at level 200

Pull Request - State: closed - Opened by herbelin 11 months ago - 8 comments

#1694 - Rust Crate Version Bump

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago
Labels: rust, automated pr

#1693 - Optimize & fix Edwards XYZT operations

Pull Request - State: closed - Opened by bMacSwigg 11 months ago

#1692 - Patch BoringSSL files for C tests

Pull Request - State: closed - Opened by JasonGross 11 months ago - 4 comments

#1691 - [sp2019latest] [CI] Drop Coq < 8.16

Pull Request - State: closed - Opened by JasonGross 11 months ago

#1690 - Bump bbv from `6144e21` to `f4caa05`

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 2 comments
Labels: submodules, sp2019latest

#1689 - Bump rewriter from `e2721fc` to `2f9a755`

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: submodules

#1688 - Bump coqprime from `f611fa4` to `d5935ca`

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: submodules, sp2019latest

#1687 - Bump rewriter from `e2721fc` to `d7d5681`

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

#1686 - Bump coqprime from `f611fa4` to `d5935ca`

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

#1685 - Bump etc/coq-scripts from `8b66ebe` to `2df5dbe`

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

#1684 - Bump etc/coq-scripts from `8b66ebe` to `2df5dbe`

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 2 comments
Labels: submodules

#1683 - Bump etc/coq-scripts from `8b66ebe` to `bbe2c4c`

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 2 comments
Labels: submodules, sp2019latest

#1682 - Bump etc/coq-scripts from `8b66ebe` to `bbe2c4c`

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 2 comments
Labels: submodules

#1681 - Bump etc/coq-scripts from `8b66ebe` to `8648113`

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

#1680 - Bump etc/coq-scripts from `8b66ebe` to `8648113`

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

#1679 - Please create a tag for Coq 8.18 in Coq Platform 2023.10

Issue - State: closed - Opened by rtetley 12 months ago - 10 comments

#1678 - Bump rupicola from `6d4f40c` to `e6daa5e`

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: submodules

#1677 - Create Devil

Pull Request - State: closed - Opened by Devil7-coder 12 months ago

#1676 - Drop use of Pervasives

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

#1675 - rust: ensure generated files pass clippy linter.

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

#1674 - Consider to replace Stdlib by Prevasives

Issue - State: closed - Opened by armfazh about 1 year ago - 1 comment

#1673 - Bump rewriter from `26f5c84` to `e2721fc`

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

#1672 - Using word_by_word_montgomery with one-word prime modulus

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

#1671 - rust: Annotates literals with their type.

Pull Request - State: open - Opened by armfazh about 1 year ago - 2 comments
Labels: needs: fixing

#1670 - rust: Replaces return an empty tuple by nothing (void).

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

#1669 - rust: Include documentation comments for type alias.

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

#1668 - rust: use doc comments

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

#1667 - Bump coqprime from `431d7a6` to `f611fa4`

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

#1666 - Bump rewriter from `26f5c84` to `43447bc`

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

#1665 - Bump actions/setup-java from 3.12.0 to 3.13.0

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

#1664 - Bump coqprime from `ae85b57` to `f611fa4`

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

#1663 - Bump rewriter from `26f5c84` to `20d3ab6`

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

#1662 - Adapt to coq/coq#17836 (sort poly) (update rupicola)

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

#1661 - Bump etc/coq-scripts from `8ce1d5d` to `8b66ebe`

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

#1660 - Bump etc/coq-scripts from `8ce1d5d` to `8b66ebe`

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

#1659 - Bump coqprime from `431d7a6` to `ae85b57`

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

#1658 - Bump coqprime from `431d7a6` to `ae85b57`

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

#1657 - Stop relying on `replace by` automatic `assumption`-based solving

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

#1656 - Bump rupicola from `1c6bef7` to `6d4f40c`

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

#1655 - updating rupicola

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

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