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

Add := operator for Boolean satisfiability problems #3530

Merged
merged 8 commits into from
Oct 15, 2023

Apply suggestions from code review

fa07a0f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add := operator for Boolean satisfiability problems #3530

Apply suggestions from code review
fa07a0f
Select commit
Loading
Failed to load commit list.
GitHub Actions / vale completed Oct 13, 2023 in 1s

reviewdog [vale] report

reported by reviewdog 🐶

Findings (5)

docs/src/packages/Loraine.md|78 col 20| [Google.Ellipses] In general, don't use an ellipsis.
docs/src/packages/Ipopt.md|241 col 33| [Google.Colons] ': L' should be in lowercase.
docs/src/tutorials/applications/optimal_power_flow.md|522 col 13| [Google.Colons] ': G' should be in lowercase.
docs/src/tutorials/applications/optimal_power_flow.md|522 col 34| [Google.Colons] ': O' should be in lowercase.
docs/src/tutorials/applications/optimal_power_flow.md|531 col 11| [Google.Colons] ': S' should be in lowercase.

Filtered Findings (0)

Annotations

Check warning on line 78 in docs/src/packages/Loraine.md

See this annotation in the file changed.

@github-actions github-actions / vale

[vale] docs/src/packages/Loraine.md#L78 

[Google.Ellipses] In general, don't use an ellipsis.
Raw output 
{"message": "[Google.Ellipses] In general, don't use an ellipsis.", "location": {"path": "docs/src/packages/Loraine.md", "range": {"start": {"line": 78, "column": 20}}}, "severity": "WARNING"}

Check warning on line 241 in docs/src/packages/Ipopt.md

See this annotation in the file changed.

@github-actions github-actions / vale

[vale] docs/src/packages/Ipopt.md#L241 

[Google.Colons] ': L' should be in lowercase.
Raw output 
{"message": "[Google.Colons] ': L' should be in lowercase.", "location": {"path": "docs/src/packages/Ipopt.md", "range": {"start": {"line": 241, "column": 33}}}, "severity": "WARNING"}

Check warning on line 522 in docs/src/tutorials/applications/optimal_power_flow.md

See this annotation in the file changed.

@github-actions github-actions / vale

[vale] docs/src/tutorials/applications/optimal_power_flow.md#L522 

[Google.Colons] ': G' should be in lowercase.
Raw output 
{"message": "[Google.Colons] ': G' should be in lowercase.", "location": {"path": "docs/src/tutorials/applications/optimal_power_flow.md", "range": {"start": {"line": 522, "column": 13}}}, "severity": "WARNING"}

Check warning on line 522 in docs/src/tutorials/applications/optimal_power_flow.md

See this annotation in the file changed.

@github-actions github-actions / vale

[vale] docs/src/tutorials/applications/optimal_power_flow.md#L522 

[Google.Colons] ': O' should be in lowercase.
Raw output 
{"message": "[Google.Colons] ': O' should be in lowercase.", "location": {"path": "docs/src/tutorials/applications/optimal_power_flow.md", "range": {"start": {"line": 522, "column": 34}}}, "severity": "WARNING"}

Check warning on line 531 in docs/src/tutorials/applications/optimal_power_flow.md

See this annotation in the file changed.

@github-actions github-actions / vale

[vale] docs/src/tutorials/applications/optimal_power_flow.md#L531 

[Google.Colons] ': S' should be in lowercase.
Raw output 
{"message": "[Google.Colons] ': S' should be in lowercase.", "location": {"path": "docs/src/tutorials/applications/optimal_power_flow.md", "range": {"start": {"line": 531, "column": 11}}}, "severity": "WARNING"}
View more details on GitHub Actions