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