on da61891 help sign in
all commits
e0288fdjavascript: better error representationraichoo b173d58javascript: remove jsobjectraichoo 0e17c90javascript: inline some missed casesraichoo 1419f45javascript: allow more inliningraichoo 621f8c1javascript: remove redundant instanceof checksraichoo 6a1e21ejavascript: optimize apply tailcallsraichoo dac0a39javascript: optimize eval tailcallsraichoo 9349d9cjavascript: elim some duplicate evalsraichoo d37c3d4javascript: improved jsSubstraichoo 33f8c83javascript: elim dead cases in a loopraichoo 69965efjavascript: inliner does not increase performance as expectedraichoo 098ba50javascript: more inliner experimentsraichoo 4b6d184javascript: more work on inlinerraichoo 36204f6javascript: initial code for function inlinerraichoo 566648cjavascript: main and invokeLoop as JSraichoo 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