pegasus/mist/lib/storage/ at main · 8bit.lol/pegasus

8bit.lol / pegasus

forked from futur.blue/pegasus

objective categorical abstract machine language personal data server

pegasus / mist / lib / storage /

at main 7 files

futur.blue Simplify some classes 7mo ago

Simplify some classes

7 months ago

Ensure all blocks in a commit are written to mst

2 months ago

Put blocks into blockstore when serializing MST

7 months ago

cache_blockstore.ml

Run dune fmt

2 months ago

memory_blockstore.ml

Put blocks into blockstore when serializing MST

7 months ago

overlay_blockstore.ml

Implement SQLite blockstore

7 months ago

Fix incorrect inductive proof generation

5 months ago