Skip to content

Cleanup prusti-contracts, add/implement all Viper builtins - #188

Merged
JonasAlaif merged 7 commits into
Aurel300:rewrite-2023from
viperproject:prusti-builtin
Jul 21, 2026
Merged

Cleanup prusti-contracts, add/implement all Viper builtins#188
JonasAlaif merged 7 commits into
Aurel300:rewrite-2023from
viperproject:prusti-builtin

Review changes

40e01ae
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
clippy-check
succeeded Jul 21, 2026 in 2m 35s