Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove Groth16/SnarkPack+. #774

Merged
merged 3 commits into from
Oct 21, 2023

fix LEM's Func::num_constraints and syntax parsing tests

24aeba6
Select commit
Loading
Failed to load commit list.
Merged

Remove Groth16/SnarkPack+. #774

fix LEM's Func::num_constraints and syntax parsing tests
24aeba6
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Oct 21, 2023 in 0s

0.00% of diff hit (target 53.64%)

View this Pull Request on Codecov

0.00% of diff hit (target 53.64%)

Annotations

Check warning on line 5786 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5785-L5786 

Added lines #L5785 - L5786 were not covered by tests

Check warning on line 5789 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5788-L5789 

Added lines #L5788 - L5789 were not covered by tests

Check warning on line 5801 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5800-L5801 

Added lines #L5800 - L5801 were not covered by tests

Check warning on line 5816 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5807-L5816 

Added lines #L5807 - L5816 were not covered by tests

Check warning on line 5830 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5830 

Added line #L5830 was not covered by tests

Check warning on line 5832 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5832 

Added line #L5832 was not covered by tests

Check warning on line 5837 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5836-L5837 

Added lines #L5836 - L5837 were not covered by tests

Check warning on line 5846 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5840-L5846 

Added lines #L5840 - L5846 were not covered by tests

Check warning on line 5935 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5935 

Added line #L5935 was not covered by tests

Check warning on line 6020 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L6020 

Added line #L6020 was not covered by tests

Check warning on line 6108 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L6108 

Added line #L6108 was not covered by tests

Check warning on line 6195 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L6195 

Added line #L6195 was not covered by tests

Check warning on line 695 in src/circuit/gadgets/case.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/gadgets/case.rs#L695 

Added line #L695 was not covered by tests

Check warning on line 25 in src/cli/backend.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/cli/backend.rs#L25 

Added line #L25 was not covered by tests

Check warning on line 1489 in src/lem/circuit.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/lem/circuit.rs#L1488-L1489 

Added lines #L1488 - L1489 were not covered by tests

Check warning on line 1494 in src/lem/circuit.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/lem/circuit.rs#L1493-L1494 

Added lines #L1493 - L1494 were not covered by tests

Check warning on line 1500 in src/lem/circuit.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/lem/circuit.rs#L1500 

Added line #L1500 was not covered by tests

Check warning on line 870 in src/parser/syntax.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/parser/syntax.rs#L870 

Added line #L870 was not covered by tests

Check warning on line 878 in src/parser/syntax.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/parser/syntax.rs#L878 

Added line #L878 was not covered by tests

Check warning on line 894 in src/parser/syntax.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/parser/syntax.rs#L894 

Added line #L894 was not covered by tests

Check warning on line 911 in src/parser/syntax.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/parser/syntax.rs#L911 

Added line #L911 was not covered by tests
View more details on Codecov