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

Feature/decl assign params #1441

Merged
merged 17 commits into from
Jul 25, 2024

Fix monotone framework expression detection

f10b7a9
Select commit
Loading
Failed to load commit list.
Merged

Feature/decl assign params #1441

Fix monotone framework expression detection
f10b7a9
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 23, 2024 in 0s

80.00% of diff hit (target 0.00%)

View this Pull Request on Codecov

80.00% of diff hit (target 0.00%)

Annotations

Check warning on line 434 in src/analysis_and_optimization/Memory_patterns.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analysis_and_optimization/Memory_patterns.ml#L434 

Added line #L434 was not covered by tests

Check warning on line 602 in src/analysis_and_optimization/Memory_patterns.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analysis_and_optimization/Memory_patterns.ml#L601-L602 

Added lines #L601 - L602 were not covered by tests

Check warning on line 76 in src/analysis_and_optimization/Monotone_framework.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analysis_and_optimization/Monotone_framework.ml#L76 

Added line #L76 was not covered by tests

Check warning on line 627 in src/analysis_and_optimization/Monotone_framework.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analysis_and_optimization/Monotone_framework.ml#L627 

Added line #L627 was not covered by tests

Check warning on line 663 in src/analysis_and_optimization/Monotone_framework.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analysis_and_optimization/Monotone_framework.ml#L663 

Added line #L663 was not covered by tests

Check warning on line 757 in src/analysis_and_optimization/Optimize.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analysis_and_optimization/Optimize.ml#L756-L757 

Added lines #L756 - L757 were not covered by tests

Check warning on line 28 in src/middle/Stmt.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/middle/Stmt.ml#L28 

Added line #L28 was not covered by tests

Check warning on line 37 in src/middle/Stmt.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/middle/Stmt.ml#L37 

Added line #L37 was not covered by tests

Check warning on line 78 in src/middle/Stmt.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/middle/Stmt.ml#L78 

Added line #L78 was not covered by tests

Check warning on line 80 in src/middle/Stmt.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/middle/Stmt.ml#L80 

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