added inequality reasoning to calc, z3_match, Cond utility #13
philzook58Annotations
30 errors and 3 warnings
|
Ruff (E402):
docs/conf.py#L16
docs/conf.py:16:1: E402 Module level import not at top of file
|
|
Ruff (E402):
docs/conf.py#L17
docs/conf.py:17:1: E402 Module level import not at top of file
|
|
Ruff (E713):
knuckledragger/tactics.py#L144
knuckledragger/tactics.py:144:20: E713 Test for membership should be `not in`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:34: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:38: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:48: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:54: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:24: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:28: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:38: F821 Undefined name `n`
|
|
Ruff (E402):
docs/conf.py#L16
docs/conf.py:16:1: E402 Module level import not at top of file
|
|
Ruff (E402):
docs/conf.py#L17
docs/conf.py:17:1: E402 Module level import not at top of file
|
|
Ruff (E713):
knuckledragger/tactics.py#L144
knuckledragger/tactics.py:144:20: E713 Test for membership should be `not in`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:34: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:38: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:48: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:54: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:24: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:28: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:38: F821 Undefined name `n`
|
|
Ruff (E402):
docs/conf.py#L16
docs/conf.py:16:1: E402 Module level import not at top of file
|
|
Ruff (E402):
docs/conf.py#L17
docs/conf.py:17:1: E402 Module level import not at top of file
|
|
Ruff (E713):
knuckledragger/tactics.py#L144
knuckledragger/tactics.py:144:20: E713 Test for membership should be `not in`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:34: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:38: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:48: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L9
knuckledragger/theories/Int.py:9:54: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:24: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:28: F821 Undefined name `n`
|
|
Ruff (F821):
knuckledragger/theories/Int.py#L11
knuckledragger/theories/Int.py:11:38: F821 Undefined name `n`
|
|
build (3.11)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (3.10)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (3.9)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|