You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
loop/lsat
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.
4 years ago
..
caveat.go lsat: introduce LSAT related utilities 4 years ago
caveat_test.go lsat: introduce LSAT related utilities 4 years ago
identifier.go lsat: introduce LSAT related utilities 4 years ago
identifier_test.go lsat: introduce LSAT related utilities 4 years ago
satisfier.go lsat: introduce LSAT related utilities 4 years ago
service.go lsat: introduce LSAT related utilities 4 years ago
service_test.go lsat: introduce LSAT related utilities 4 years ago