feat: Implement byte@prove using range constraints (#182)
#615
Annotations
20 warnings
|
build.rs#L81
variable does not need to be mutable
|
|
tests/models.rs#L22
associated function `new` is never used
|
|
tests/models.rs#L193
function `arrays_1_oracle` is never used
|
|
tests/models.rs#L194
variable `A` should have a snake case name
|
|
tests/models.rs#L194
variable `B_1` should have a snake case name
|
|
tests/models.rs#L194
variable `B_2` should have a snake case name
|
|
tests/models.rs#L194
variable `B_3` should have a snake case name
|
|
tests/models.rs#L212
variable `A` should have a snake case name
|
|
tests/models.rs#L212
variable `B` should have a snake case name
|
|
tests/models.rs#L227
variable `A` should have a snake case name
|
|
build.rs#L81
variable does not need to be mutable
|
|
tests/models.rs#L22
associated function `new` is never used
|
|
tests/models.rs#L193
function `arrays_1_oracle` is never used
|
|
tests/models.rs#L194
variable `A` should have a snake case name
|
|
tests/models.rs#L194
variable `B_1` should have a snake case name
|
|
tests/models.rs#L194
variable `B_2` should have a snake case name
|
|
tests/models.rs#L194
variable `B_3` should have a snake case name
|
|
tests/models.rs#L212
variable `A` should have a snake case name
|
|
tests/models.rs#L212
variable `B` should have a snake case name
|
|
tests/models.rs#L227
variable `A` should have a snake case name
|
This job succeeded
Loading