multiverse: add overlay points for universe trees#624

Merged

Roasbeef merged 16 commits intomainfrom multiverse-trees

Dec 13, 2023

+2,436-1,009

Commits on Dec 12, 2023

tapdb: format and reflow comments
guggero
committed
tapdb: add new multiverse root overlay tables and queries
guggero
committed
tapdb: upsert multiverse tree
guggero
committed
universe: add MultiverseRoot method to archive
guggero
committed
multi: add MultiverseRoot RPC method
guggero
committed
cmd/tapcli: add universe multiverse subcommand
guggero
committed
itest: assert multiverse roots
guggero
committed
fn: add new Option[T] type

Roasbeef
authored and
guggero
committed
fn: add new Either[L, R] type

Roasbeef
authored and
guggero
committed
fn: rename None to NotAny

Roasbeef
authored and
guggero
committed
tapdb: update QueryMultiverseLeaves to return SMT leaf info

Roasbeef
authored and
guggero
committed
tapdb: add new FetchMultiverseRoot query

Roasbeef
authored and
guggero
committed
universe: rename RootNode to MultiverseRootNode

Roasbeef
authored and
guggero
committed
universe: add new MultiverseLeafDesc and MultiverseLeaf types

Roasbeef
authored and
guggero
committed
universe: allow FetchMultiverseLeaves to multi-query

Roasbeef
authored and
guggero
committed
universe: update MultiverseRoot to use a single db query

Roasbeef
authored and
guggero
committed