sourcephile
/
git
/
haskell
/
symantic-parser.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
haskell/symantic-parser.git
2021-07-11
Julien Moutinho
machine: add another joinNext optimization when Jump...
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
rename Symantic.{Univariant => Typed}
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
remove useless benchmarks
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
replace ValueCode by Production
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
doc: improve a bit the ReadMe.md
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
TemplateHaskell: why is PprSplice much faster than...
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
add benchmarks
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
nix: cleanup
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
test: update
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
machine: improve comments
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
machine: fix view and output
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
machine: fix factorize out raiseException
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
machine: fix mayRaise analysis of catch
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
more on failures
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
grammar: sort symantics by name
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
test: dump splices using TH.runQ instead of calling ghc
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
fix: use a global polyfix for defLet and defRef
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
bug: a ref outside its def must be supported
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
test: add goldens for TH splices
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
nix: update nixpkgs to use cabal-install 3.4
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
machine: renames trying to clarify
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
machine: map exceptionStack by label
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
doc: polish
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Julien Moutinho
change license to AGPL-3.0-or-later
commit
|
commitdiff
|
tree
|
snapshot
2021-02-01
Julien Moutinho
doc: update ToDo
symantic-parser-0.1.0.20210201
commit
|
commitdiff
|
tree
|
snapshot
2021-02-01
Julien Moutinho
test: mute unused-* warnings in TH splices
commit
|
commitdiff
|
tree
|
snapshot
2021-02-01
Julien Moutinho
machine: simplify a bit the horizon checking
commit
|
commitdiff
|
tree
|
snapshot
2021-02-01
Julien Moutinho
test: hide unique names for reproductibility
commit
|
commitdiff
|
tree
|
snapshot
2021-02-01
Julien Moutinho
test: sync
commit
|
commitdiff
|
tree
|
snapshot
2021-01-31
Julien Moutinho
Rename Machine.{Build => Program}
commit
|
commitdiff
|
tree
|
snapshot
2021-01-31
Julien Moutinho
Reorganize Comb and Instr optimizations
commit
|
commitdiff
|
tree
|
snapshot
2021-01-31
Julien Moutinho
doc: update the ReadMe and ChangeLog
commit
|
commitdiff
|
tree
|
snapshot
2021-01-30
Julien Moutinho
grammar: open the Comb data-type
commit
|
commitdiff
|
tree
|
snapshot
2021-01-29
Julien Moutinho
machine: open the Instr data-type
commit
|
commitdiff
|
tree
|
snapshot
2021-01-22
Julien Moutinho
test: unique names changed again
commit
|
commitdiff
|
tree
|
snapshot
2021-01-22
Julien Moutinho
prepare testing splices, but cabal-install-3.4 does...
commit
|
commitdiff
|
tree
|
snapshot
2021-01-17
Julien Moutinho
Document a bit more the horizon checks
commit
|
commitdiff
|
tree
|
snapshot
2021-01-16
Julien Moutinho
stick to ParsleyHaskell's optimizations, except on...
commit
|
commitdiff
|
tree
|
snapshot
2021-01-09
Julien Moutinho
test: save
commit
|
commitdiff
|
tree
|
snapshot
2021-01-08
Julien Moutinho
test: save
commit
|
commitdiff
|
tree
|
snapshot
2021-01-08
Julien Moutinho
test: save
commit
|
commitdiff
|
tree
|
snapshot
2021-01-06
Julien Moutinho
machine: rename InstrPure{Haskell => }
commit
|
commitdiff
|
tree
|
snapshot
2021-01-06
Julien Moutinho
test: add Nandlang parser
commit
|
commitdiff
|
tree
|
snapshot
2021-01-06
Julien Moutinho
test: add string
commit
|
commitdiff
|
tree
|
snapshot
2021-01-06
Julien Moutinho
grammar: rename Parser.{Haskell => Grammar.Pure}
commit
|
commitdiff
|
tree
|
snapshot
2021-01-04
Julien Moutinho
machine: add horizon optimization
commit
|
commitdiff
|
tree
|
snapshot
2021-01-02
Julien Moutinho
add missing golden tests in cabal tarball
symantic-parser-0.0.0.20210102
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
move doc in *.md files
symantic-parser-0.0.0.20210101
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
polishing before first publising
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
rename cabal flag dump-splice{ => s}
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
improve make upload
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
add more Nix conveniencies
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
fix required GHC version
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
add make clean
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
remove unneeded dependency
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
ignore result*
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
ignore dump-core/
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
set cabal category to Parsing (like megaparsec)
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
fix make tag
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
rename Parser.{Staging => Haskell}
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
clean up Nix code
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
comment-out unstable golden tests
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
prepare cabal metadata for hackage upload
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
fix cabal metadata
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
add cabal flag 'dump-core'
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
rename Machine.{Gen => Generate}
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
add join-points
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
move runParser to Parser
commit
|
commitdiff
|
tree
|
snapshot
2021-01-01
Julien Moutinho
rename Machine.{Eval => Gen}
commit
|
commitdiff
|
tree
|
snapshot
2020-12-30
Julien Moutinho
remove Hints draft
commit
|
commitdiff
|
tree
|
snapshot
2020-12-30
Julien Moutinho
rename {Automaton => Machine}
commit
|
commitdiff
|
tree
|
snapshot
2020-12-30
Julien Moutinho
add missing tests
commit
|
commitdiff
|
tree
|
snapshot
2020-12-30
Julien Moutinho
rename {Label => LetName}
commit
|
commitdiff
|
tree
|
snapshot
2020-12-29
Julien Moutinho
add farthest position heuristic for parsing error messages
commit
|
commitdiff
|
tree
|
snapshot
2020-12-03
Julien Moutinho
Add runParser
commit
|
commitdiff
|
tree
|
snapshot
2020-11-12
Julien Moutinho
add Automaton inputs and evaluation
commit
|
commitdiff
|
tree
|
snapshot
2020-11-12
Julien Moutinho
bump to ghc-9.0.1 to get a levity-polymorphic CodeQ
commit
|
commitdiff
|
tree
|
snapshot
2020-10-22
Julien Moutinho
Fix DumpInstr
commit
|
commitdiff
|
tree
|
snapshot
2020-10-21
Julien Moutinho
Add first golden tests for the Automaton
commit
|
commitdiff
|
tree
|
snapshot
2020-10-21
Julien Moutinho
Polish code and dumps
commit
|
commitdiff
|
tree
|
snapshot
2020-10-21
Julien Moutinho
Add missing file
commit
|
commitdiff
|
tree
|
snapshot
2020-10-20
Julien Moutinho
Reformat comments
commit
|
commitdiff
|
tree
|
snapshot
2020-10-20
Julien Moutinho
Remove unused extensions
commit
|
commitdiff
|
tree
|
snapshot
2020-10-20
Julien Moutinho
Add a precision in a comment
commit
|
commitdiff
|
tree
|
snapshot
2020-10-20
Julien Moutinho
Remove dependency upon symantic-base
commit
|
commitdiff
|
tree
|
snapshot
2020-10-20
Julien Moutinho
Remove old stack config
commit
|
commitdiff
|
tree
|
snapshot
2020-10-20
Julien Moutinho
Fix infinite loop in observeSharing
commit
|
commitdiff
|
tree
|
snapshot
2020-10-15
Julien Moutinho
Rename many things and continue Instr interpretation
commit
|
commitdiff
|
tree
|
snapshot
2020-10-14
Julien Moutinho
Trace and organize grammar optimizing rules
commit
|
commitdiff
|
tree
|
snapshot
2020-10-14
Julien Moutinho
Add more Comb -> Instr translations
commit
|
commitdiff
|
tree
|
snapshot
2020-10-13
Julien Moutinho
Draft transformation: Grammar -> Automaton
commit
|
commitdiff
|
tree
|
snapshot
2020-10-12
Julien Moutinho
Polish
commit
|
commitdiff
|
tree
|
snapshot
2020-10-12
Julien Moutinho
Rename Unlift to Output
commit
|
commitdiff
|
tree
|
snapshot
2020-10-12
Julien Moutinho
Generalize Liftable with Trans
commit
|
commitdiff
|
tree
|
snapshot
2020-10-12
Julien Moutinho
Extract Letable into generic module
commit
|
commitdiff
|
tree
|
snapshot
2020-10-11
Julien Moutinho
introducing def and ref
commit
|
commitdiff
|
tree
|
snapshot
2020-10-10
Julien Moutinho
wip
commit
|
commitdiff
|
tree
|
snapshot
2020-10-10
Julien Moutinho
add GramDump and migrate to HLS
commit
|
commitdiff
|
tree
|
snapshot
2020-10-08
Julien Moutinho
Remove unsafePerformIO to get StableName-s
commit
|
commitdiff
|
tree
|
snapshot
2020-10-08
Julien Moutinho
Start to document grammar combinators
commit
|
commitdiff
|
tree
|
snapshot
next