git.iko.soy/Idris-dev
on master help sign in
history ofdf4cd71..master
compare
11c7d46Fix test file path in idris.cabalv0.11.1Edwin Brady f678a00Version increment to 0.11.1Edwin Brady fe1d470Totality checking now looks inside case directlyEdwin Brady 85d4b4eImprove productivity checkEdwin Brady 888542fFix elabExec to use right version of printLnEdwin Brady 59d44d4Added Data.String.ViewsEdwin Brady d280640Some naming in viewsEdwin Brady 055a1cfMerge pull request #3093 from jfdm/add-release-checklistJan de Muijnck-Hughes 34c8e1fAdded slightly to the C FFI reference, and corrected a code example i… (#3126)Colin Adams bab3353Addresses #1235 Add release checklist.Jan de Muijnck-Hughes c6c47aeMerge pull request #3118 from jfdm/fragile-directiveJan de Muijnck-Hughes be8079cExport SplitBalancedEdwin Brady ea0966eFix string to positive number conversion (#3129)Saurabh Rawat 7c5819bAdd Data.Vect.ViewsEdwin Brady 1d0e33cRemove a "can't happen" errorEdwin Brady c931e38Use exact lookup in size-change checkingEdwin Brady b57da9dPattern matching lambda fixEdwin Brady 0dec4a1Fix name substitution in with functionsEdwin Brady 3ce13cbCleanup main warnings (#3123)Leif Warner 5984b2fDon't use top level elab for resolveTCEdwin Brady cf0b54eMerge pull request #3121 from melted/align_32bitNiklas Larsson ed171dbFix alignment on 32 bitsNiklas Larsson 7e7d0ebElaboration of local applicationsEdwin Brady d662e26Lazy elaboration tweaksEdwin Brady 7688c8dBetter DecEq implementations on primitivesEdwin Brady 1df4d97Tweak alternative pruningEdwin Brady 951b631Constraint insertion on implicitsEdwin Brady 59942daLook deeper in pruneByTypeEdwin Brady 6b64e74Fixed formatting of directives adt.Jan de Muijnck-Hughes c56d5cfAddition of a Fragile directive.Jan de Muijnck-Hughes c2b01ccmkUniqueName fixEdwin Brady 8b152bbUpdated formatting for Directives.Jan de Muijnck-Hughes 6cbfdd3Never compile 'void'Edwin Brady 6536663Merge pull request #3103 from ericqweinstein/fix/master/network-socketAhmad Salim Al-Sibahi 6d20e42Merge pull request #3115 from jfdm/fix-error-reportingAhmad Salim Al-Sibahi 3990ef8Makes Network.Socket functions public.Eric Weinstein c80c51eFixed wrong error reporting values.Jan de Muijnck-Hughes 1cd27e6Merge pull request #3100 from jfdm/say-what-needs-reloadingJan de Muijnck-Hughes 6c5b2e3Run addImpl under caseEdwin Brady ad138e2Fixes #3023 with improved error message.Jan de Muijnck-Hughes 3398f1cMerge pull request #3111 from colin-adams/callocNiklas Larsson c586b73Disable views003 on nodeEdwin Brady 8133d8badded calloc to CFFI.MemoryColin Adams b87820dMerge pull request #3107 from colin-adams/file-c-ptrNiklas Larsson ad473b3Convention says the function should be 'vList'Edwin Brady 069a2acAdd test for VList viewEdwin Brady 1d32dd1Added VList viewEdwin Brady 88c5385Explicit arguments in viewsEdwin Brady 4a4548eNormalise less when unifyingEdwin Brady 2dfba31Fix bracket bug in case generationEdwin Brady