haskell/symantic-parser.git
2021-08-05 Julien Moutinhomachine: remove horizonStack and experiment with always... master
2021-08-03 Julien Moutinhorename {catcher => onException}
2021-08-02 Julien Moutinhomachine: make failure be minReads=0
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-16 Julien Moutinhodoc: update
2021-07-12 Julien Moutinhodoc: fix license and {def => shareable}
2021-07-11 Julien Moutinhodoc: fix reference to Symantic.Typed
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 Moutinhocabal: clean up
2021-07-11 Julien Moutinhoparsers: commit missing file
2021-07-11 Julien Moutinhobump version
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 Moutinhomachine: add another joinNext optimization when Jump...
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 Moutinhodoc: improve a bit the ReadMe.md
2021-07-11 Julien MoutinhoTemplateHaskell: why is PprSplice much faster than...
2021-07-11 Julien Moutinhoadd benchmarks
2021-07-11 Julien Moutinhonix: cleanup
2021-07-11 Julien Moutinhotest: update
2021-07-11 Julien Moutinhomachine: improve comments
2021-07-11 Julien Moutinhomachine: fix view and output
2021-07-11 Julien Moutinhomachine: fix factorize out raiseException
2021-07-11 Julien Moutinhomachine: fix mayRaise analysis of catch
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 Moutinhotest: add goldens for TH splices
2021-07-11 Julien Moutinhonix: update nixpkgs to use cabal-install 3.4
2021-07-11 Julien Moutinhomachine: renames trying to clarify
2021-07-11 Julien Moutinhomachine: map exceptionStack by label
2021-07-11 Julien Moutinhodoc: polish
2021-07-11 Julien Moutinhochange license to AGPL-3.0-or-later
2021-02-01 Julien Moutinhodoc: update ToDo symantic-parser-0.1.0.20210201
2021-02-01 Julien Moutinhotest: mute unused-* warnings in TH splices
2021-02-01 Julien Moutinhomachine: simplify a bit the horizon checking
2021-02-01 Julien Moutinhotest: hide unique names for reproductibility
2021-02-01 Julien Moutinhotest: sync
2021-01-31 Julien MoutinhoRename Machine.{Build => Program}
2021-01-31 Julien MoutinhoReorganize Comb and Instr optimizations
2021-01-31 Julien Moutinhodoc: update the ReadMe and ChangeLog
2021-01-30 Julien Moutinhogrammar: open the Comb data-type
2021-01-29 Julien Moutinhomachine: open the Instr data-type
2021-01-22 Julien Moutinhotest: unique names changed again
2021-01-22 Julien Moutinhoprepare testing splices, but cabal-install-3.4 does...
2021-01-17 Julien MoutinhoDocument a bit more the horizon checks
2021-01-16 Julien Moutinhostick to ParsleyHaskell's optimizations, except on...
2021-01-09 Julien Moutinhotest: save
2021-01-08 Julien Moutinhotest: save
2021-01-08 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
next