Commit 794ba72

authored

Update dependency (#86)

* fix random run script for `seed=0` * constraints on `Rent` parameters to avoid branching * fix for pointer offset dereferencing to single elements * removes stale unmaintained `proof_status.md` file

1 parent aa72e23 commit 794ba72Copy full SHA for 794ba72

2 files changed

+1

-1098

lines changed

p-token/test-properties
- mir-semantics
- proof_status.md

2 files changed

+1

-1098

lines changed

`‎p-token/test-properties/mir-semantics‎`

Submodule mir-semantics updated 24 files

Comments

(0)