index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Experiments
/
PartialEvaluationWithLetIn.v
Commit message (
Expand
)
Author
Age
*
Backtrack on moving a notation to Notations.v, to fix conflict
Jason Gross
2018-05-06
*
Fix notations to not conflict with bbv
Jason Gross
2018-05-06
*
Don't use vm_compute with existentials
Jason Gross
2018-05-05
*
Update comment
Jason Gross
2018-05-05
*
Fully finish flat_map
Jason Gross
2018-05-05
*
Fix flat_map
Jason Gross
2018-05-05
*
WIP on lists as cons cells
Jason Gross
2018-05-05
*
Remove vinterp_arrow function
Jason Gross
2018-05-05
*
Revert "WIP on inductive base_value"
Jason Gross
2018-05-05
*
WIP on inductive base_value
Jason Gross
2018-05-05
*
Revert "WIP with andres, not working pattern language"
Jason Gross
2018-05-05
*
WIP with andres, not working pattern language
Jason Gross
2018-05-05
*
Add comment about leaky abstraction
Jason Gross
2018-05-05
*
Split off specialization to base types from specialization to idents
Jason Gross
2018-05-05
*
Add type variables / substitutions
Jason Gross
2018-05-05
*
Change some notations for more readability by Andres
Jason Gross
2018-05-05
*
Update cast -> annotate
Jason Gross
2018-05-05
*
Parameterize over types and identifiers
Jason Gross
2018-05-05
*
Add notes
Jason Gross
2018-05-05
*
Add partial evaluation
Jason Gross
2018-05-05
*
Some experiments with partial evaluation with letin without cps
Jason Gross
2018-05-05