index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Experiments
/
NewPipeline
/
Language.v
Commit message (
Expand
)
Author
Age
*
Add andb_each_lhs_of_arrow
Jason Gross
2018-08-16
*
Add type.related_hetero3
Jason Gross
2018-08-06
*
Add type.related_hetero
Jason Gross
2018-07-30
*
Generalize type.eqv a bit
Jason Gross
2018-07-30
*
Integrate Wf and Interp proofs
Jason Gross
2018-07-30
*
More proofs about wf / interp
Jason Gross
2018-07-27
*
Add invert_nil, invert_cons
Jason Gross
2018-07-27
*
Set arguments of ident.{gen_,}interp
Jason Gross
2018-07-27
*
Put == in type_scope, so that we don't need to go around opening etype_scope
Jason Gross
2018-07-26
*
Add type.eqv for interp equivalence
Jason Gross
2018-07-26
*
Add invert_LetIn
Jason Gross
2018-07-25
*
Montgomery reduction in new pipeline
Jason Gross
2018-07-21
*
Support reification of firstn, skipn
Jason Gross
2018-07-18
*
Allow reification of nat_rect (fun _ => _ -> _)
Jason Gross
2018-07-15
*
Correctly reify match on prod
Jason Gross
2018-07-03
*
WIP
Jason Gross
2018-07-03
*
Make all parameters implicit
Jasper Hugunin
2018-07-02
*
Remove useless Requires
Jason Gross
2018-06-28
*
New pipeline, split among files
Jason Gross
2018-06-17