| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | propL now produces correct complement | Gregor Kleen | 2018-07-02 |
| * | First prototype of working DFST-propL | Gregor Kleen | 2018-06-18 |
| * | Work on propL | Gregor Kleen | 2018-06-18 |
| * | Work on propL | Gregor Kleen | 2018-05-22 |
| * | Introduce FSTs & Generalize input/output | Gregor Kleen | 2018-05-21 |
 |
index : incremental-dfsts | |
| [no description] | gkleen |
| summaryrefslogtreecommitdiff |