index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
synthesize square
Jason Gross
2018-07-03
*
static in c
Jason Gross
2018-07-03
*
static void
Jason Gross
2018-07-03
*
WIP
Jason Gross
2018-07-03
*
Add ZUtil, list lemmas
Jason Gross
2018-07-02
*
Fix a notation issue in previous commit
Jason Gross
2018-07-02
*
Add more ListUtil proofs
Jason Gross
2018-07-02
*
Add some list lemmas
Jason Gross
2018-07-02
*
Make all parameters implicit
Jasper Hugunin
2018-07-02
*
Prefer relations of the form [eq ==> eq ==> ... ==> eq] in setoids
Jason Gross
2018-07-01
*
Add useful list lemmas
Jason Gross
2018-06-29
*
Add ZUtil.Sorting
Jason Gross
2018-06-29
*
Revert "Add more schemes for prod"
Jason Gross
2018-06-28
*
Add more schemes for prod
Jason Gross
2018-06-28
*
Remove useless Requires
Jason Gross
2018-06-28
*
Fix sed scripts in Makefile
Jason Gross
2018-06-28
*
Try out stronger land, lor bounds
Jason Gross
2018-06-27
*
Add is_tighter_than_bool lemmas
Jason Gross
2018-06-27
*
Add lnot mod pull/push lemmas
Jason Gross
2018-06-27
*
Add missing Z.lnot_0 hints
Jason Gross
2018-06-27
*
Add more Z const hints
Jason Gross
2018-06-27
*
Remove lneg in favor of lnot_modulo (lneg was wrong)
Jason Gross
2018-06-27
*
Add some Z.land, Z.lor hints
Jason Gross
2018-06-27
*
Add a couple of zrange lemmas
Jason Gross
2018-06-26
*
Add specialize_all_ways, fix a proof in src/Compilers/Z/ArithmeticSimplifierI...
Jason Gross
2018-06-26
*
Add Z.bneg, Z.lneg
Jason Gross
2018-06-26
*
Slightly better definitions of some ZUtil functions
Jason Gross
2018-06-26
*
Add list_beq
Jason Gross
2018-06-22
*
Add Option.List.bind_list
Jason Gross
2018-06-21
*
Add [freeze] to Arithmetic
Jason Gross
2018-06-21
*
Add extend_to_length for non-uniform-length add, sub
Jason Gross
2018-06-19
*
Be more aggressive about removing \r
Jason Gross
2018-06-19
*
Fix issue with Travis network
Jason Gross
2018-06-19
*
Make COQPATH in Makefile work on Windows / cygwin
Jason Gross
2018-06-19
*
Add seq_add, seq_len_0
Jason Gross
2018-06-19
*
Add a comment about sub
Jason Gross
2018-06-18
*
More compact printing of ASTs in errors
Jason Gross
2018-06-18
*
Add another prime example
Jason Gross
2018-06-18
*
Fix a typo in to-C shifts
Jason Gross
2018-06-18
*
Don't duplicate error message printing in OCaml
Jason Gross
2018-06-18
*
Pass around lists of strings for error messages
Jason Gross
2018-06-17
*
Add ShowLines
Jason Gross
2018-06-17
*
New pipeline, split among files
Jason Gross
2018-06-17
*
Update .gitignore with *.pyc for various helper scripts
Jason Gross
2018-06-16
*
Reserve a notatoin for ;;
Jason Gross
2018-06-16
*
Add zrange equality
Jason Gross
2018-06-15
*
Add ErrorT monad, and Show class
Jason Gross
2018-06-15
*
Add decimal_string_of_Z
Jason Gross
2018-06-15
*
Add some lemmas and defs to ListUtil.FoldBool
Jason Gross
2018-06-14
*
Set universe polymorphism in CPSNotations
Jason Gross
2018-06-14
[prev]
[next]