git.iko.soy/Idris-dev
on master help sign in
history offf0fbfa..master
compare
ecd9eadMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen 8624d06Fix collapsibility bugEdwin Brady e294e0eProper initialization semantics for raw memoryJan Bessai 1f5ff74Allow reading files in executorDavid Christiansen 62be419Add support for pointers to dynamic FFIDavid Christiansen 0752bedUpdate type providers so that the decision of failure or otherwise is made in IODavid Christiansen b6effdbMade do_poke privateJan Bessai 22d09c9Test fixedJan Bessai 441d941An effect to allocate and manipulate memoryJan Bessai d1cb783Merge pull request #267 from LeifW/get_rid_of_unicode_in_sourceEdwin Brady 1abf366Remove the unicode from the source files.Leif Warner 34506e9Hack to parse big integer constants without overflow But we still need fromInteger to do the right thingEdwin Brady 73477a7Merge pull request #265 from JanBessai/IntegerParsingEdwin Brady 477820aParsing for Big Integer constants fixedJan Bessai 25aef32Merge pull request #264 from david-christiansen/providers-errorsEdwin Brady ea6bb9aMerge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflectionEdwin Brady 9822081IBC Version number bumpJan Bessai d479f4aImproved performance by not going through PQuote and doing less normalisationJan Bessai b65a0fbInclude reflection of the current goal in proofscript argumentsJan Bessai 8ce17c6Vim support for the new tactic keywordsJan Bessai 6440a7bRepaired effects library, less attacks in applyTacticJan Bessai 5d22c3eMerge branch 'ImprovedReflection'Jan Bessai c1a4eacFull TT reflection and reificationJan Bessai b68a1a7Flag to disable effectsJan Bessai 81865b4Remove type class argument restriction in parserEdwin Brady f31a70bMinor effects changes (locally, search depth)Edwin Brady 655a3a8Tweak linearity checker to deal with overloaded names properlyEdwin Brady