| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Remove bbv dependency |  Benjamin Barenblat | 2019-04-26 |
| * | [travis] Always display the diff, but don't display _CoqProject |  Jason Gross | 2018-10-25 |
| * | [travis] Only run git diff on failure |  Jason Gross | 2018-08-09 |
| * | Add git diff for better debugging of C-file issues | Jason Gross | 2018-07-21 |
| * | Die early if we can't create the archive | Jason Gross | 2018-03-22 |
| * | Update travis caching script | Jason Gross | 2018-03-22 |
| * | Fix an issue where travis was not building quite the right targets | Jason Gross | 2018-02-12 |
| * | Attempt to build travis in stages | Jason Gross | 2018-01-16 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |