sourcephile
/
git
/
haskell
/
symantic-parser.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
machine: normalOrderReduction at the last moment
[haskell/symantic-parser.git]
/
src
/
Symantic
/
Parser
/
Machine
/
2021-07-30
Julien Moutinho
machine: normalOrderReduction at the last moment
tree
|
commitdiff
2021-07-28
Julien Moutinho
machine: fix recursion ending
tree
|
commitdiff
2021-07-28
Julien Moutinho
add registers
tree
|
commitdiff
2021-07-16
Julien Moutinho
deps: bump to symantic-base 0.2
tree
|
commitdiff
2021-07-11
Julien Moutinho
use symantic-base
symantic-parser-0.2.0.20210703
tree
|
commitdiff
2021-07-11
Julien Moutinho
grammar: fix Ord SomeFailure
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: optimize ifThenElse on constant
tree
|
commitdiff
2021-07-11
Julien Moutinho
clean warnings
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: add another joinNext optimization when Jump...
tree
|
commitdiff
2021-07-11
Julien Moutinho
rename Symantic.{Univariant => Typed}
tree
|
commitdiff
2021-07-11
Julien Moutinho
remove useless benchmarks
tree
|
commitdiff
2021-07-11
Julien Moutinho
replace ValueCode by Production
tree
|
commitdiff
2021-07-11
Julien Moutinho
add benchmarks
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: improve comments
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: fix view and output
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: fix factorize out raiseException
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: fix mayRaise analysis of catch
tree
|
commitdiff
2021-07-11
Julien Moutinho
more on failures
tree
|
commitdiff
2021-07-11
Julien Moutinho
grammar: sort symantics by name
tree
|
commitdiff
2021-07-11
Julien Moutinho
test: dump splices using TH.runQ instead of calling ghc
tree
|
commitdiff
2021-07-11
Julien Moutinho
fix: use a global polyfix for defLet and defRef
tree
|
commitdiff
2021-07-11
Julien Moutinho
bug: a ref outside its def must be supported
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: renames trying to clarify
tree
|
commitdiff
2021-07-11
Julien Moutinho
machine: map exceptionStack by label
tree
|
commitdiff
2021-07-11
Julien Moutinho
doc: polish
tree
|
commitdiff
2021-02-01
Julien Moutinho
doc: update ToDo
symantic-parser-0.1.0.20210201
tree
|
commitdiff
2021-02-01
Julien Moutinho
machine: simplify a bit the horizon checking
tree
|
commitdiff
2021-02-01
Julien Moutinho
test: hide unique names for reproductibility
tree
|
commitdiff
2021-01-31
Julien Moutinho
Rename Machine.{Build => Program}
tree
|
commitdiff
2021-01-31
Julien Moutinho
Reorganize Comb and Instr optimizations
tree
|
commitdiff
2021-01-30
Julien Moutinho
grammar: open the Comb data-type
tree
|
commitdiff
2021-01-29
Julien Moutinho
machine: open the Instr data-type
tree
|
commitdiff
2021-01-17
Julien Moutinho
Document a bit more the horizon checks
tree
|
commitdiff
2021-01-16
Julien Moutinho
stick to ParsleyHaskell's optimizations, except on...
tree
|
commitdiff
2021-01-06
Julien Moutinho
machine: rename InstrPure{Haskell => }
tree
|
commitdiff
2021-01-06
Julien Moutinho
grammar: rename Parser.{Haskell => Grammar.Pure}
tree
|
commitdiff
2021-01-04
Julien Moutinho
machine: add horizon optimization
tree
|
commitdiff
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