incremental-dfsts - [no description]

	Commit message (Collapse)	Author	Age
*	Include repo url	Gregor Kleen	2019-06-07
\|
*	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
\|
*	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
*	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