git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
da61891
help
sign in
history of
src/IRTS/CodegenJavaScript.hs
all commits
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
9836a07
Inlining - Evaluator now supports run-time terms
Edwin Brady
13 years ago
ffe8706
Null pointer primitive
Edward Amsden
13 years ago
10863bf
javascript: reduce bitint constants
raichoo
13 years ago
167e419
javascript: substitute projections
raichoo
13 years ago
16fe40d
javascript: remove identity functions
raichoo
13 years ago
24fb370
javascript: loop to reduce constructor
raichoo
13 years ago
dd10071
javascript: reduce more functions
raichoo
13 years ago
f2309dd
javascript: added jsident for identifiers
raichoo
13 years ago
549627c
javascript: switch to jsbn
raichoo
13 years ago
0efe215
javascript: reduce tailcalls for reduced functions
raichoo
13 years ago
8947a2e
javascript: reduce functions
raichoo
13 years ago
a15afc9
javascript: optimize arrays
raichoo
13 years ago
7ca1ca0
javascript: remove unused code
raichoo
13 years ago
270cbca
javascript: use strings for bigints to pervent overflow
raichoo
13 years ago
a976e30
javascript: inline new
raichoo
13 years ago
00272c5
javascript: ditch optimizer for simpler approach
raichoo
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