sourcephile
/
git
/
haskell
/
symantic-parser.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
doc: clarify the scope of HideName instances
[haskell/symantic-parser.git]
/
src
/
Symantic
/
Parser
/
Grammar
/
Optimize.hs
2023-09-15
Julien Moutinho
wip
blob
|
commitdiff
|
raw
2021-10-28
Julien Moutinho
build: update to `symantic-base >= 0.3`
blob
|
commitdiff
|
raw
|
diff to current
2021-10-08
Julien Moutinho
impl: update `symantic-base` dependency
blob
|
commitdiff
|
raw
|
diff to current
2021-08-05
Julien Moutinho
machine: remove horizonStack and experiment with always...
master
blob
|
commitdiff
|
raw
|
diff to current
2021-08-03
Julien Moutinho
rename {catcher => onException}
blob
|
commitdiff
|
raw
|
diff to current
2021-07-31
Julien Moutinho
change ShowLetName into HideableName
blob
|
commitdiff
|
raw
|
diff to current
2021-07-30
Julien Moutinho
machine: normalOrderReduction at the last moment
blob
|
commitdiff
|
raw
|
diff to current
2021-07-28
Julien Moutinho
add registers
blob
|
commitdiff
|
raw
|
diff to current
2021-07-16
Julien Moutinho
deps: bump to symantic-base 0.2
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
use symantic-base
symantic-parser-0.2.0.20210703
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
clean warnings
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
rename Symantic.{Univariant => Typed}
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
remove useless benchmarks
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
replace ValueCode by Production
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
more on failures
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
grammar: sort symantics by name
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
test: dump splices using TH.runQ instead of calling ghc
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
fix: use a global polyfix for defLet and defRef
blob
|
commitdiff
|
raw
|
diff to current
2021-01-31
Julien Moutinho
Rename Machine.{Build => Program}
blob
|
commitdiff
|
raw
|
diff to current
2021-01-31
Julien Moutinho
Reorganize Comb and Instr optimizations
blob
|
commitdiff
|
raw
|
diff to current
2021-01-30
Julien Moutinho
grammar: open the Comb data-type
blob
|
commitdiff
|
raw
|
diff to current
2021-01-16
Julien Moutinho
stick to ParsleyHaskell's optimizations, except on...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-06
Julien Moutinho
grammar: rename Parser.{Haskell => Grammar.Pure}
blob
|
commitdiff
|
raw
|
diff to current
2021-01-01
Julien Moutinho
rename Parser.{Staging => Haskell}
blob
|
commitdiff
|
raw
|
diff to current
2020-12-29
Julien Moutinho
add farthest position heuristic for parsing error messages
blob
|
commitdiff
|
raw
|
diff to current
2020-12-03
Julien Moutinho
Add runParser
blob
|
commitdiff
|
raw
|
diff to current
2020-11-12
Julien Moutinho
bump to ghc-9.0.1 to get a levity-polymorphic CodeQ
blob
|
commitdiff
|
raw
|
diff to current
2020-10-21
Julien Moutinho
Polish code and dumps
blob
|
commitdiff
|
raw
|
diff to current
2020-10-20
Julien Moutinho
Remove unused extensions
blob
|
commitdiff
|
raw
|
diff to current
2020-10-20
Julien Moutinho
Add a precision in a comment
blob
|
commitdiff
|
raw
|
diff to current
2020-10-20
Julien Moutinho
Fix infinite loop in observeSharing
blob
|
commitdiff
|
raw
|
diff to current
2020-10-15
Julien Moutinho
Rename many things and continue Instr interpretation
blob
|
commitdiff
|
raw
|
diff to current
2020-10-14
Julien Moutinho
Trace and organize grammar optimizing rules
blob
|
commitdiff
|
raw
|
diff to current
2020-10-14
Julien Moutinho
Add more Comb -> Instr translations
blob
|
commitdiff
|
raw
|
diff to current
2020-10-12
Julien Moutinho
Polish
blob
|
commitdiff
|
raw
|
diff to current
2020-10-12
Julien Moutinho
Rename Unlift to Output
blob
|
commitdiff
|
raw
|
diff to current
2020-10-12
Julien Moutinho
Generalize Liftable with Trans
blob
|
commitdiff
|
raw
|
diff to current
2020-10-12
Julien Moutinho
Extract Letable into generic module
blob
|
commitdiff
|
raw
|
diff to current
2020-10-11
Julien Moutinho
introducing def and ref
blob
|
commitdiff
|
raw
|
diff to current