summaryrefslogtreecommitdiff
path: root/source/Checking/Semantic.hs
AgeCommit message (Collapse)Author
3 hoursMigrate to `Felix` namespaceHEADhotgadelon
3 daysSupport contextual exact abbreviationsadelon
3 daysPersist exact structure descriptorsadelon
5 daysDistinguish semantic global targetsadelon
5 daysBind exact globals in semantic deltasadelon
5 daysInstall cached modules atomicallyadelon
6 daysValidate supplied interfaces before publicationadelon
6 daysRestore precise verification diagnosticsadelon
6 daysHash fresh semantic interfaces onceadelon
7 daysCompact walking semantic deltasadelon
7 daysReject duplicate interface identity inputsadelon
7 daysReference canonical semantic contentadelon
7 daysValidate module artifact rootsadelon
7 daysValidate fact materialization authorityadelon
7 daysDefine semantic interface identitiesadelon