| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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 |
| | | |||
| * | FST operations | Gregor Kleen | 2018-05-21 |
| | | |||
| * | Think about how handleTransition' gets called | Gregor Kleen | 2018-05-21 |
| | | |||
| * | Fix (hopefully) `toFST` | Gregor Kleen | 2018-05-21 |
| | | |||
| * | Introduce FSTs & Generalize input/output | Gregor Kleen | 2018-05-21 |
| | | | | | `toFST` is currently invalid | ||
| * | Framework for DFST edit lens | Gregor Kleen | 2018-02-05 |
| | | |||
| * | No trees | Gregor Kleen | 2018-02-03 |
| | | |||
| * | Refactor | Gregor Kleen | 2017-11-23 |
| | | |||
| * | Typo | Gregor Kleen | 2017-11-14 |
| | | |||
| * | Cat-T corrections | Gregor Kleen | 2017-11-14 |
| | | |||
| * | Comment on language extensions & fix compilation | Gregor Kleen | 2017-11-13 |
| | | |||
| * | Initial work on central definitions | Gregor Kleen | 2017-11-13 |
