2130030Merge branch 'master' into NullPtrJan Bessai13 years ago 3ebab66Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 9836a07Inlining - Evaluator now supports run-time termsEdwin Brady13 years ago 5f47063null primitive for the Java back endJan Bessai13 years ago b750a04Use "where" instead of "do ... let"Leif Warner13 years ago 6f34ac1Use XML lib instead of string templating.Leif Warner13 years ago 6221726Use xml lib to produce <dependencies/>.Leif Warner13 years ago 630c8b4Adds the ability to keep around the generated maven projectJan Bessai13 years ago c5d5884Remove Java RTS build in favor of the version hosted on Maven CentralJan Bessai13 years ago 58928deRemove old imports from generated filesJan Bessai13 years ago 3b25e9eSSA style stack management and FChar is finally gone.Jan Bessai13 years ago 72524a0Proper tail calls and ArithTy ITChar supportJan Bessai13 years ago b4689f4Java Backend Overhaul Part 1Jan Bessai13 years ago 3c0f4dcBeginnings of integer SIMD support (no backend yet)Benjamin Saunders13 years ago 640fde0Fix for conversion methods in the Java backendJan Bessai13 years ago fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders13 years ago abe5605Repaired java and c backends to work with improved integer primitivesJan Bessai13 years ago 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen13 years ago 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady13 years ago b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders13 years ago 2572b10Parameterized integer FFIBenjamin Saunders13 years ago 321b8fdReduce redundancy across integer operationsBenjamin Saunders14 years ago 8af32d4squash potential space leaks by using strict foldlraichoo14 years ago e294e0eProper initialization semantics for raw memoryJan Bessai14 years ago 441d941An effect to allocate and manipulate memoryJan Bessai14 years ago f151deeMangling of keyword "const"Jan Bessai14 years ago dc91b01Java FFI: imports included and dependencies downloaded via mavenJan Bessai14 years ago a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai14 years ago 4358581Refactored Java backend to be more monadic and to allow for the future extension of globalsJan Bessai14 years ago a98444cRemoved some unnecessary closuresJan Bessai14 years ago 43056d6Backend support for JavaJan Bessai14 years ago f855d0fFix a few missing module referencesBenjamin Saunders14 years ago f50f006Expand backend control options and infrastructureBenjamin Saunders14 years ago 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady14 years ago