git.iko.soy/Idris-dev
on 4e34dfd help sign in
history ofsrc/IRTS/CodegenJavaScript.hs
all commits
cb1fab7javascript: eliminate dead casesraichoo ae0ec82javascript: translateDeclaration should not return JSSeqraichoo 8dd968fjavascript: smarter inlinerraichoo 019ba6ejavascript: cleaned upraichoo b059c08javascript: remove allocationsraichoo c8c2088javascript: tiny APPLY refactoringraichoo 27d9d70javascript: reduce initializations in generated coderaichoo addaeeci|javascript: make inliner more aggressiveraichoo f5cad0dwhitespacesraichoo bee7fc8Merge pull request #785 from raichoo/javascriptEdwin Brady 10b971cjavascript: temporary workaround to fix some issues with charsraichoo 2b55660javascript: inline apply callsraichoo d0d3088javascript: inline constants in EVALraichoo 46ac3d0javascript: added cases to optimizerraichoo 31f2014javascript: remove redundant var declsraichoo cd20320javascript: smarter compilation of conditionalsraichoo 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 3ebab66Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 9836a07Inlining - Evaluator now supports run-time termsEdwin Brady ffe8706Null pointer primitiveEdward Amsden 10863bfjavascript: reduce bitint constantsraichoo 167e419javascript: substitute projectionsraichoo 16fe40djavascript: remove identity functionsraichoo 24fb370javascript: loop to reduce constructorraichoo dd10071javascript: reduce more functionsraichoo f2309ddjavascript: added jsident for identifiersraichoo 549627cjavascript: switch to jsbnraichoo 0efe215javascript: reduce tailcalls for reduced functionsraichoo 8947a2ejavascript: reduce functionsraichoo a15afc9javascript: optimize arraysraichoo 7ca1ca0javascript: remove unused coderaichoo 270cbcajavascript: use strings for bigints to pervent overflowraichoo a976e30javascript: inline newraichoo 00272c5javascript: ditch optimizer for simpler approachraichoo af1a706javascript: smarter inlineraichoo 5389c3bjavascript: recursive optimizerraichoo f7fc73bjavascript: substitute moreraichoo e5ad9f2javascript: refactor jsSubstraichoo 4c2c850javascript: faster lookup tablesraichoo 8529f87javascript: optimize assignmentsraichoo 0e9d165javascript: optimize scope functionsraichoo 888c07ajavascript: optimize objectsraichoo 974d2edjavascript: optimize calling apply on lambdasraichoo 8bef17djavascript: optimize in conditionsraichoo 66f8820javascript: optimize field accessraichoo d5c8aecjavascript: optimize operator callsraichoo caa3193javascript: optimize case for trampolinesraichoo c551412javascript: optimize more constructor casesraichoo 46ab369javascript: start javascript code when DOM is readyraichoo