2019-03-13 | Christian Urban | updated | changeset | files |
2019-02-23 | Christian Urban | adapted the Bitcoded correctness proof to using AALTs | changeset | files |
2019-02-20 | Christian Urban | added size bounds for partial derivatives | changeset | files |
2019-02-17 | Christian Urban | updated | changeset | files |
2019-02-11 | Christian Urban | cleaned up a bit | changeset | files |
2019-02-11 | Christian Urban | added cardinality proof of Antimirov | changeset | files |
2019-02-11 | Christian Urban | added partial derivative proof from Antimirov | changeset | files |
2019-02-10 | Christian Urban | updated to Isabelle 2018 | changeset | files |
2019-02-08 | Christian Urban | added partial derivatives to compare sizes | changeset | files |
2019-02-07 | Christian Urban | updated | changeset | files |
2019-02-04 | Chengsong | 3 files to be compiled together and then run scala Spiral a b | changeset | files |
2019-02-04 | Chengsong | test | changeset | files |
2019-02-04 | Christian Urban | changed something | changeset | files |
2019-02-04 | Chengsong | added test file | changeset | files |
2019-02-04 | Christian Urban | updated | changeset | files |
2019-02-01 | Christian Urban | added some timing and size tests when doing the derivatives | changeset | files |
2019-01-31 | Christian Urban | updated | changeset | files |
2019-01-30 | Christian Urban | updated | changeset | files |
2019-01-30 | Christian Urban | added Chengsong's experiment | changeset | files |
2019-01-02 | Christian Urban | updated | changeset | files |
2018-10-27 | Christian Urban | added_lit | changeset | files |
2018-09-30 | Christian Urban | updated | changeset | files |
2018-09-10 | Christian Urban | updated | changeset | files |
2018-08-21 | Christian Urban | updated | changeset | files |
2018-08-21 | Christian Urban | updated | changeset | files |
2018-08-18 | Christian Urban | updated | changeset | files |
2018-08-17 | Christian Urban | updated | changeset | files |
2018-08-16 | Christian Urban | updated | changeset | files |
2018-08-15 | Christian Urban | added proof for bitcoded algorithm | changeset | files |
2018-05-16 | Christian Urban | updated | changeset | files |
2018-05-15 | Christian Urban | updated | changeset | files |
2018-05-15 | Christian Urban | updated | changeset | files |
2018-01-12 | Christian Urban | updated | changeset | files |
2017-12-07 | Christian Urban | updated | changeset | files |
2017-10-25 | cu | updated | changeset | files |
2017-10-10 | cu | updated for Isabelle 2017 | changeset | files |
2017-10-10 | cu | updated | changeset | files |
2017-10-08 | cu | updated | changeset | files |
2017-10-07 | cu | updated | changeset | files |
2017-10-05 | Christian Urban | updated | changeset | files |
2017-09-22 | Christian Urban | updated | changeset | files |
2017-09-05 | Christian Urban | updated | changeset | files |
2017-08-26 | Christian Urban | simplified proof | changeset | files |
2017-08-25 | Christian Urban | updated | changeset | files |
2017-08-25 | Christian Urban | updated | changeset | files |
2017-08-25 | Christian Urban | updated | changeset | files |
2017-08-18 | Christian Urban | updated | changeset | files |
2017-08-11 | Christian Urban | updated | changeset | files |
2017-07-19 | Christian Urban | updated | changeset | files |
2017-07-18 | Christian Urban | changed definitions of PRF | changeset | files |
2017-07-06 | Christian Urban | updated | changeset | files |
2017-07-04 | Christian Urban | isar proofs | changeset | files |
2017-07-04 | Christian Urban | isar proofs | changeset | files |
2017-07-04 | Christian Urban | isar proofs | changeset | files |
2017-07-01 | Christian Urban | updated | changeset | files |
2017-06-30 | Christian Urban | updated | changeset | files |
2017-06-30 | Christian Urban | added | changeset | files |
2017-06-30 | Christian Urban | updated | changeset | files |
2017-06-29 | Christian Urban | updated | changeset | files |
2017-06-28 | Christian Urban | updated | changeset | files |