git.iko.soy/Idris-dev
on e88a135 help sign in
e88a135Merge pull request #52 from raichoo/masterEdwin Brady 4b1109esatisfy hlintraichoo 0306e49removed parsec compatibility layerraichoo 734a4daInstall object files from packagesEdwin Brady 4cec951Tweak Makefile (install checks too)Edwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 2832517Move main setup code to Idris.REPLEdwin Brady 7580119Added --libdir optionEdwin Brady 314246bMake getArgs work with new backendEdwin Brady 16027ddFix with parsing bugEdwin Brady 71a81d4Merge pull request #51 from raichoo/masterEdwin Brady ee056caadded vim READMEraichoo da7c06aadded vim indent fileraichoo 9fa4d58added vim ftpluginraichoo e7468a7added vim ftdetectraichoo 23ab26fSpeed improvements when code contains type errors Identify "unrecoverable" unification failures so that type checking doesn't continue to search all the alternative overloadings and orderings.Edwin Brady ef3aed2Fix FLOATOP properlyEdwin Brady 973e014Fix floating point arithmetic code generationEdwin Brady e2587d5Small GC fix, and not for message passingEdwin Brady 3b27284Basic concurrency now working (But with an almighty hack that I don't understand... calling usleep after creating a thread appears necessary otherwise a bus error occurs seemingly non-deterministically)Edwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 2303235Merge pull request #50 from raichoo/masterEdwin Brady 758ce70added vim syntax highlighter to tool-supportraichoo 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady 2533b8dAdd missing fileEdwin Brady 34e8788Added Util.System for compatibility (thanks to Dirk Ullrich)Edwin Brady b49000aSupport linking external .o files in new compilerEdwin Brady ef1d7baMerge pull request #48 from raichoo/masterEdwin Brady 7cdb0c0Removed Epic dependencyEdwin Brady e956ecaDon't lambda lift unused argumentsEdwin Brady 371bd9aGroup EVAL/APPLY constructorsEdwin Brady 847ee50Set -O2 in rtsEdwin Brady f959008New RTS in placeEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady dae8526Added IRTS.CompilerEdwin Brady b642db5Almost working new back endEdwin Brady 7f2d76cenhanced proof handelingraichoo e99339cMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady c926923Minor change to foreign marshaling codeEdwin Brady 53de817Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 0433650Added some useful standard foreign functions for IOEdwin Brady 13e17a4Fix allocation sizeEdwin Brady 7ab5216String/Float primitivesEdwin Brady f2766a6Fix GC errorEdwin Brady b941386Change TRACE mode to use -O2Edwin Brady 0af107cAdded GMP interface for BigIntsEdwin Brady f03a655Added %lazy annotationsEdwin Brady c9c3cf9Added primitive for reading inputEdwin Brady 3009319Added a simple copying GCEdwin Brady 29ba32eLambda lifting in FOVMEdwin Brady