git.iko.soy/Idris-dev
on cb005bc help sign in
history ofsrc/IRTS/CodegenJavaScript.hs
all commits
5d5baa3javascript: experimental backend compiles hello worldraichoo 67f7373Support builds that doesn't use cabal for libs and rtsniklas cc9b104Add a prim__systemInfo primitive.niklas 6db171cCall mainFun even if window and document aren't definedJosh Vera a68c5fajavascript: fix elimination of conditions #1192raichoo ec562e9javascript: remove some more constructorsraichoo 7c8a6b9javascript: inline conditionsraichoo 3e286a3javascript: removeIDs should remove nested identitiesraichoo 40ca338javascript: add plenty of bits primitivesraichoo 26d7d2bjavascript: switch Bits support to UintArraysraichoo 3f40461javascript: make folding002 passraichoo a461b62javascript: make bounded001 passraichoo b3bf583javascript: initial Bits16 supportraichoo 64f7716javascript: initial Bits8 supportraichoo 126fbbcjavascript: collapse noop conditionalsraichoo f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady ce2f85fjavascript: quick & dirty compile time error on invalid FFIraichoo 312967ajavascript: add time functionraichoo 3ccbc55javascript: remove overlapping caseraichoo 2364435whitespaceraichoo b96f713javascript: do not include jsbn if not neededraichoo 1a172b2javascript: add google closure annotations to ASTraichoo c353a68javascript: make FFI part of ASTraichoo e175b1ajavascript: use %include directive to include external javascript filesraichoo c847db7javascript: remove more continuationsraichoo 64f55f6javascript: remove empty evalraichoo f2e94fajavascript: inline assignmentsraichoo caf50ddjavascript: implemented eqPtrraichoo b44ae8bjavascript: simplified inlinerraichoo 84db89cjavascript: inline isNullraichoo 9ffb9b8javascript: added isNullraichoo ede6fc4javascript: added proper string translationraichoo de394f4javascript: re-enable optimizationsraichoo cb0f6f4javascript: adapt evaltc on table unfoldraichoo 4dba224javascript: adapt applytc on table unfoldraichoo 72c1c4ejavascript: adapt eval on table unfoldraichoo 83ae8c9javascript: adapt apply on table unfoldraichoo c4323fbjavascript: fix eliminateDeadbranches for conditionsraichoo 407cf60javascript: fix optimized eval and apply callsraichoo 0420433javascript: move constructor decl up after optimizationraichoo 8d55eaejavascript: compile if conditions with noopraichoo 211333cjavascript: revive APPLY optimizationraichoo 9a12d46javascript: revive EVAL optimization during codegenraichoo 6fe4238javascript: true else branchraichoo 9b45298javascript: add noopraichoo db43080javascript: disable all optimizations (temporary)raichoo b1c239dMerge branch 'typed-laziness' of github.com:idris-lang/Idris-dev into typed-lazinessEdwin Brady ce4fef0Merge pull request #875 from raichoo/javascriptEdwin Brady e89734djavascript: removed unoptimizable JSRawraichoo 82750fdjavascript: fix detection of constant constructorsraichoo