2022-03-15 | Claire Xen | Merge pull request #120 from ythoma/patch-1 | blob | commitdiff | raw |
2022-03-07 | N. Engelhardt | Merge pull request #133 from nakengelhardt/sby_junit | blob | commitdiff | raw |
2022-02-07 | N. Engelhardt | fix induction | blob | commitdiff | raw |
2020-07-24 | clairexen | Merge pull request #104 from nakengelhardt/more_tests | blob | commitdiff | raw | diff to current |
2020-07-24 | N. Engelhardt | add tests directory with additional tests | blob | commitdiff | raw | diff to current |