summaryrefslogtreecommitdiff
path: root/source/Test/Unit/Store.hs
AgeCommit message (Expand)Author
32 hoursRun ready typed modules concurrentlyadelon
3 daysLower exact omitted proofsadelon
4 daysActivate exact parsed artifact rowsadelon
4 daysConfine typed verification to store authorityadelon
4 daysValidate store closures once per invocationadelon
4 daysInstall cached modules atomicallyadelon
4 daysFold transitive sealed importsadelon
4 daysUnify live and cached proof validationadelon
4 daysTest prefix survival after failed readinessadelon
4 daysMaterialize imported object authorityadelon
4 daysTest cached import integrity failuresadelon
4 daysTest shared store closure memoizationadelon
4 daysTest malformed typed store rowsadelon
4 daysTest immutable validation replacementsadelon
4 daysReuse validated typed module artifactsadelon
4 daysTest successful prefix publicationadelon
4 daysMemoize validated store closuresadelon
4 daysAdd typed store row transactionsadelon
4 daysOwn selected store lifetimesadelon
4 daysAdd disposable SQLite store substrateadelon