git.iko.soy/Idris-dev
on 71bdbbb help sign in
history ofsrc/IRTS/CodegenJavaScript.hs
all commits
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 96f81b3javascript: strTail could not be optimized properlyraichoo d3f3fe5javascript: remove redundant local constructorsraichoo 8561f75Execute JavaScript output after DOMContentLoadedBrian McKenna b98b1f3javascript: recognize more redundant continuationsraichoo 43828d9javascript: collapse nested continuationsraichoo 27c5ac6javascript: collapse continuationsraichoo d700f08javascript: collapse continuationsraichoo 1a3acbejavascript: collapse some more tailcallsraichoo