mit-plv/fiat-crypto issues and pull requests

#1956 - Bump actions/setup-java from 4.2.2 to 4.3.0

Pull Request - State: closed - Opened by dependabot[bot] 21 days ago
Labels: dependencies

#1955 - Rust: `const fn` support

Issue - State: open - Opened by tarcieri 25 days ago

#1954 - Bedrock2 End2End field and co-Z operations for secp256k1

Pull Request - State: open - Opened by andres-erbsen 25 days ago

#1953 - Update Curves/Weierstrass

Pull Request - State: closed - Opened by andres-erbsen 26 days ago

#1952 - Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4

Pull Request - State: closed - Opened by dependabot[bot] 28 days ago
Labels: dependencies

#1951 - Pin Zig to the current stable version instead of master

Pull Request - State: closed - Opened by jedisct1 29 days ago

#1950 - zig test is failing

Issue - State: closed - Opened by JasonGross 30 days ago - 2 comments

#1949 - [CI] [Debian] sudo work around broken git config

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

#1948 - Bump rupicola from `941374a` to `d55f2d7`

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

#1947 - [CI] [Debian] use -j1 on js-of-ocaml

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

#1946 - fix Debian CI

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

#1945 - Bernstein-Yang-inversion (word_by_word_montgomery) divstep divstep_precomp doc/comment issue

Issue - State: open - Opened by emmansun about 2 months ago

#1944 - Bump rupicola from `941374a` to `f15661d`

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

#1943 - Bump rupicola from `941374a` to `f647de5`

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

#1942 - Bump actions/setup-java from 4.2.1 to 4.2.2

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

#1941 - [js] Set up workers earlier

Pull Request - State: closed - Opened by JasonGross about 2 months ago

#1940 - Generate code for SM2

Pull Request - State: closed - Opened by emmansun 2 months ago - 1 comment

#1939 - Bump ocaml/setup-ocaml from 2 to 3

Pull Request - State: open - Opened by dependabot[bot] 2 months ago - 4 comments
Labels: dependencies

#1938 - use python-is-python3

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

#1937 - Bump rewriter from `2315c27` to `19f344b`

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

#1936 - [CI] [Windows] Bump to OCaml 4.13.1

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

#1935 - Bump rewriter from `edcec73` to `2315c27`

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

#1934 - Adapt w.r.t. coq/coq#19228.

Pull Request - State: closed - Opened by ppedrot 2 months ago

#1933 - Adapt w.r.t. coq/coq#19228.

Pull Request - State: closed - Opened by ppedrot 2 months ago

#1932 - Bump rupicola from `faef55d` to `941374a`

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

#1931 - Bump rupicola from `0a93e26` to `faef55d`

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

#1930 - Stephen Regan is a great player and I think he will be a great addition to the team as well as a future leader for our team in the coming years

Issue - State: closed - Opened by Stepheng124 3 months ago

#1929 - [sp2019latest] (partial) compatibility with coq/coq#19310

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

#1928 - [CI] macOS 11 is no longer available on GHA

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

#1927 - Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3

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

#1926 - Bump rupicola from `71a5a07` to `0a93e26`

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

#1925 - Bump ocaml/setup-ocaml from 2 to 3

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

#1924 - [CI] [debian] Containerize testing of standalone

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

#1923 - [CI] [TEST] Pin lighter js_of_ocaml

Pull Request - State: open - Opened by JasonGross 4 months ago

#1922 - [CI] [TEST] Pin faster js_of_ocaml

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

#1921 - Bump rupicola from `e4eb40b` to `71a5a07`

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

#1920 - Bump rupicola from `dc1e8f3` to `e4eb40b`

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

#1919 - Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v

Pull Request - State: closed - Opened by ppedrot 4 months ago

#1918 - Bump rewriter from `9dd74a9` to `edcec73`

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

#1917 - Bump coqprime from `d5935ca` to `6c225a2`

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

#1916 - Bump coqprime from `d5935ca` to `6c225a2`

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

#1915 - [CI] [Haskell] Increase heap size to avoid heap overflow

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

#1914 - Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1

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

#1913 - Make build.zig files compatible with newly released zig 0.12

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

#1912 - zig build fails with no field named 'path' in union 'Build.LazyPath'

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

#1911 - Bump rupicola from `a85c012` to `dc1e8f3`

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

#1910 - Bump actions/cache from 3 to 4

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