index
:
felix.git
hotg
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
source
/
Test
/
Unit
/
Store.hs
Age
Commit message (
Expand
)
Author
32 hours
Run ready typed modules concurrently
adelon
3 days
Lower exact omitted proofs
adelon
4 days
Activate exact parsed artifact rows
adelon
4 days
Confine typed verification to store authority
adelon
4 days
Validate store closures once per invocation
adelon
4 days
Install cached modules atomically
adelon
4 days
Fold transitive sealed imports
adelon
4 days
Unify live and cached proof validation
adelon
4 days
Test prefix survival after failed readiness
adelon
4 days
Materialize imported object authority
adelon
4 days
Test cached import integrity failures
adelon
4 days
Test shared store closure memoization
adelon
4 days
Test malformed typed store rows
adelon
4 days
Test immutable validation replacements
adelon
4 days
Reuse validated typed module artifacts
adelon
4 days
Test successful prefix publication
adelon
4 days
Memoize validated store closures
adelon
4 days
Add typed store row transactions
adelon
4 days
Own selected store lifetimes
adelon
4 days
Add disposable SQLite store substrate
adelon