Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github
Bump actions/setup-java from 3.2.0 to 3.3.0 (#1229)
May 4, 2022
coqprime @ 12ad864
Bump coqprime from de0c48a to 12ad864 (#1182)
Mar 31, 2022
etc
Bump coq scripts
Mar 26, 2022
fiat-amd64
Add PERF_TESTS=1 to call perf record on outputs (#1202)
Apr 20, 2022
fiat-bedrock2/src
regenerate fiat-bedrock2/src/*.c
Dec 17, 2021
fiat-c/src
Word-by-word Montgomery with new Bedrock2 Synthesis Pipeline (#1113)
Mar 30, 2022
fiat-go
Word-by-word Montgomery with new Bedrock2 Synthesis Pipeline (#1113)
Mar 30, 2022
fiat-java/src
Word-by-word Montgomery with new Bedrock2 Synthesis Pipeline (#1113)
Mar 30, 2022
fiat-json/src
Add option --emit-all-casts and use it in JSON (#1107)
Jan 22, 2022
fiat-rust
Word-by-word Montgomery with new Bedrock2 Synthesis Pipeline (#1113)
Mar 30, 2022
fiat-zig
Word-by-word Montgomery with new Bedrock2 Synthesis Pipeline (#1113)
Mar 30, 2022
inversion
inversion/zig: remove redundant comptime
Jul 1, 2021
output-tests
Word-by-word Montgomery with new Bedrock2 Synthesis Pipeline (#1113)
Mar 30, 2022
rewriter @ 2c2d78e
Bump rewriter from 10c6a00 to 2c2d78e (#1175)
Mar 29, 2022
rupicola @ c3e14ed
update rupicola/bedrock2/coqutil (#1228)
May 4, 2022
src
Add in_hyp_under_binders_do (#1232)
May 13, 2022
.dir-locals.el
Add bedrock2 compiler to build system
Dec 2, 2021
.gitattributes
Add code generation for Zig
Apr 21, 2021
.gitignore
Add PERF_TESTS=1 to call perf record on outputs (#1202)
Apr 20, 2022
.gitmodules
remove bedrock2 direct submodule
Aug 12, 2020
.mailmap
Add more entries to .mailmap
Dec 1, 2021
AUTHORS
Adjust Cargo.toml declaration
Feb 2, 2020
CONTRIBUTORS
Prove montladder correct in the zero case.
Jan 8, 2018
COPYRIGHT
Multi-license under MIT OR Apache-2.0 OR BSD-1-Clause
Sep 25, 2020
LICENSE-APACHE
Multi-license under MIT OR Apache-2.0 OR BSD-1-Clause
Sep 25, 2020
LICENSE-BSD-1
Multi-license under MIT OR Apache-2.0 OR BSD-1-Clause
Sep 25, 2020
LICENSE-MIT
Multi-license under MIT OR Apache-2.0 OR BSD-1-Clause
Sep 25, 2020
Makefile
Build rupicola examples so we can use them
May 6, 2022
Makefile-coq.local
Keep Tactics.v up to date
Jan 26, 2022
Makefile.local.common
Split NsatzTactic file
Dec 2, 2021
README.md
Add some links to README
Oct 4, 2021
_CoqProject
Add in_hyp_under_binders_do (#1232)
May 13, 2022
boringssl_notes.md
remove line breaks from notes because github doesn't like them
Jun 19, 2020
crypto-defects.md
Update crypto-defects.md
Jan 20, 2021
folkwisdom.md
Work around bad design in Coq
Jul 20, 2016
primes.txt
Add more heuristic definitions for unsat solinas
Jun 10, 2019