index
:
incremental-dfsts
containers
master
[no description]
gkleen
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
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