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
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
2020-10-07
Julien Moutinho
add .envrc and .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2020-10-06
Julien Moutinho
wip
commit
|
commitdiff
|
tree
|
snapshot
2020-09-29
Julien Moutinho
wip
commit
|
commitdiff
|
tree
|
snapshot
2020-09-21
Julien Moutinho
init
commit
|
commitdiff
|
tree
|
snapshot