git.iko.soy/Idris-dev
on d689c19 help sign in
history ofsrc/IRTS/CodegenJavaScript.hs
all commits
3109b51javascript: factor out translation of declsraichoo 108ee8ejavascript: refactored js codegenraichoo c2dce6cjavascript: refactoringraichoo b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai e449182javascript: add LZExtraichoo 42da36fjavascript: add match on ITCharraichoo 5e84e36javascript: fix namesraichoo b875c2fjavascript: remove broken optimizationraichoo 93af028javascript: optimize some primitive functionsraichoo 3e80ef5javascript: factor out runtime namespaceraichoo bd6a5e4javascript: fixed bug introduced through primitive unificationraichoo fa526e4javascript: get more out of google closureraichoo 773e454Make ChType a member of IntTy ITChar.Jan Bessai 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 3c34f40javascript: make node backend use shebangraichoo 39c45f9javascript: bigint compareraichoo 01984edjavascript: fixed primitive string reverseraichoo c999e14javascript: address fields directly via ['fieldname']raichoo 8a62d56javascript: handle arrays correctly in FFIraichoo e14541cjavascript: assign HOFs properlyraichoo 32377c4javascript: fix semicolonsraichoo 2613689javascript: make FFI work with HOFsraichoo fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders dd35175javascript: fix ptr handlingraichoo b96f162javascript: fix wrong array handlingraichoo b2f2be4javascript: extracted common runtimeraichoo c020e50javascript: split javascript and node targetraichoo a4178c0javascript: fixed broken mergeraichoo d02610ajavascript: special handling for space and underscore in identifiersraichoo fe570cbjavascript: filter all nonascii letters from identifiersraichoo 2407cbbjavascript: check for keywords as identifiersraichoo 95607a5Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosureEdwin Brady ca5660djavascript: move runtime into own namespaceraichoo c48896fjavascript: google closure fixesraichoo f907f8ajavascript: remove name from constructorsraichoo 3fdf1a0javascript: move runtime into own js fileraichoo c7829ffjavascript: fold modulesraichoo 98a17bbjavascript: refactored FFI and added array operationsraichoo 1a57a4ajavascript: enhanced FFI (methods and mutations)raichoo 7d8b2c3javascript: added pointer for raw JS dataraichoo c663f57javascript: string lengthraichoo 482a723javascript: satisfy hlintraichoo 2cf42b5javascript: added char conversionsraichoo c1420f0javascript: more name fixesraichoo 8e95553javascript: removed redundant anonymous functionraichoo 9b75fadjavascript: added more primitivesraichoo