| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add wordToZ{_gen,}_range |  Jason Gross | 2017-03-30 |
| | | |||
| * | Add log and non-log versions of FixedWordSizes lem | Jason Gross | 2017-02-23 |
| | | |||
| * | Move things from WordUtil to ZUtil, add word lemma | Jason Gross | 2017-02-06 |
| | | |||
| * | Split off non-unfolding version of fixed_size_op_to_word | Jason Gross | 2017-02-03 |
| | | | | | Called syntactic_fixed_size_op_to_word | ||
| * | Add valid_update lemmas about FixedWordSizes | Jason Gross | 2017-02-03 |
| | | |||
| * | Don't unfold wordToZ_gen in fixed_Size_op_to_word | Jason Gross | 2017-02-03 |
| | | | | | It was messing up some proofs that relied on that being folded. | ||
| * | Fix a missing argument | Jason Gross | 2017-02-03 |
| | | |||
| * | Fix a typo | Jason Gross | 2017-02-03 |
| | | |||
| * | Handle more kinds of ops in fixed_size_op_to_word | Jason Gross | 2017-02-03 |
| | | |||
| * | Add fixed_size_op_to_word tactic | Jason Gross | 2017-02-03 |
| | | |||
| * | Add wordToZ_ZToWord_wordToZ | Jason Gross | 2017-02-01 |
| | | |||
| * | Add ZToWord_wordToZ_ZToWord | Jason Gross | 2017-02-01 |
| | | |||
| * | Add wordToZ_ZToWord, ZToWord_wordToZ | Jason Gross | 2017-02-01 |
| | | |||
| * | Add transparent equality proofs for fixed wordT | Jason Gross | 2017-01-21 |
| Such a pain to make proofs compute | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |