]> Git — Sourcephile - haskell/symantic-parser.git/history - src/Symantic
sourcephile / git / haskell / symantic-parser.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
nix: cleanup
[haskell/symantic-parser.git] / src / Symantic /
2021-07-11 Julien Moutinhomachine: improve comments tree | commitdiff
2021-07-11 Julien Moutinhomachine: fix view and output tree | commitdiff
2021-07-11 Julien Moutinhomachine: fix factorize out raiseException tree | commitdiff
2021-07-11 Julien Moutinhomachine: fix mayRaise analysis of catch tree | commitdiff
2021-07-11 Julien Moutinhomore on failures tree | commitdiff
2021-07-11 Julien Moutinhogrammar: sort symantics by name tree | commitdiff
2021-07-11 Julien Moutinhotest: dump splices using TH.runQ instead of calling ghc tree | commitdiff
2021-07-11 Julien Moutinhofix: use a global polyfix for defLet and defRef tree | commitdiff
2021-07-11 Julien Moutinhobug: a ref outside its def must be supported tree | commitdiff
2021-07-11 Julien Moutinhomachine: renames trying to clarify tree | commitdiff
2021-07-11 Julien Moutinhomachine: map exceptionStack by label tree | commitdiff
2021-07-11 Julien Moutinhodoc: polish tree | commitdiff
2021-02-01 Julien Moutinhodoc: update ToDo symantic-parser-0.1.0.20210201 tree | commitdiff
2021-02-01 Julien Moutinhomachine: simplify a bit the horizon checking tree | commitdiff
2021-02-01 Julien Moutinhotest: hide unique names for reproductibility tree | commitdiff
2021-01-31 Julien MoutinhoRename Machine.{Build => Program} tree | commitdiff
2021-01-31 Julien MoutinhoReorganize Comb and Instr optimizations tree | commitdiff
2021-01-30 Julien Moutinhogrammar: open the Comb data-type tree | commitdiff
2021-01-29 Julien Moutinhomachine: open the Instr data-type tree | commitdiff
2021-01-17 Julien MoutinhoDocument a bit more the horizon checks tree | commitdiff
2021-01-16 Julien Moutinhostick to ParsleyHaskell's optimizations, except on... tree | commitdiff
2021-01-06 Julien Moutinhomachine: rename InstrPure{Haskell => } tree | commitdiff
2021-01-06 Julien Moutinhogrammar: rename Parser.{Haskell => Grammar.Pure} tree | commitdiff
2021-01-04 Julien Moutinhomachine: add horizon optimization tree | commitdiff
2021-01-01 Julien Moutinhorename Parser.{Staging => Haskell} tree | commitdiff
2021-01-01 Julien Moutinhorename Machine.{Gen => Generate} tree | commitdiff
2021-01-01 Julien Moutinhoadd join-points tree | commitdiff
2021-01-01 Julien Moutinhomove runParser to Parser tree | commitdiff
2021-01-01 Julien Moutinhorename Machine.{Eval => Gen} tree | commitdiff
2020-12-30 Julien Moutinhoremove Hints draft tree | commitdiff
2020-12-30 Julien Moutinhorename {Automaton => Machine} tree | commitdiff
2020-12-30 Julien Moutinhorename {Label => LetName} tree | commitdiff
2020-12-29 Julien Moutinhoadd farthest position heuristic for parsing error messages tree | commitdiff
2020-12-03 Julien MoutinhoAdd runParser tree | commitdiff
2020-11-12 Julien Moutinhoadd Automaton inputs and evaluation tree | commitdiff
2020-11-12 Julien Moutinhobump to ghc-9.0.1 to get a levity-polymorphic CodeQ tree | commitdiff
2020-10-22 Julien MoutinhoFix DumpInstr tree | commitdiff
2020-10-21 Julien MoutinhoAdd first golden tests for the Automaton tree | commitdiff
2020-10-21 Julien MoutinhoPolish code and dumps tree | commitdiff
2020-10-21 Julien MoutinhoAdd missing file tree | commitdiff
2020-10-20 Julien MoutinhoReformat comments tree | commitdiff
2020-10-20 Julien MoutinhoRemove unused extensions tree | commitdiff
2020-10-20 Julien MoutinhoAdd a precision in a comment tree | commitdiff
2020-10-20 Julien MoutinhoRemove dependency upon symantic-base tree | commitdiff
2020-10-20 Julien MoutinhoFix infinite loop in observeSharing tree | commitdiff
2020-10-15 Julien MoutinhoRename many things and continue Instr interpretation tree | commitdiff
2020-10-14 Julien MoutinhoTrace and organize grammar optimizing rules tree | commitdiff
2020-10-14 Julien MoutinhoAdd more Comb -> Instr translations tree | commitdiff
2020-10-13 Julien MoutinhoDraft transformation: Grammar -> Automaton tree | commitdiff
2020-10-12 Julien MoutinhoPolish tree | commitdiff
2020-10-12 Julien MoutinhoRename Unlift to Output tree | commitdiff
2020-10-12 Julien MoutinhoGeneralize Liftable with Trans tree | commitdiff
2020-10-12 Julien MoutinhoExtract Letable into generic module tree | commitdiff
2020-10-11 Julien Moutinhointroducing def and ref tree | commitdiff
2020-10-10 Julien Moutinhowip tree | commitdiff
2020-10-10 Julien Moutinhoadd GramDump and migrate to HLS tree | commitdiff
2020-10-08 Julien MoutinhoRemove unsafePerformIO to get StableName-s tree | commitdiff
2020-10-08 Julien MoutinhoStart to document grammar combinators tree | commitdiff
2020-10-06 Julien Moutinhowip tree | commitdiff
2020-09-29 Julien Moutinhowip tree | commitdiff
2020-09-21 Julien Moutinhoinit tree | commitdiff
Library for parsing