├── .envrc ├── .github ├── dependabot.yml └── workflows │ ├── release.yml │ └── rust.yml ├── .gitignore ├── CHANGELOG.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE.txt ├── README.md ├── flake.lock ├── flake.nix ├── images └── banner.png ├── tests └── vipers-tests │ ├── Cargo.toml │ ├── README.md │ └── src │ └── lib.rs └── vipers ├── Cargo.toml └── src ├── assert.rs ├── error.rs ├── keyref.rs ├── lib.rs └── validate.rs /.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/.envrc -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .direnv/ 2 | /target 3 | .anchor/ 4 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- 1 | [workspace] 2 | members = ["vipers/", "tests/*"] 3 | -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/README.md -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/flake.nix -------------------------------------------------------------------------------- /images/banner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/images/banner.png -------------------------------------------------------------------------------- /tests/vipers-tests/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/tests/vipers-tests/Cargo.toml -------------------------------------------------------------------------------- /tests/vipers-tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/tests/vipers-tests/README.md -------------------------------------------------------------------------------- /tests/vipers-tests/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/tests/vipers-tests/src/lib.rs -------------------------------------------------------------------------------- /vipers/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/vipers/Cargo.toml -------------------------------------------------------------------------------- /vipers/src/assert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/vipers/src/assert.rs -------------------------------------------------------------------------------- /vipers/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/vipers/src/error.rs -------------------------------------------------------------------------------- /vipers/src/keyref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/vipers/src/keyref.rs -------------------------------------------------------------------------------- /vipers/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/vipers/src/lib.rs -------------------------------------------------------------------------------- /vipers/src/validate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/saber-hq/vipers/HEAD/vipers/src/validate.rs --------------------------------------------------------------------------------