haskell/symantic-parser.git
5 days ago Julien Moutinhostick to ParsleyHaskell's optimizations, except on... master
12 days ago Julien Moutinhotest: save
13 days ago Julien Moutinhotest: save
13 days ago Julien Moutinhotest: save
2021-01-06 Julien Moutinhomachine: rename InstrPure{Haskell => }
2021-01-06 Julien Moutinhotest: add Nandlang parser
2021-01-06 Julien Moutinhotest: add string
2021-01-06 Julien Moutinhogrammar: rename Parser.{Haskell => Grammar.Pure}
2021-01-04 Julien Moutinhomachine: add horizon optimization
2021-01-02 Julien Moutinhoadd missing golden tests in cabal tarball symantic-parser-0.0.0.20210102
2021-01-01 Julien Moutinhomove doc in *.md files symantic-parser-0.0.0.20210101
2021-01-01 Julien Moutinhopolishing before first publising
2021-01-01 Julien Moutinhorename cabal flag dump-splice{ => s}
2021-01-01 Julien Moutinhoimprove make upload
2021-01-01 Julien Moutinhoadd more Nix conveniencies
2021-01-01 Julien Moutinhofix required GHC version
2021-01-01 Julien Moutinhoadd make clean
2021-01-01 Julien Moutinhoremove unneeded dependency
2021-01-01 Julien Moutinhoignore result*
2021-01-01 Julien Moutinhoignore dump-core/
2021-01-01 Julien Moutinhoset cabal category to Parsing (like megaparsec)
2021-01-01 Julien Moutinhofix make tag
2021-01-01 Julien Moutinhorename Parser.{Staging => Haskell}
2021-01-01 Julien Moutinhoclean up Nix code
2021-01-01 Julien Moutinhocomment-out unstable golden tests
2021-01-01 Julien Moutinhoprepare cabal metadata for hackage upload
2021-01-01 Julien Moutinhofix cabal metadata
2021-01-01 Julien Moutinhoadd cabal flag 'dump-core'
2021-01-01 Julien Moutinhorename Machine.{Gen => Generate}
2021-01-01 Julien Moutinhoadd join-points
2021-01-01 Julien Moutinhomove runParser to Parser
2021-01-01 Julien Moutinhorename Machine.{Eval => Gen}
2020-12-30 Julien Moutinhoremove Hints draft
2020-12-30 Julien Moutinhorename {Automaton => Machine}
2020-12-30 Julien Moutinhoadd missing tests
2020-12-30 Julien Moutinhorename {Label => LetName}
2020-12-29 Julien Moutinhoadd farthest position heuristic for parsing error messages
2020-12-03 Julien MoutinhoAdd runParser
2020-11-12 Julien Moutinhoadd Automaton inputs and evaluation
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 MoutinhoAdd first golden tests for the Automaton
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 MoutinhoRemove old stack config
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-07 Julien Moutinhoadd .envrc and .gitignore
2020-10-06 Julien Moutinhowip
2020-09-29 Julien Moutinhowip
2020-09-21 Julien Moutinhoinit