Skip to content

Add := operator for Boolean satisfiability problems #4075

Add := operator for Boolean satisfiability problems

Add := operator for Boolean satisfiability problems #4075

GitHub Actions / vale completed Oct 12, 2023 in 0s

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"}