git.iko.soy/Idris-dev
on 79e6bf7 help sign in
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 bb342d8fixed strln in data_type func, and another bug in to_list_v2melissam b35f3e4added sql expression evaluatormelissam 582edaaadded unwordsmelissam 01a9216added makefilemelissam df80754exec error handlingmelissam faaad7ebetter version of executing queries, may need to get rid of the old ones latermelissam cb92598Unification tweak Use the code the programmer gives, not code the unifier finds.Edwin Brady 5ebf30elatestmelissam 9e59751latestmelissam 1453429Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 848a597Lift syntax tree, main monad and pretty printing out of AbsSyntaxEdwin Brady 7708af2using gc.hmelissam 537430aMerge pull request #36 from melissam/masterEdwin Brady 35259d2added memory location for text, though needs some memory management to free itmelissam 6349317printing data, doesnt quite work on idrismelissam 083440bfixed the same issue with get_tablemelissam