Code

Condition Logic Checker#1114

Code

Merged

david-yz-liu merged 25 commits intopyta-uoft:masterpyta-uoft/pyta:masterfrom Raine-Yang-UofT:redundant-or-impossible-condition-checkerRaine-Yang-UofT/pyta:redundant-or-impossible-condition-checkerCopy head branch name to clipboardDec 19, 2024

+727-11

Commits

Commits on Nov 8, 2024

• feat: implement basic checker feature

  Show description for e30f7fa
  Raine-Yang-UofT

  committed
  e30f7fa

  Copy full SHA for e30f7fa

Commits on Nov 14, 2024

• feat: implement impossible-condition-checker

  Show description for 0f173f6
  Raine-Yang-UofT

  committed
  0f173f6

  Copy full SHA for 0f173f6

Commits on Nov 15, 2024

• fix: register checker to linter & add documentation

  Show description for a9b24f6
  Raine-Yang-UofT

  committed
  a9b24f6

  Copy full SHA for a9b24f6

• fix: fix typo in documentation

  Raine-Yang-UofT

  committed
  7bc4b7c

  Copy full SHA for 7bc4b7c

• fix: fix type annotation for compatibility with older Python version

  Raine-Yang-UofT

  committed
  a43c5bf

  Copy full SHA for a43c5bf

Commits on Nov 18, 2024

• ci: remove z3 option to rerun CI tests

  Raine-Yang-UofT

  committed
  b53c450

  Copy full SHA for b53c450

• fix: add node z3_constraint only if constraint is not none

  Show description for 613e81a
  Raine-Yang-UofT

  committed
  613e81a

  Copy full SHA for 613e81a

• tests: add docstrings in example test cases

  Raine-Yang-UofT

  committed
  65be1ed

  Copy full SHA for 65be1ed

• fix: fix failing unit tests

  Show description for 4be4558
  Raine-Yang-UofT

  committed
  4be4558

  Copy full SHA for 4be4558

Commits on Nov 21, 2024

• refactor: revert changes

  Show description for 6593e85
  Raine-Yang-UofT

  committed
  6593e85

  Copy full SHA for 6593e85

Commits on Nov 22, 2024

• docs: update examples

  Show description for 1d73c95
  Raine-Yang-UofT

  committed
  1d73c95

  Copy full SHA for 1d73c95

• refactor: rename checker

  Show description for 10076c9
  Raine-Yang-UofT

  committed
  10076c9

  Copy full SHA for 10076c9

Commits on Nov 26, 2024

• refactor: rename checker and remove outdated comments

  Raine-Yang-UofT

  committed
  fbca50e

  Copy full SHA for fbca50e

• refactor: revert changes to graph.py

  Raine-Yang-UofT

  committed
  54ad929

  Copy full SHA for 54ad929

• refactor: remove redundant helper function

  Show description for 5ab960b
  Raine-Yang-UofT

  committed
  5ab960b

  Copy full SHA for 5ab960b

• docs: refine examples

  Raine-Yang-UofT

  committed
  76aeafc

  Copy full SHA for 76aeafc

Commits on Nov 28, 2024

• fix: revert file path changes to test_exampes

  Raine-Yang-UofT

  committed
  ec386e9

  Copy full SHA for ec386e9

• Merge branch 'master' of https://github.com/pyta-uoft/pyta into redundant-or-impossible-condition-checker

  Raine-Yang-UofT

  committed
  68f736d

  Copy full SHA for 68f736d

• docs: refine documentation

  Raine-Yang-UofT

  committed
  78d4d2d

  Copy full SHA for 78d4d2d

Commits on Dec 1, 2024

• refactor: use Z3Environment to parse node condition

  Show description for 950e18a
  Raine-Yang-UofT

  committed
  950e18a

  Copy full SHA for 950e18a

• fix: fix failing test when multiple feasible branches are present

  Show description for ce10717
  Raine-Yang-UofT

  committed
  ce10717

  Copy full SHA for ce10717

Commits on Dec 13, 2024

• fix: fix condition logic error not ignored during reassignment

  Show description for a33367e
  Raine-Yang-UofT

  committed
  a33367e

  Copy full SHA for a33367e

• fix: resolve merge conflicts

  Raine-Yang-UofT

  committed
  e7a102c

  Copy full SHA for e7a102c

Commits on Dec 19, 2024

• refactor: refine comments and documentation

  Show description for 96aa91d
  Raine-Yang-UofT

  committed
  96aa91d

  Copy full SHA for 96aa91d

• fix: fix false error reporting when condition is None

  Show description for 1e0a29e
  Raine-Yang-UofT

  committed
  1e0a29e

  Copy full SHA for 1e0a29e