Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |
* | 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 |
* | Think about propL | Gregor Kleen | 2018-05-13 |
* | Minor Cleanup | Gregor Kleen | 2018-05-08 |
* | DFST lenses now pass some rudimentary tests | Gregor Kleen | 2018-05-07 |
* | Better DFSTs | Gregor Kleen | 2018-05-07 |
* | Really just need prefixes/suffixes | Gregor Kleen | 2018-05-07 |
* | Describe algorithm for `propR` of DFST-lens | Gregor Kleen | 2018-05-07 |
* | Improve doc of DFST | Gregor Kleen | 2018-05-07 |
* | Bump lts | Gregor Kleen | 2018-05-07 |
* | Move non-breaking language extensions to package.yaml | Gregor Kleen | 2018-05-07 |
* | Framework for DFST edit lens | Gregor Kleen | 2018-02-05 |
* | Define DFSTs | Gregor Kleen | 2018-02-04 |
* | No trees | Gregor Kleen | 2018-02-03 |
* | Ignore generated cabal files | Gregor Kleen | 2017-11-23 |
* | Refactor | Gregor Kleen | 2017-11-23 |
* | Migrate to hpack | Gregor Kleen | 2017-11-23 |
* | Typo | Gregor Kleen | 2017-11-14 |
* | Cat-T corrections | Gregor Kleen | 2017-11-14 |
* | Change title | Gregor Kleen | 2017-11-13 |
* | Comment on language extensions & fix compilation | Gregor Kleen | 2017-11-13 |
* | Initial work on central definitions | Gregor Kleen | 2017-11-13 |
* | Unifying lenses | Gregor Kleen | 2017-11-10 |
* | Cleaned up build framework | Gregor Kleen | 2017-10-25 |
* | Provide literature.bibtex | Gregor Kleen | 2017-10-25 |
* | Support includes | Gregor Kleen | 2017-10-25 |
* | General Incremental Lexical Analysis | Gregor Kleen | 2017-10-25 |
* | literature readme | Gregor Kleen | 2017-10-25 |
* | More incremental analysis | Gregor Kleen | 2017-10-25 |
* | More on Incremental Static Semantic Analysis | Gregor Kleen | 2017-10-25 |
* | Add »Incremental Static Semantic Analysis« | Gregor Kleen | 2017-10-24 |
* | Discuss Incremental Analysis of Real Programming Languages | Gregor Kleen | 2017-10-24 |
* | Incremental Analysis of Real Programming Languages | Gregor Kleen | 2017-10-24 |
* | Ignore compilation results | Gregor Kleen | 2017-10-24 |
* | Bachelor's thesis; look up literature | Gregor Kleen | 2017-10-24 |
* | Bachelor´s thesis; topic | Gregor Kleen | 2017-10-19 |