Commit Graph

2 Commits (8cecae501c5f6ad208664c92f8d0fcc5e8e7082a)

Author SHA1 Message Date
Oliver Gugger 8cecae501c
lsat: add unary interceptor and simple store 5 years ago
Wilmer Paulino 1eb8ed3da5
lsat: introduce LSAT related utilities
We introduce a new package: `lsat`, which aims to provide utilities that
will serve useful in the context of LSAT creation and verification for
LSAT-enabled services.
5 years ago