| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| containers | Try to prove stuff about container transducers | Gregor Kleen | 6 years | |
| master | Typos | Gregor Kleen | 5 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 | 5 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 | ||||
 |
index : incremental-dfsts | |
| [no description] | gkleen |
| summaryrefslogtreecommitdiff |