summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* TyposHEADsubmissionmasterGregor Kleen2019-06-07
* CleanupGregor Kleen2019-06-07
* Include repo urlGregor Kleen2019-06-07
* Finish for submissionGregor Kleen2019-06-07
* Finish exampleGregor Kleen2019-06-04
* CleanupGregor Kleen2019-06-04
* Further workGregor Kleen2019-05-30
* Stuff...Gregor Kleen2019-02-19
* Much ado about nothingGregor Kleen2018-12-18
* propL now produces correct complementGregor Kleen2018-07-02
* First prototype of working DFST-propLGregor Kleen2018-06-18
* Work on propLGregor Kleen2018-06-18
* Work on propLGregor Kleen2018-05-22
* FST operationsGregor Kleen2018-05-21
* Think about how handleTransition' gets calledGregor Kleen2018-05-21
* Fix (hopefully) `toFST`Gregor Kleen2018-05-21
* Introduce FSTs & Generalize input/outputGregor Kleen2018-05-21
* Think about propLGregor Kleen2018-05-13
* Minor CleanupGregor Kleen2018-05-08
* DFST lenses now pass some rudimentary testsGregor Kleen2018-05-07
* Better DFSTsGregor Kleen2018-05-07
* Really just need prefixes/suffixesGregor Kleen2018-05-07
* Describe algorithm for `propR` of DFST-lensGregor Kleen2018-05-07
* Improve doc of DFSTGregor Kleen2018-05-07
* Bump ltsGregor Kleen2018-05-07
* Move non-breaking language extensions to package.yamlGregor Kleen2018-05-07
* Framework for DFST edit lensGregor Kleen2018-02-05
* Define DFSTsGregor Kleen2018-02-04
* No treesGregor Kleen2018-02-03
* Ignore generated cabal filesGregor Kleen2017-11-23
* RefactorGregor Kleen2017-11-23
* Migrate to hpackGregor Kleen2017-11-23
* TypoGregor Kleen2017-11-14
* Cat-T correctionsGregor Kleen2017-11-14
* Change titleGregor Kleen2017-11-13
* Comment on language extensions & fix compilationGregor Kleen2017-11-13
* Initial work on central definitionsGregor Kleen2017-11-13
* Unifying lensesGregor Kleen2017-11-10
* Cleaned up build frameworkGregor Kleen2017-10-25
* Provide literature.bibtexGregor Kleen2017-10-25
* Support includesGregor Kleen2017-10-25
* General Incremental Lexical AnalysisGregor Kleen2017-10-25
* literature readmeGregor Kleen2017-10-25
* More incremental analysisGregor Kleen2017-10-25
* More on Incremental Static Semantic AnalysisGregor Kleen2017-10-25
* Add »Incremental Static Semantic Analysis«Gregor Kleen2017-10-24
* Discuss Incremental Analysis of Real Programming LanguagesGregor Kleen2017-10-24
* Incremental Analysis of Real Programming LanguagesGregor Kleen2017-10-24
* Ignore compilation resultsGregor Kleen2017-10-24
* Bachelor's thesis; look up literatureGregor Kleen2017-10-24
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 12:24:27 +0000