sourcephile
/
git
/
haskell
/
symantic-parser.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
build: ghcid: run even with warnings
[haskell/symantic-parser.git]
/
src
/
Symantic
/
Parser
/
2023-09-15
Julien Moutinho
wip
tree
|
commitdiff
2022-08-23
Julien Moutinho
doc: fix typos
tree
|
commitdiff
2021-11-04
Julien Moutinho
wip
tree
|
commitdiff
2021-11-04
Julien Moutinho
legal: add license `BSD-3-Clause`
tree
|
commitdiff
2021-11-04
Julien Moutinho
impl: add attoparsec's Text.Buffer
tree
|
commitdiff
2021-10-28
Julien Moutinho
build: update to `symantic-base >= 0.3`
tree
|
commitdiff
2021-10-08
Julien Moutinho
impl: update `symantic-base` dependency
tree
|
commitdiff
2021-08-05
Julien Moutinho
machine: remove horizonStack and experiment with always...
master
tree
|
commitdiff
2021-08-03
Julien Moutinho
rename {catcher => onException}
tree
|
commitdiff
2021-08-02
Julien Moutinho
machine: make failure be minReads=0
tree
|
commitdiff
2021-07-31
Julien Moutinho
change ShowLetName into HideableName
tree
|
commitdiff
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
rename Output to Unlifted
tree
|
commitdiff
2021-07-11
Julien Moutinho
grammar: fix Ord SomeFailure
tree
|
commitdiff
2021-07-11
Julien Moutinho
grammar: add precedence to showCode
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
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