| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Partial work on fixing partial reduction |  Jason Gross | 2018-01-29 |
| * | Partial work on implementing partial reduction | Jason Gross | 2018-01-29 |
| * | add non-cps version of chained_carries (resolves #283 again) |  jadep | 2017-12-14 |
| * | add non-cps carry to experimental pipeline (this resolves #283) | jadep | 2017-12-14 |
| * | [demo] Add reification in src/Experiments/SimplyTypedArithmetic.v (#275) |  Jason Gross | 2017-11-26 |
| * | [demo] Replace (max (length a) (length b)) with explicit nat arg | Jason Gross | 2017-11-24 |
| * | [Demo] Define [place] in terms of nat_rect | Jason Gross | 2017-11-24 |
| * | [demo] Use [List.repeat] rather than [List.map] | Jason Gross | 2017-11-24 |
| * | [demo] Pass in a [nat] for list length | Jason Gross | 2017-11-24 |
| * | Remove tuple from src/DemoWithReification.v | Jason Gross | 2017-11-24 |
| * | Move DemoWithReification.v => Experiments/SimplyTypedArithmetic.v | Jason Gross | 2017-11-24 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |