| .. |
|
basic.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
hai 1 ano |
|
basic_vec.rs
|
ac2972bd57
basic vector operations test
|
hai 1 ano |
|
disj.rs
|
6d13649911
fix: update refactor
|
hai 1 ano |
|
disj_vec.rs
|
0f2fdca04c
More support for vector variables
|
hai 1 ano |
|
dl.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
hai 1 ano |
|
emptystatement.rs
|
70172afea4
A few more tests
|
hai 1 ano |
|
left_expr.rs
|
26db0ee8a2
Allow the left side of linear combination statements to be expressions evaluating to a public Point
|
hai 1 ano |
|
notequals.rs
|
7d1cf334ed
Implement not-equals statements
|
hai 1 ano |
|
pubscalars.rs
|
c4c86e28d1
In a disjunction branch, convert statements about equality of public Scalars to statements about equality of public Points by multiplying each side by a generator
|
hai 1 ano |
|
pubscalars_or.rs
|
a8f0aafb21
Simplify the pubscalars_or test
|
hai 1 ano |
|
pubscalars_or_and.rs
|
70172afea4
A few more tests
|
hai 1 ano |
|
pubscalars_or_vec.rs
|
0f2fdca04c
More support for vector variables
|
hai 1 ano |
|
pubscalars_vec.rs
|
1de1cc05c4
Improving support for vector variables
|
hai 1 ano |
|
pubstatements.rs
|
839d55ae69
A test for public statements
|
hai 1 ano |
|
range.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
hai 1 ano |
|
simple_or.rs
|
6d13649911
fix: update refactor
|
hai 1 ano |
|
substitution_or.rs
|
70172afea4
A few more tests
|
hai 1 ano |
|
substitution_vec.rs
|
1de1cc05c4
Improving support for vector variables
|
hai 1 ano |
|
subtract.rs
|
e962e20a27
cargo fmt
|
hai 1 ano |
|
subtract_vec.rs
|
1de1cc05c4
Improving support for vector variables
|
hai 1 ano |
Ian Goldberg
0f2fdca04c
More support for vector variables