Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Finish for submission | Gregor Kleen | 2019-06-07 |
| | |||
* | Finish example | Gregor Kleen | 2019-06-04 |
| | |||
* | Cleanup | Gregor Kleen | 2019-06-04 |
| | |||
* | Further work | Gregor Kleen | 2019-05-30 |
| | |||
* | Stuff... | Gregor Kleen | 2019-02-19 |
| | |||
* | Much ado about nothing | Gregor Kleen | 2018-12-18 |
| | |||
* | 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 |
`toFST` is currently invalid |