git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
src/IRTS/CodegenJavaScript.hs
all commits
aa623f9
javascript: move Con and Cont into codegen
raichoo
13 years ago
9d3ea3d
javascript: inline more functions
raichoo
13 years ago
9e9e6cc
javascript: inline more functions
raichoo
13 years ago
064e6d1
javascript: JSNull is a constant
raichoo
13 years ago
88e5823
javascript: remove redundant continuations
raichoo
13 years ago
4070d2b
javascript: inline simple functions
raichoo
13 years ago
4f4aea2
javascript: inline more constructors
raichoo
13 years ago
3177b98
javascript: make use of inliner
raichoo
13 years ago
cf0ef4f
javascript: refactor inliner
raichoo
13 years ago
3a86b7c
javascript: added foldJS
raichoo
13 years ago
0b2cb6e
javascript: refactor
raichoo
13 years ago
108d258
javascript: remove duplicated code
raichoo
13 years ago
fed330e
javascript: inline some missed cases
raichoo
13 years ago
956a6df
javascript: remove redundant eval on ops
raichoo
13 years ago
54b959e
javascript: optimize branches
raichoo
13 years ago
c5ad26a
javascript: whitespace
raichoo
13 years ago
e0288fd
javascript: better error representation
raichoo
13 years ago
b173d58
javascript: remove jsobject
raichoo
13 years ago
0e17c90
javascript: inline some missed cases
raichoo
13 years ago
1419f45
javascript: allow more inlining
raichoo
13 years ago
621f8c1
javascript: remove redundant instanceof checks
raichoo
13 years ago
6a1e21e
javascript: optimize apply tailcalls
raichoo
13 years ago
dac0a39
javascript: optimize eval tailcalls
raichoo
13 years ago
9349d9c
javascript: elim some duplicate evals
raichoo
13 years ago
d37c3d4
javascript: improved jsSubst
raichoo
13 years ago
33f8c83
javascript: elim dead cases in a loop
raichoo
13 years ago
69965ef
javascript: inliner does not increase performance as expected
raichoo
13 years ago
098ba50
javascript: more inliner experiments
raichoo
13 years ago
4b6d184
javascript: more work on inliner
raichoo
13 years ago
36204f6
javascript: initial code for function inliner
raichoo
13 years ago
566648c
javascript: main and invokeLoop as JS
raichoo
13 years ago
cb1fab7
javascript: eliminate dead cases
raichoo
13 years ago
ae0ec82
javascript: translateDeclaration should not return JSSeq
raichoo
13 years ago
8dd968f
javascript: smarter inliner
raichoo
13 years ago
019ba6e
javascript: cleaned up
raichoo
13 years ago
b059c08
javascript: remove allocations
raichoo
13 years ago
c8c2088
javascript: tiny APPLY refactoring
raichoo
13 years ago
27d9d70
javascript: reduce initializations in generated code
raichoo
13 years ago
addaeec
i|javascript: make inliner more aggressive
raichoo
13 years ago
f5cad0d
whitespaces
raichoo
13 years ago
bee7fc8
Merge pull request #785 from raichoo/javascript
Edwin Brady
13 years ago
10b971c
javascript: temporary workaround to fix some issues with chars
raichoo
13 years ago
2b55660
javascript: inline apply calls
raichoo
13 years ago
d0d3088
javascript: inline constants in EVAL
raichoo
13 years ago
46ac3d0
javascript: added cases to optimizer
raichoo
13 years ago
31f2014
javascript: remove redundant var decls
raichoo
13 years ago
cd20320
javascript: smarter compilation of conditionals
raichoo
13 years ago
46e894d
Use Data.Text for variable names
Edwin Brady
13 years ago
5000aeb
Add a Cabal library
Brian McKenna
13 years ago
3ebab66
Merge branch 'master' of github.com:edwinb/Idris-dev
Edwin Brady
13 years ago
newer commits
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list