| .. |
|
basic.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
3 months ago |
|
basic_sum.rs
|
7c81911952
Add support for vector sums and dot products
|
2 months ago |
|
basic_vec.rs
|
ac2972bd57
basic vector operations test
|
2 months ago |
|
disj.rs
|
6d13649911
fix: update refactor
|
2 months ago |
|
disj_vec.rs
|
0f2fdca04c
More support for vector variables
|
2 months ago |
|
dl.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
3 months ago |
|
dot_product.rs
|
7c81911952
Add support for vector sums and dot products
|
2 months ago |
|
emptystatement.rs
|
70172afea4
A few more tests
|
2 months ago |
|
left_expr.rs
|
26db0ee8a2
Allow the left side of linear combination statements to be expressions evaluating to a public Point
|
2 months ago |
|
notequals.rs
|
b5bd445d63
More vector tests
|
2 months ago |
|
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
|
2 months ago |
|
pubscalars_or.rs
|
a8f0aafb21
Simplify the pubscalars_or test
|
2 months ago |
|
pubscalars_or_and.rs
|
70172afea4
A few more tests
|
2 months ago |
|
pubscalars_or_and_vec.rs
|
77d40c741d
Tests on vectors of length 0
|
2 months ago |
|
pubscalars_or_vec.rs
|
77d40c741d
Tests on vectors of length 0
|
2 months ago |
|
pubscalars_vec.rs
|
1de1cc05c4
Improving support for vector variables
|
2 months ago |
|
pubstatements.rs
|
839d55ae69
A test for public statements
|
2 months ago |
|
pubstatements_vec.rs
|
b5bd445d63
More vector tests
|
2 months ago |
|
range.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
3 months ago |
|
simple_or.rs
|
6d13649911
fix: update refactor
|
2 months ago |
|
substitution_or.rs
|
70172afea4
A few more tests
|
2 months ago |
|
substitution_vec.rs
|
1de1cc05c4
Improving support for vector variables
|
2 months ago |
|
subtract.rs
|
e962e20a27
cargo fmt
|
2 months ago |
|
subtract_vec.rs
|
1de1cc05c4
Improving support for vector variables
|
2 months ago |
|
two_true.rs
|
b5bd445d63
More vector tests
|
2 months ago |
Ian Goldberg
77d40c741d
Tests on vectors of length 0