progs/scala/tests.scala
2019-02-20 Christian Urban added size bounds for partial derivatives
2017-06-22 Christian Urban updated
2016-06-14 Christian Urban updated slides
2016-06-11 Christian Urban added test processing
2016-06-10 Christian Urban run all posix tests
2016-05-08 Christian Urban updated
2016-05-06 Christian Urban added parser for regexes
less more (0) tip