git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
src/IRTS/CodegenJavaScript.hs
all commits
2364435
whitespace
raichoo
13 years ago
b96f713
javascript: do not include jsbn if not needed
raichoo
13 years ago
1a172b2
javascript: add google closure annotations to AST
raichoo
13 years ago
c353a68
javascript: make FFI part of AST
raichoo
13 years ago
e175b1a
javascript: use %include directive to include external javascript files
raichoo
13 years ago
c847db7
javascript: remove more continuations
raichoo
13 years ago
64f55f6
javascript: remove empty eval
raichoo
13 years ago
f2e94fa
javascript: inline assignments
raichoo
13 years ago
caf50dd
javascript: implemented eqPtr
raichoo
13 years ago
b44ae8b
javascript: simplified inliner
raichoo
13 years ago
84db89c
javascript: inline isNull
raichoo
13 years ago
9ffb9b8
javascript: added isNull
raichoo
13 years ago
ede6fc4
javascript: added proper string translation
raichoo
13 years ago
de394f4
javascript: re-enable optimizations
raichoo
13 years ago
cb0f6f4
javascript: adapt evaltc on table unfold
raichoo
13 years ago
4dba224
javascript: adapt applytc on table unfold
raichoo
13 years ago
72c1c4e
javascript: adapt eval on table unfold
raichoo
13 years ago
83ae8c9
javascript: adapt apply on table unfold
raichoo
13 years ago
c4323fb
javascript: fix eliminateDeadbranches for conditions
raichoo
13 years ago
407cf60
javascript: fix optimized eval and apply calls
raichoo
13 years ago
0420433
javascript: move constructor decl up after optimization
raichoo
13 years ago
8d55eae
javascript: compile if conditions with noop
raichoo
13 years ago
211333c
javascript: revive APPLY optimization
raichoo
13 years ago
9a12d46
javascript: revive EVAL optimization during codegen
raichoo
13 years ago
6fe4238
javascript: true else branch
raichoo
13 years ago
9b45298
javascript: add noop
raichoo
13 years ago
db43080
javascript: disable all optimizations (temporary)
raichoo
13 years ago
b1c239d
Merge branch 'typed-laziness' of github.com:idris-lang/Idris-dev into typed-laziness
Edwin Brady
13 years ago
ce4fef0
Merge pull request #875 from raichoo/javascript
Edwin Brady
13 years ago
e89734d
javascript: removed unoptimizable JSRaw
raichoo
13 years ago
82750fd
javascript: fix detection of constant constructors
raichoo
13 years ago
96f81b3
javascript: strTail could not be optimized properly
raichoo
13 years ago
d3f3fe5
javascript: remove redundant local constructors
raichoo
13 years ago
8561f75
Execute JavaScript output after DOMContentLoaded
Brian McKenna
13 years ago
b98b1f3
javascript: recognize more redundant continuations
raichoo
13 years ago
43828d9
javascript: collapse nested continuations
raichoo
13 years ago
27c5ac6
javascript: collapse continuations
raichoo
13 years ago
d700f08
javascript: collapse continuations
raichoo
13 years ago
1a3acbe
javascript: collapse some more tailcalls
raichoo
13 years ago
64ce1b8
javascript: eval constructors during compiletime
raichoo
13 years ago
67a5dce
javascript: init local constructors
raichoo
13 years ago
2ac38b8
javascript: inline more functions
raichoo
13 years ago
f33f1d8
javascript: decouple lookuptablenames
raichoo
13 years ago
d033452
javascript: added ctr namespace
raichoo
13 years ago
0793991
javascript: make unfoldLookupTable work
raichoo
13 years ago
f182cf2
javascript: moved EVALTC and APPLYTC into codegen
raichoo
13 years ago
2b44cd9
javascript: JSWhile
raichoo
13 years ago
55e7f26
javascript: unfoldLookupTable
raichoo
13 years ago
a80f29a
javascript: added JSPreOp and JSPostOp
raichoo
13 years ago
9f69c8d
javascript: rename JSOp into JSBinOp
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