2019-02-23 | Christian Urban | adapted the Bitcoded correctness proof to using AALTs | file | diff | annotate |
2019-02-10 | Christian Urban | updated to Isabelle 2018 | file | diff | annotate |
2019-01-02 | Christian Urban | updated | file | diff | annotate |
2018-09-30 | Christian Urban | updated | file | diff | annotate |
2018-08-18 | Christian Urban | updated | file | diff | annotate |
2018-08-17 | Christian Urban | updated | file | diff | annotate |
2018-08-16 | Christian Urban | updated | file | diff | annotate |
2018-08-15 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |
2017-06-29 | Christian Urban | updated | file | diff | annotate |
2017-06-28 | Christian Urban | updated | file | diff | annotate |
2017-06-27 | Christian Urban | polished | file | diff | annotate |
2017-06-26 | Christian Urban | added a proof that Positional ordering is equivalent to direct posix definition | file | diff | annotate |
2017-06-25 | Christian Urban | updated | file | diff | annotate |
2017-06-24 | Christian Urban | updated | file | diff | annotate |
2017-06-22 | Christian Urban | updated | file | diff | annotate |
2016-07-20 | Christian Urban |
added paper about size derivatives | file | diff | annotate |
2016-05-18 | Christian Urban |
updated | file | diff | annotate |
2016-04-05 | Christian Urban |
corrected typo and corrected proofs in Sulzmann.thy | file | diff | annotate |
2016-04-05 | Christian Urban |
updated programs | file | diff | annotate |
2016-03-18 | Christian Urban |
updated | file | diff | annotate |
2016-03-13 | Christian Urban |
updated | file | diff | annotate |