git.iko.soy/Idris-dev
on 593cade help sign in
history ofsrc/Idris/Coverage.hs
all commits
5882c38Fix checking if error is recoverable wrt coverageIlya Yanok 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 5d7388bMove extensions into source filesEdwin Brady 3fba96bRemember constants when checking recoverabilityEdwin Brady 95d226fFix a proof of VoidEdwin Brady 183f533Deal with ambiguity in impossible clausesEdwin Brady d1f3be2Use conversion errors in coverage checkEdwin Brady 6dffcc7Fix reporting of infinite unificationEdwin Brady 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi 24c796aDeal with bound variables in recoverableCoverageEdwin Brady 01aff97Fix names in generating missing casesEdwin Brady ea88b5eBetter choice of pattern to inspect in coverageEdwin Brady fe68986Coverage checker fixEdwin Brady 61d5865New coverage checkerEdwin Brady b8f0ef6Separate modules for termination/coverageEdwin Brady b0899ccLook deeper when coverage checkingEdwin Brady 3275efdSpeed up coverage checkingEdwin Brady 8ea27aeRemove a needless 'nub'Edwin Brady 521b8bfRemove unused case tree codeEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 566b6a0Fix performance regression in coverage checkerEdwin Brady 003b68cBetter path generation in termination checkerEdwin Brady 9cc36e8Make totality checker to report partial functions correctly (fix #2884)Vitaly Bragilevsky 7973024Some internal structural Changes.Jan de Muijnck-Hughes f664681Productivity checker tweakEdwin Brady 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 4c83174Totality checker mutual fixEdwin Brady 9f55048Look under if...then...else in totality checkerEdwin Brady b03f823Fix evaluation of InfEdwin Brady 8b1502aGenerate cases for coverage from 'impossible'Edwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 2cfcbcfPositivity checking under parametersEdwin Brady 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes 536372fRename Lazy' => DelayedEdwin Brady 57136ccChange elaboration of interfacesEdwin Brady fe1d470Totality checking now looks inside case directlyEdwin Brady 85d4b4eImprove productivity checkEdwin Brady 1d0e33cRemove a "can't happen" errorEdwin Brady c931e38Use exact lookup in size-change checkingEdwin Brady 5134aebBetter support for mutually defined typesEdwin Brady faa58adFix evaluation of non-total thingsEdwin Brady 749eceePerform positivity checking for Elab-defined datatypesDavid Christiansen 2392716Fix silly error in totality checkerEdwin Brady cfc8436Don't normalise constructor typesEdwin Brady 9f202dcMake coverage checking more conservativeEdwin Brady 6c682f3Comment editingEdwin Brady 6efe40bExtend rules for 'impossible' casesEdwin Brady