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

[compiler-v2][decompiler] Pulling fat-loop algorithm out of the prover #14488

Merged
merged 2 commits into from
Sep 23, 2024

Merge branch 'main' into wrwg/fat-loop

52dcfa8
Select commit
Loading
Failed to load commit list.
Merged

[compiler-v2][decompiler] Pulling fat-loop algorithm out of the prover #14488

Merge branch 'main' into wrwg/fat-loop
52dcfa8
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Sep 23, 2024 in 1s

86.6% of diff hit (target 71.9%)

View this Pull Request on Codecov

86.6% of diff hit (target 71.9%)

Annotations

Check warning on line 110 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L106-L110 

Added lines #L106 - L110 were not covered by tests

Check warning on line 146 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L146 

Added line #L146 was not covered by tests

Check warning on line 165 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L165 

Added line #L165 was not covered by tests

Check warning on line 168 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L168 

Added line #L168 was not covered by tests

Check warning on line 179 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L179 

Added line #L179 was not covered by tests

Check warning on line 196 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L196 

Added line #L196 was not covered by tests

Check warning on line 212 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L205-L212 

Added lines #L205 - L212 were not covered by tests

Check warning on line 258 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L253-L258 

Added lines #L253 - L258 were not covered by tests

Check warning on line 362 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L357-L362 

Added lines #L357 - L362 were not covered by tests

Check warning on line 427 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L427 

Added line #L427 was not covered by tests

Check warning on line 435 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L433-L435 

Added lines #L433 - L435 were not covered by tests

Check warning on line 458 in third_party/move/move-model/bytecode/src/fat_loop.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-model/bytecode/src/fat_loop.rs#L458 

Added line #L458 was not covered by tests

Check warning on line 60 in third_party/move/move-prover/bytecode-pipeline/src/loop_analysis.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-prover/bytecode-pipeline/src/loop_analysis.rs#L55-L60 

Added lines #L55 - L60 were not covered by tests
View more details on Codecov