Skip to content

Commit

Permalink
[Prover] Natively modeled object::exists_at (#6777)
Browse files Browse the repository at this point in the history 
- Moved the location of `aptos-natives.bpl` to `aptos-move/framework/src/`
- Added the boogie implementation of `object::exists_at` to `aptos-natives.bpl`.
  • Loading branch information
@junkil-park
junkil-park authored Mar 3, 2023
1 parent 79d5d8e commit f9b75b2
Show file tree
Hide file tree
Showing 7 changed files with 95 additions and 76 deletions.
76 changes: 38 additions & 38 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit f9b75b2

Please sign in to comment.