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
...
*
fix up a messy proof
jadep
2019-03-25
*
Move some lemmas to appropriate places
jadep
2019-03-25
*
finish proofs
jadep
2019-03-25
*
Get new Barrett proofs to generate Fancy code as before
jadep
2019-03-25
*
WIP
jadep
2019-03-25
*
bump submodules
Andres Erbsen
2019-03-22
*
remove 8.7 from travis tests
jadep
2019-03-21
*
Add UnderLets.wf_flat_map
Jason Gross
2019-03-12
*
Add UnderLets.wf_of_expr
Jason Gross
2019-03-09
*
Add some UnderLets wf proofs
Jason Gross
2019-03-08
*
Standardize list wf things
Jason Gross
2019-03-08
*
Add Forall2_Proper instances
Jason Gross
2019-03-08
*
Add Forall2_map_map_iff
Jason Gross
2019-03-08
*
Add wf_reify_list_Forall2
Jason Gross
2019-03-08
*
Allow more reucrsion in wf_safe_t_step
Jason Gross
2019-03-08
*
Fix issue with previous commit
Jason Gross
2019-03-08
*
Add some eq list_rect lemmas to ListUtil
Jason Gross
2019-03-08
*
Add eager_nth_default
Jason Gross
2019-03-08
*
Remove GlobalTacticals
Jason Gross
2019-03-08
*
Fix grepeat tactic
Jason Gross
2019-03-08
*
Fix gprogress tactical
Jason Gross
2019-03-08
*
Add some gtactics
Jason Gross
2019-03-08
*
Fix a typo
Jason Gross
2019-03-08
*
add wf_smart_Literal_eq
Jason Gross
2019-03-08
*
Add wf_smart_Literal
Jason Gross
2019-03-08
*
Add Forall2_forall_In_combine_iff
Jason Gross
2019-03-07
*
Add wf proofs to UnderLetsProofs
Jason Gross
2019-03-07
*
Fix hypothesis of UnderLets.list_rect_arrow_interp_related
Jason Gross
2019-03-07
*
Add UnderLets.list_rect_arrow_interp_related
Jason Gross
2019-03-07
*
Add some eq lemmas to ListUtil
Jason Gross
2019-03-07
*
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
*
Add some Proper lemmas to ListUtil
Jason Gross
2019-03-07
*
Only write to .c files on success
Jason Gross
2019-03-07
*
Update .out files
Jason Gross
2019-03-07
*
Reify most rewrite rules
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
*
Add reserved notations for \in
Jason Gross
2019-03-05
*
Allow reifying Z.cast2
Jason Gross
2019-03-05
*
Fix unfolding of pattern.base.lookup_default
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
*
Add UnderLets.flat_map
Jason Gross
2019-03-05
*
Fix another instance of reduction
Jason Gross
2019-03-04
*
Fix reduction
Jason Gross
2019-03-04
*
Fix an issue with a proof from the previous commit
Jason Gross
2019-03-04
*
Add some things to GENERATED rewriter file
Jason Gross
2019-03-04
[prev]
[next]