2019-07-29 | Christian Urban | updated | file | diff | annotate |
2019-04-11 | Christian Urban | updated | file | diff | annotate |
2019-03-13 | Christian Urban | updated | file | diff | annotate |
2019-02-20 | Christian Urban | added size bounds for partial derivatives | file | diff | annotate |
2019-02-17 | Christian Urban | updated | file | diff | annotate |
2019-02-10 | Christian Urban | updated to Isabelle 2018 | file | diff | annotate |
2019-02-08 | Christian Urban | added partial derivatives to compare sizes | file | diff | annotate |
2019-02-07 | Christian Urban | updated | file | diff | annotate |
2019-02-04 | Christian Urban | updated | file | diff | annotate |
2019-02-01 | Christian Urban | added some timing and size tests when doing the derivatives | file | diff | annotate |
2019-01-31 | Christian Urban | updated | file | diff | annotate |