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

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

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

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

2021-07-30	Julien Moutinho	machine: normalOrderReduction at the last moment	blob \| commitdiff \| raw
2021-07-28	Julien Moutinho	machine: fix recursion ending	blob \| commitdiff \| raw \| diff to current
2021-07-28	Julien Moutinho	add registers	blob \| commitdiff \| raw \| diff to current
2021-07-16	Julien Moutinho	deps: bump to symantic-base 0.2	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	use symantic-base symantic-parser-0.2.0.20210703	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	rename Symantic.{Univariant => Typed}	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	fix: use a global polyfix for defLet and defRef	blob \| commitdiff \| raw \| diff to current
2021-07-11	Julien Moutinho	bug: a ref outside its def must be supported	blob \| commitdiff \| raw \| diff to current
2021-02-01	Julien Moutinho	test: hide unique names for reproductibility	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
2020-12-29	Julien Moutinho	add farthest position heuristic for parsing error messages	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-22	Julien Moutinho	Fix DumpInstr	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-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