git.iko.soy/Idris-dev
on master help sign in
history of692b454..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 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 4fcacceUpdate for idris 0.9.8.1Benjamin Saunders 134eef4somethingBenjamin Saunders fb9af01Read from standard inputBenjamin Saunders ca7d80aBasic solver workingBenjamin Saunders