Commit b5fee95

authored

SPL modifications to remove proof blockers (#127)

* redefine `msg!` macro to a noop in proofs * avoid calling `map` in account-unpacking (code is semantically equivalent)

1 parent d44da85 commit b5fee95Copy full SHA for b5fee95

9 files changed

+379

-512

lines changed

.github/workflows
- publish-rust.yml
Cargo.lock
Cargo.toml
interface
- Cargo.toml
- src
  - error.rs
  - instruction.rs
p-token/test-properties
- mir-semantics
program
- Cargo.toml
- src
  - processor.rs

9 files changed

+379

-512

lines changed

`‎.github/workflows/publish-rust.yml‎`

-Original file line number
+Diff line change
         type: choice
         options:
           - clients/rust
 -          - interface
           - p-interface
           - program
           - p-token

Comments

(0)