Branch | Commit message | Author | Age | |
---|---|---|---|---|
containers | Try to prove stuff about container transducers | Gregor Kleen | 7 years | |
master | Typos | Gregor Kleen | 6 years | |
Tag | Download | Author | Age | |
submission | incremental-dfsts-submission.tar incremental-dfsts-submission.tar.gz incremental-dfsts-submission.tar.bz2 incremental-dfsts-submission.tar.xz incremental-dfsts-submission.zip | Gregor Kleen | 6 years | |
Age | Commit message | Author | ||
2019-06-07 | TyposHEADsubmissionmaster | Gregor Kleen | ||
2019-06-07 | Cleanup | Gregor Kleen | ||
2019-06-07 | Include repo url | Gregor Kleen | ||
2019-06-07 | Finish for submission | Gregor Kleen | ||
2019-06-04 | Finish example | Gregor Kleen | ||
2019-06-04 | Cleanup | Gregor Kleen | ||
2019-05-30 | Further work | Gregor Kleen | ||
2019-02-19 | Stuff... | Gregor Kleen | ||
2018-12-18 | Much ado about nothing | Gregor Kleen | ||
2018-07-02 | propL now produces correct complement | Gregor Kleen | ||
[...] | ||||
Clone | ||||
git://git.yggdrasil.li/gkleen/pub/incremental-dfsts | ||||
https://git.yggdrasil.li/gkleen/pub/incremental-dfsts |