sourcephile
/
git
/
haskell
/
symantic-parser.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix required GHC version
[haskell/symantic-parser.git]
/
src
/
2021-01-01
Julien Moutinho
rename Parser.{Staging => Haskell}
tree
|
commitdiff
2021-01-01
Julien Moutinho
rename Machine.{Gen => Generate}
tree
|
commitdiff
2021-01-01
Julien Moutinho
add join-points
tree
|
commitdiff
2021-01-01
Julien Moutinho
move runParser to Parser
tree
|
commitdiff
2021-01-01
Julien Moutinho
rename Machine.{Eval => Gen}
tree
|
commitdiff
2020-12-30
Julien Moutinho
remove Hints draft
tree
|
commitdiff
2020-12-30
Julien Moutinho
rename {Automaton => Machine}
tree
|
commitdiff
2020-12-30
Julien Moutinho
rename {Label => LetName}
tree
|
commitdiff
2020-12-29
Julien Moutinho
add farthest position heuristic for parsing error messages
tree
|
commitdiff
2020-12-03
Julien Moutinho
Add runParser
tree
|
commitdiff
2020-11-12
Julien Moutinho
add Automaton inputs and evaluation
tree
|
commitdiff
2020-11-12
Julien Moutinho
bump to ghc-9.0.1 to get a levity-polymorphic CodeQ
tree
|
commitdiff
2020-10-22
Julien Moutinho
Fix DumpInstr
tree
|
commitdiff
2020-10-21
Julien Moutinho
Add first golden tests for the Automaton
tree
|
commitdiff
2020-10-21
Julien Moutinho
Polish code and dumps
tree
|
commitdiff
2020-10-21
Julien Moutinho
Add missing file
tree
|
commitdiff
2020-10-20
Julien Moutinho
Reformat comments
tree
|
commitdiff
2020-10-20
Julien Moutinho
Remove unused extensions
tree
|
commitdiff
2020-10-20
Julien Moutinho
Add a precision in a comment
tree
|
commitdiff
2020-10-20
Julien Moutinho
Remove dependency upon symantic-base
tree
|
commitdiff
2020-10-20
Julien Moutinho
Fix infinite loop in observeSharing
tree
|
commitdiff
2020-10-15
Julien Moutinho
Rename many things and continue Instr interpretation
tree
|
commitdiff
2020-10-14
Julien Moutinho
Trace and organize grammar optimizing rules
tree
|
commitdiff
2020-10-14
Julien Moutinho
Add more Comb -> Instr translations
tree
|
commitdiff
2020-10-13
Julien Moutinho
Draft transformation: Grammar -> Automaton
tree
|
commitdiff
2020-10-12
Julien Moutinho
Polish
tree
|
commitdiff
2020-10-12
Julien Moutinho
Rename Unlift to Output
tree
|
commitdiff
2020-10-12
Julien Moutinho
Generalize Liftable with Trans
tree
|
commitdiff
2020-10-12
Julien Moutinho
Extract Letable into generic module
tree
|
commitdiff
2020-10-11
Julien Moutinho
introducing def and ref
tree
|
commitdiff
2020-10-10
Julien Moutinho
wip
tree
|
commitdiff
2020-10-10
Julien Moutinho
add GramDump and migrate to HLS
tree
|
commitdiff
2020-10-08
Julien Moutinho
Remove unsafePerformIO to get StableName-s
tree
|
commitdiff
2020-10-08
Julien Moutinho
Start to document grammar combinators
tree
|
commitdiff
2020-10-06
Julien Moutinho
wip
tree
|
commitdiff
2020-09-29
Julien Moutinho
wip
tree
|
commitdiff
2020-09-21
Julien Moutinho
init
tree
|
commitdiff