git.iko.soy/Idris-dev
on 0af107c help sign in
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 35ec145Added lazy application to IRTSEdwin Brady 99fd819Merge pull request #47 from raichoo/masterEdwin Brady b8815e2added proof listraichoo 4e0fe22Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator languageEdwin Brady 517acc1Namespace parsing improvements (for qualified operator names) thanks to Dirk UllrichEdwin Brady 3812df8Compile foreign callsEdwin Brady 168706fInvoke gcc directlyEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady 93d645aIdentify tail calls while simplifyingEdwin Brady eb57f08Remove closure.oEdwin Brady c41bf4bBasic C generation in new back end now worksEdwin Brady 79e6bf7Set up C generatorEdwin Brady b70780frename rts include fileEdwin Brady ccc0f67Added SLIDE for tail callsEdwin Brady 204d938Starting to make new RTS workEdwin Brady 1a7ae4dDeal with applications and stack management in bytecodeEdwin Brady 71c5b66Merge pull request #41 from mekeor/masterEdwin Brady 3553b1dtiny tiny tiny typo fixMekeor Melire 3a5767cmaking implementation paper depended on local file in some extern directoryMekeor Melire 2b755fdMerge pull request #40 from melissam/masterEdwin Brady fed637dlatest versionmelissam fa01173tidying up the codemelissam b27e414commented C code and got rid of some unwated functionsmelissam 8011e70fixed a bug for nested SELECT queriesmelissam efb2fa1corrected doc indentationmelissam b66020badded incomplete documentation and more commentsmelissam 55ba776updated Makefilemelissam 6ce39adchanged TBL String to listmelissam c4da836added tests, comments, got rid of unwanted functionsmelissam 0bb157eTinker with bytecodeEdwin Brady 60e9780Convert locals to registersEdwin Brady ece92feConvert intermediate expressions to let bound variablesEdwin Brady 9b1587bAdd IRTS/BytecodeEdwin Brady bf55193Add scope checking for FOVM codeEdwin Brady 7c75851Test file for new VM, hook up parserEdwin Brady 3f76c32Begin another experimental RTSEdwin Brady d733172added another case of insert and is Nullmelissam b1efbabgot rid of the unwanted functionsmelissam 554ac04added update and insertmelissam c30e6ceNo need to qualify unambiguous names on :pEdwin Brady eda4990added multiBindmelissam d4861b2Change app to ++ in tutorial (typo)Edwin Brady 617dc98Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 0406f62Remove unnecessary file libidris_rts.aEdwin Brady 54daba1Merge pull request #39 from melissam/masterEdwin Brady