| Commit message (Expand) | Author | Age |
* | prove an admit in ArithmeticSynthesisTest | Andres Erbsen | 2017-07-06 |
* | make bench | Andres Erbsen | 2017-07-06 |
* | make bench | Jason Gross | 2017-07-06 |
* | benchmark NISTZ256 with and without adx | Andres Erbsen | 2017-07-05 |
* | make bench | Andres Erbsen | 2017-07-05 |
* | make bench | Andres Erbsen | 2017-07-04 |
* | use att style assembly with icc, test it | Andres Erbsen | 2017-07-04 |
* | test p256 mixed addition | Andres Erbsen | 2017-07-04 |
* | work around GCC issues 81294 and 81300 | Andres Erbsen | 2017-07-03 |
* | fix mulx argument order using sed, test feadd, femul (fails due to #234) | Andres Erbsen | 2017-07-03 |
* | Fix display target | Jason Gross | 2017-07-03 |
* | X25519 test (passed on first try) | Andres Erbsen | 2017-07-02 |
* | automate P256 integration | Andres Erbsen | 2017-07-02 |
* | Merge branch 'use-cmovznz' of https://github.com/JasonGross/fiat-crypto | Andres Erbsen | 2017-07-02 |
|\ |
|
* | | make display | Andres Erbsen | 2017-07-01 |
* | | changes to log files after running make c | jadep | 2017-07-01 |
* | | add missing import | jadep | 2017-06-30 |
* | | Fix misnamed references in Specific/ (broke after saturated arithetic reorg) | jadep | 2017-06-30 |
* | | Reorganization of saturated arithmetic | jadep | 2017-06-29 |
| * | make display | Jason Gross | 2017-06-29 |
* | | make display | Jason Gross | 2017-06-29 |
* | | Fix unfolding to not unfold sub_with_get_borrow in P256 | Jason Gross | 2017-06-29 |
|/ |
|
* | Use -std=gnu11 for older versions of gcc | Jason Gross | 2017-06-28 |
* | match C code in Jacobian addition | Andres Erbsen | 2017-06-27 |
* | p256 compilation and benchmarks with manual kludges | Andres Erbsen | 2017-06-27 |
* | More proof fixing | Jason Gross | 2017-06-26 |
* | Remove an admit | Jason Gross | 2017-06-26 |
* | make display | Jason Gross | 2017-06-26 |
* | Add nonzero synthesis | Jason Gross | 2017-06-26 |
* | make display on p256 | Andres Erbsen | 2017-06-25 |
* | make display | Jason Gross | 2017-06-25 |
* | make display | Jason Gross | 2017-06-24 |
* | Fix some things not being unfolded | Jason Gross | 2017-06-24 |
* | make display | Jason Gross | 2017-06-24 |
* | Clean up some montgomery wbw instantiation, make display | Jason Gross | 2017-06-24 |
* | Remove admits | Jason Gross | 2017-06-24 |
* | make bench | Andres Erbsen | 2017-06-23 |
* | Fix an issue with notations | Jason Gross | 2017-06-22 |
* | make display | Jason Gross | 2017-06-22 |
* | Add (partially admitted) integration tests for add, sub, opp | Jason Gross | 2017-06-22 |
* | P256: Partial work on add, sub, opp | Jason Gross | 2017-06-22 |
* | Fix an [sz] that shouldn't have been removed in the previous commit | Jason Gross | 2017-06-22 |
* | P256: Keep around < eval N bounds | Jason Gross | 2017-06-22 |
* | Add sig_conj_by_impl2 | Jason Gross | 2017-06-22 |
* | move Specifi p256 files into their own directory | Andres Erbsen | 2017-06-22 |
* | Fix some minor naming bugs in sig_assoc tactics | Jason Gross | 2017-06-22 |
* | Add tighter bounds to MontgomeryP256{,_128} | Jason Gross | 2017-06-22 |
* | compile src/Specific/IntegrationTestMontgomeryP256.s | Andres Erbsen | 2017-06-21 |
* | Use is_bounded_by_None_repeat_In_iff_lt, remove axiom | Jason Gross | 2017-06-20 |
* | make display | Jason Gross | 2017-06-20 |