git.iko.soy/Idris-dev
on 6367eb5 help sign in
6367eb5Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady b9d0b7eRemove irrelevant commentEdwin Brady 9cdf03aFix compilation of unqualified constructor namesEdwin Brady 170da61Propagate '%assert_total' to with blocksEdwin Brady e7d962dMerge pull request #529 from ziman/masterEdwin Brady 9497822Merge pull request #533 from Ralith/fix-js-buildEdwin Brady 480a28bFix broken build caused by 3fdf1a03Benjamin Saunders 54a89bfMerge pull request #525 from reynir/masterEdwin Brady a068cb5Merge pull request #523 from Ralith/fix-llvm-installEdwin Brady de0bcbdMerge pull request #522 from Ralith/fix-travisEdwin Brady 463752dMerge pull request #521 from raichoo/masterEdwin Brady 13a5881Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 1bc3002Some Eff experimentation, adding a 'test' commandEdwin Brady db96d75Add a 'compute' before elaboration to expand type synonyms etcEdwin Brady 16fe40djavascript: remove identity functionsraichoo 24fb370javascript: loop to reduce constructorraichoo dd10071javascript: reduce more functionsraichoo ebc0f2fFix a typo in an error message.Matus Tejiscak 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 7a70f67Add Show () instanceReynir Reynisson ef09742Verify that foreign symbols declared in multiple places have a consistent signatureBenjamin Saunders c614366Print failed pattern match error messages to stderrBenjamin Saunders 7a43e68Keep track of prototyped foreign symbols across definitionsBenjamin Saunders 03adfb0Test LLVM codegen on travis to reduce future breakageBenjamin Saunders 8e53c10Fix installation of LLVM codegen's RTS to incorrect pathBenjamin Saunders 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 054821aSkip confirmation promptBenjamin Saunders 692b454Properly factor cabal workflowBenjamin Saunders 8a43c18Use llvm-3.3 from a PPA now that llvm.org is no longer providing itBenjamin Saunders caa3193javascript: optimize case for trampolinesraichoo c551412javascript: optimize more constructor casesraichoo