git.iko.soy/Idris-dev
on master help sign in
history of4d2f0fe..master
compare
acf39f8Copy on demand cmd line args.Sam T b029400RTS stats: fix case then elapsed time is zero.Sam T d1d2257Remove unused float and int stacksSam T 0861527Merge branch 'master' of http://githib.com/edwinb/Idris-devJan Bessai dc91b01Java FFI: imports included and dependencies downloaded via mavenJan Bessai 5593697Rename EFF to EFFECT (for more consistent naming rules)Edwin Brady edfe5b3Strip impossible cases when building case treesEdwin Brady 42fc6d2Make no java default compilation methodEdwin Brady c9d32afChange NoJava flag to Java, and make no java back end the defaultEdwin Brady a93ea55Merge branch 'master' of https://github.com/JanBessai/Idris-dev into JanBessai-masterEdwin Brady bac75d0Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris-dev into JanBessai-AddMissingStrLenEdwin Brady c206136Merge pull request #236 from fmap/statsEdwin Brady 8b96fc7Fix another unification problem (solving things which shouldn't be)Edwin Brady c37c428Merge branch 'AddMissingStrLen'Jan Bessai 0e6138fadded forgotten LStrLen primitive and length function for StringJan Bessai 14bf6e5Merge branch 'master' of http://githib.com/edwinb/Idris-devJan Bessai a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai 2686158Be more careful when unifying metavariable applications Otherwise things get solved which shouldn't be. Fixes issue #227Edwin Brady 4358581Refactored Java backend to be more monadic and to allow for the future extension of globalsJan Bessai 89a055eMerge branch 'master' of http://githib.com/edwinb/Idris-devJan Bessai a98444cRemoved some unnecessary closuresJan Bessai 6f8ee96A bit more detailed rts stats.Sam T 054c04eFind foreign funcs in libsDavid Christiansen 3a80954%dynamic now works from IBC filesDavid Christiansen 70c9bd5Completion and help for :dynamic at the REPLDavid Christiansen 04267d6Top-level directive for dynamic linkingDavid Christiansen 3262127Dynamically load C libraries in REPLDavid Christiansen 13a7afaMinor fix: print rts opts help to stdout instead of stderr.Sam T 0489a72Minor fix: detached heap referenceSam T 839cb2bMerge with upstreamSam T fe207afMerge pull request #235 from fmap/masterEdwin Brady ba6de83Fix name disambiguation bug in pruneByType by normalising typesEdwin Brady 6f462b8Merge remote-tracking branch 'upstream/master'Sam T 1ffeb13Fix condition in allocate.Sam T 5aa46adFix name shadowing error when checking for linear patternsEdwin Brady de7360bAdd updateM to State effectEdwin Brady 1df7d15add basic rts optionsSam T f5e4128Start of FFI infrastructureDavid Christiansen 9d2ef24add heap properties checkingSam T 82190d3Basics of command to execute IO actions in the interpreterDavid Christiansen e210198Merge pull request #233 from miikka/remove-garbageEdwin Brady ab89bf0Add basic infrastructure for IO support in the interpreterDavid Christiansen 9dfda4aMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen 4a44803Remove files that shouldn't be in the repoMiikka Koskinen b8c751eMerge pull request #232 from hannesm/unify-help-and-completionEdwin Brady 8bbd1b5Merge remote-tracking branch 'origin/providers' into providersDavid Christiansen 2297270unify help and completion of REPL - previously they were not in sync, now it is one lookup tableHannes Mehnert 9631f80detach heap from vm structSam T 0f49abcAdded first steps in type providersDavid Christiansen 6e732f9Added %provide directive to parserDavid Christiansen