index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Language.v
Commit message (
Expand
)
Author
Age
*
Add UnderLets flat_map interp proofs,other changes
Jason Gross
2019-04-04
*
Add Z.combine_at_bitwidth
Jason Gross
2019-04-02
*
Add constr_fail and constr_fail_with
Jason Gross
2019-03-31
*
Add eager_nth_default
Jason Gross
2019-03-08
*
Also reify List.map
Jason Gross
2019-03-07
*
Add list_rect_arrow
Jason Gross
2019-03-07
*
Add a couple more identifiers to support eager rec
Jason Gross
2019-03-07
*
Fix reification of interpreted idents
Jason Gross
2019-03-06
*
Add support for reifying fancy identifiers
Jason Gross
2019-03-06
*
Allow reifying Z.cast2
Jason Gross
2019-03-05
*
Actually fix reification of literals
Jason Gross
2019-03-05
*
Revert "Fix reification of literals"
Jason Gross
2019-03-05
*
Fix reification of literals
Jason Gross
2019-03-05
*
Allow reifying cast and literals
Jason Gross
2019-03-04
*
Add base.{base_,}interp_beq
Jason Gross
2019-02-20
*
Add support for reifying `zrange` and `option`
Jason Gross
2019-02-18
*
Add Option.{lift,map,combine}, List.Option.lift
Jason Gross
2019-02-11
*
Actually support Nat.eqb in reification
Jason Gross
2019-01-25
*
Support Nat.eqb in reification
Jason Gross
2019-01-25
*
move src/Experiments/NewPipeline/ to src/
Andres Erbsen
2019-01-09