]> Git — Sourcephile - haskell/symantic-parser.git/history - src/Symantic/Parser/Grammar
build: move all Nix config to `flake.nix`
[haskell/symantic-parser.git] / src / Symantic / Parser / Grammar /
2021-10-28 Julien Moutinhobuild: update to `symantic-base >= 0.3`
2021-10-08 Julien Moutinhoimpl: update `symantic-base` dependency
2021-08-05 Julien Moutinhomachine: remove horizonStack and experiment with always... master
2021-08-03 Julien Moutinhorename {catcher => onException}
2021-07-31 Julien Moutinhochange ShowLetName into HideableName
2021-07-30 Julien Moutinhomachine: normalOrderReduction at the last moment
2021-07-28 Julien Moutinhomachine: fix recursion ending
2021-07-28 Julien Moutinhoadd registers
2021-07-16 Julien Moutinhodeps: bump to symantic-base 0.2
2021-07-11 Julien Moutinhouse symantic-base symantic-parser-0.2.0.20210703
2021-07-11 Julien Moutinhorename Output to Unlifted
2021-07-11 Julien Moutinhogrammar: fix Ord SomeFailure
2021-07-11 Julien Moutinhogrammar: add precedence to showCode
2021-07-11 Julien Moutinhomachine: optimize ifThenElse on constant
2021-07-11 Julien Moutinhoclean warnings
2021-07-11 Julien Moutinhorename Symantic.{Univariant => Typed}
2021-07-11 Julien Moutinhoremove useless benchmarks
2021-07-11 Julien Moutinhoreplace ValueCode by Production
2021-07-11 Julien Moutinhoadd benchmarks
2021-07-11 Julien Moutinhomachine: improve comments
2021-07-11 Julien Moutinhomore on failures
2021-07-11 Julien Moutinhogrammar: sort symantics by name
2021-07-11 Julien Moutinhotest: dump splices using TH.runQ instead of calling ghc
2021-07-11 Julien Moutinhofix: use a global polyfix for defLet and defRef
2021-07-11 Julien Moutinhobug: a ref outside its def must be supported
2021-07-11 Julien Moutinhomachine: map exceptionStack by label
2021-02-01 Julien Moutinhotest: hide unique names for reproductibility
2021-01-31 Julien MoutinhoRename Machine.{Build => Program}
2021-01-31 Julien MoutinhoReorganize Comb and Instr optimizations
2021-01-30 Julien Moutinhogrammar: open the Comb data-type
2021-01-16 Julien Moutinhostick to ParsleyHaskell's optimizations, except on...
2021-01-06 Julien Moutinhomachine: rename InstrPure{Haskell => }
2021-01-06 Julien Moutinhogrammar: rename Parser.{Haskell => Grammar.Pure}
2021-01-04 Julien Moutinhomachine: add horizon optimization
2021-01-01 Julien Moutinhorename Parser.{Staging => Haskell}
2020-12-29 Julien Moutinhoadd farthest position heuristic for parsing error messages
2020-12-03 Julien MoutinhoAdd runParser
2020-11-12 Julien Moutinhobump to ghc-9.0.1 to get a levity-polymorphic CodeQ
2020-10-22 Julien MoutinhoFix DumpInstr
2020-10-21 Julien MoutinhoPolish code and dumps
2020-10-21 Julien MoutinhoAdd missing file
2020-10-20 Julien MoutinhoReformat comments
2020-10-20 Julien MoutinhoRemove unused extensions
2020-10-20 Julien MoutinhoAdd a precision in a comment
2020-10-20 Julien MoutinhoRemove dependency upon symantic-base
2020-10-20 Julien MoutinhoFix infinite loop in observeSharing
2020-10-15 Julien MoutinhoRename many things and continue Instr interpretation
2020-10-14 Julien MoutinhoTrace and organize grammar optimizing rules
2020-10-14 Julien MoutinhoAdd more Comb -> Instr translations
2020-10-13 Julien MoutinhoDraft transformation: Grammar -> Automaton
2020-10-12 Julien MoutinhoPolish
2020-10-12 Julien MoutinhoRename Unlift to Output
2020-10-12 Julien MoutinhoGeneralize Liftable with Trans
2020-10-12 Julien MoutinhoExtract Letable into generic module
2020-10-11 Julien Moutinhointroducing def and ref
2020-10-10 Julien Moutinhowip
2020-10-10 Julien Moutinhoadd GramDump and migrate to HLS
2020-10-08 Julien MoutinhoRemove unsafePerformIO to get StableName-s
2020-10-08 Julien MoutinhoStart to document grammar combinators
2020-10-06 Julien Moutinhowip
2020-09-29 Julien Moutinhowip
2020-09-21 Julien Moutinhoinit