Git — Sourcephile - haskell/symantic-parser.git/history - src/Symantic/Parser/Grammar/Optimize.hs

]> Git — Sourcephile - haskell/symantic-parser.git/history - src/Symantic/Parser/Grammar/Optimize.hs

sourcephile / git / haskell / symantic-parser.git / history

[haskell/symantic-parser.git] / src / Symantic / Parser / Grammar / Optimize.hs

2021-07-11	Julien Moutinho	rename Symantic.{Univariant => Typed}	blob \| commitdiff \| raw
2021-07-11	Julien Moutinho	remove useless benchmarks	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	replace ValueCode by Production	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	more on failures	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	grammar: sort symantics by name	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	test: dump splices using TH.runQ instead of calling ghc	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	fix: use a global polyfix for defLet and defRef	blob \| commitdiff \| raw \| diff to current
2021-01-31	Julien Moutinho	Rename Machine.{Build => Program}	blob \| commitdiff \| raw \| diff to current
2021-01-31	Julien Moutinho	Reorganize Comb and Instr optimizations	blob \| commitdiff \| raw \| diff to current
2021-01-30	Julien Moutinho	grammar: open the Comb data-type	blob \| commitdiff \| raw \| diff to current
2021-01-16	Julien Moutinho	stick to ParsleyHaskell's optimizations, except on...	blob \| commitdiff \| raw \| diff to current
2021-01-06	Julien Moutinho	grammar: rename Parser.{Haskell => Grammar.Pure}	blob \| commitdiff \| raw \| diff to current
2021-01-01	Julien Moutinho	rename Parser.{Staging => Haskell}	blob \| commitdiff \| raw \| diff to current
2020-12-29	Julien Moutinho	add farthest position heuristic for parsing error messages	blob \| commitdiff \| raw \| diff to current
2020-12-03	Julien Moutinho	Add runParser	blob \| commitdiff \| raw \| diff to current
2020-11-12	Julien Moutinho	bump to ghc-9.0.1 to get a levity-polymorphic CodeQ	blob \| commitdiff \| raw \| diff to current
2020-10-21	Julien Moutinho	Polish code and dumps	blob \| commitdiff \| raw \| diff to current
2020-10-20	Julien Moutinho	Remove unused extensions	blob \| commitdiff \| raw \| diff to current
2020-10-20	Julien Moutinho	Add a precision in a comment	blob \| commitdiff \| raw \| diff to current
2020-10-20	Julien Moutinho	Fix infinite loop in observeSharing	blob \| commitdiff \| raw \| diff to current
2020-10-15	Julien Moutinho	Rename many things and continue Instr interpretation	blob \| commitdiff \| raw \| diff to current
2020-10-14	Julien Moutinho	Trace and organize grammar optimizing rules	blob \| commitdiff \| raw \| diff to current
2020-10-14	Julien Moutinho	Add more Comb -> Instr translations	blob \| commitdiff \| raw \| diff to current
2020-10-12	Julien Moutinho	Polish	blob \| commitdiff \| raw \| diff to current
2020-10-12	Julien Moutinho	Rename Unlift to Output	blob \| commitdiff \| raw \| diff to current
2020-10-12	Julien Moutinho	Generalize Liftable with Trans	blob \| commitdiff \| raw \| diff to current
2020-10-12	Julien Moutinho	Extract Letable into generic module	blob \| commitdiff \| raw \| diff to current
2020-10-11	Julien Moutinho	introducing def and ref	blob \| commitdiff \| raw \| diff to current

Library for parsing

RSS Atom