git.iko.soy/Idris-dev
on master help sign in
history of02fa360..master
compare
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 46ab369javascript: start javascript code when DOM is readyraichoo 7b4ca03javascript: add JSFalse to ASTraichoo 66705c7javascript: apply uses an extra stackframe, not goodraichoo b397692Merge pull request #519 from reynir/masterEdwin Brady d861727tutorial: update interactive proofReynir Reynisson cb8eb1atutorial: fix typos, add additional step to proofReynir Reynisson ae95dc6tutorial ffi: add emphasisReynir Reynisson 0d5c5b6Fix segfault in MKSTREdwin Brady 631fc46Further splitting of ParserEdwin Brady a434e82Merge pull request #518 from tauli/masterEdwin Brady 2bdb46bMerge pull request #517 from raichoo/vimEdwin Brady 1a535c0Merge pull request #516 from raichoo/masterEdwin Brady 67fb9ccSplit Parser.hs into several filesEdwin Brady f90e2d7runtest.pl revised and cleaned upJürgen Peters a8c142eremove vim files from contrib in favor of idris-hackers reporaichoo fc504f1documentation: added javascript codegen section to tutorialraichoo 4be67f7Allow records in mutual blocksEdwin Brady ff726feMerge pull request #514 from raichoo/javascriptEdwin Brady f2f0eedMerge pull request #511 from raichoo/masterEdwin Brady baf632eMerge pull request #510 from LeifW/universal_target_overrideEdwin Brady d8a8fcfMerge pull request #506 from ahmadsalim/masterEdwin Brady bfc4a91javascript: use optimizer for tailcallsraichoo 6d3e55bjavascript: refactored tailcallsraichoo