git.iko.soy/Idris-dev
on b817deb help sign in
history ofsrc/Idris/Coverage.hs
all commits
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 d3dc418Add names in types to call graphEdwin Brady 0175376Remove some unnecessary fieldsEdwin Brady 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 9f3675aStore patvar binding types in idris_patdefsShea Levy 83f0af1Display expected type of RHS in error messagesEdwin Brady fcba396Coverage checker fixEdwin Brady 3288a6cFix coverage checker for sigma typesEdwin Brady bc2915cMerge remote-tracking branch 'upstream/master' into parser-highlightsDavid Raymond Christiansen 5da0d60Faster processing of alternativesEdwin Brady a54852bHighlighting for pairs, lists and sigmasDavid Raymond Christiansen 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen 4dabdbaPropagate errors originating from case treesDavid Raymond Christiansen