pyta-uoft/pyta issues and pull requests

#1081 - Replaced all instances of outdated type annotations (List, Dict, etc.…)

Pull Request - State: open - Opened by CulmoneY 22 days ago

#1080 - refactor: Refactor ExprWrapper and Rename it to Z3Parser

Pull Request - State: closed - Opened by Raine-Yang-UofT 25 days ago - 1 comment

#1079 - build(deps): update astroid requirement from ~=3.2.4 to >=3.2.4,<3.4.0

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, python

#1078 - build(deps): bump actions/setup-python from 5.1.1 to 5.2.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 1 comment
Labels: dependencies, github_actions

#1077 - Release v2.8.1!

Pull Request - State: closed - Opened by david-yz-liu about 2 months ago - 1 comment

#1076 - refactor: Add `negate` Attribute to `CFGEdge`

Pull Request - State: closed - Opened by Raine-Yang-UofT about 2 months ago - 1 comment

#1075 - Snapshot save feature

Pull Request - State: closed - Opened by lana-w about 2 months ago - 2 comments

#1074 - refactor: Change `inferred` to `safe_infer` and Add Handling for `AstroidError` in `Z3Visitor`

Pull Request - State: closed - Opened by Raine-Yang-UofT about 2 months ago - 1 comment

#1073 - feat: Support `!=` Operator in ExprWrapper

Pull Request - State: closed - Opened by Raine-Yang-UofT about 2 months ago - 1 comment

#1072 - Add Z3 Constraints to CFG Edges

Pull Request - State: closed - Opened by Raine-Yang-UofT 2 months ago - 1 comment

#1071 - build(deps): bump actions/setup-python from 5.1.0 to 5.1.1

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, github_actions

#1070 - Add Z3 Constraints to CFG Edges

Pull Request - State: closed - Opened by Raine-Yang-UofT 2 months ago

#1069 - Exclude node_modules/ from package autodiscovery

Pull Request - State: closed - Opened by david-yz-liu 2 months ago - 1 comment

#1068 - Update pylint to v3.2.6 and astroid to v3.2.4

Pull Request - State: closed - Opened by david-yz-liu 2 months ago - 1 comment

#1067 - Fix Pytest Warnings

Pull Request - State: closed - Opened by quiz3 3 months ago - 1 comment

#1066 - Parsing string variables and operators to z3 constraints in `ExprWrapper`

Pull Request - State: closed - Opened by Raine-Yang-UofT 3 months ago - 1 comment

#1065 - Handle slicing operation with non-unit step length and indeterminant upper bound in `ExprWrapper`

Issue - State: open - Opened by Raine-Yang-UofT 3 months ago

#1064 - Updated snapshot.py to align with MemoryViz 0.2.0 changes

Pull Request - State: closed - Opened by lana-w 3 months ago - 2 comments

#1063 - Add unit tests for empty sets in `test_z3_visitor.py`

Issue - State: open - Opened by Raine-Yang-UofT 3 months ago

#1062 - Perform `z3.simplify()` in `z3_visitor.py`

Issue - State: open - Opened by Raine-Yang-UofT 3 months ago

#1061 - feat: add support for container literals and in operator in ExprWrapper

Pull Request - State: closed - Opened by Raine-Yang-UofT 3 months ago - 3 comments

#1060 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 3 months ago - 1 comment

#1059 - build(deps): bump actions/checkout from 4.1.6 to 4.1.7

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, github_actions

#1058 - Remove Redundant Line in test_examples.py

Pull Request - State: closed - Opened by quiz3 3 months ago - 2 comments

#1057 - Fix typo in CFGVisitor

Pull Request - State: closed - Opened by quiz3 3 months ago - 4 comments

#1056 - augment cfg with z3 vars

Pull Request - State: closed - Opened by quiz3 4 months ago - 3 comments

#1055 - feat: Implement checkers for inconsistent and missing return statements

Pull Request - State: closed - Opened by Raine-Yang-UofT 4 months ago - 9 comments

#1054 - Added option to python_ta.check_all() to run black formatting tool

Pull Request - State: closed - Opened by lana-w 4 months ago - 9 comments

#1053 - Update usage messages in examples/sample_usage module

Pull Request - State: closed - Opened by quiz3 4 months ago - 1 comment

#1052 - Updated Dependencies and Dependabot Config

Pull Request - State: closed - Opened by quiz3 4 months ago - 2 comments

#1051 - Allow tests to run on draft PRs

Pull Request - State: closed - Opened by quiz3 4 months ago - 1 comment

#1050 - build(deps): update requests requirement from <2.32,>=2.28 to >=2.28,<2.33

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#1049 - build(deps): update astroid requirement from ~=3.1.0 to >=3.1,<3.3

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#1048 - build(deps): update pylint requirement from ~=3.1.0 to >=3.1,<3.3

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 2 comments
Labels: dependencies

#1047 - build(deps): update pygments requirement from <2.18,>=2.14 to >=2.14,<2.19

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#1046 - Fix GitHub Action Tests

Pull Request - State: closed - Opened by quiz3 4 months ago - 6 comments

#1045 - Reporter's Table of Contents incorrectly sized

Issue - State: open - Opened by quiz3 4 months ago

#1044 - Reporters open when not supposed to (and nameless file tested)

Issue - State: open - Opened by quiz3 4 months ago

#1043 - Parametrized tests for test_pycodestyle_checker

Pull Request - State: closed - Opened by lana-w 5 months ago - 4 comments

#1042 - test: Refactor `test_check_on_dir` method

Pull Request - State: closed - Opened by Raine-Yang-UofT 5 months ago - 2 comments

#1041 - Update defunct paths in README

Pull Request - State: closed - Opened by quiz3 5 months ago - 1 comment

#1040 - Accumulation Table Incompatible with Coverage Tests

Issue - State: closed - Opened by quiz3 5 months ago

#1039 - Moved tests and increased coverage of main.py

Pull Request - State: closed - Opened by quiz3 5 months ago - 4 comments

#1038 - test: Add unit tests for pep8 errors

Pull Request - State: closed - Opened by Raine-Yang-UofT 5 months ago - 3 comments

#1037 - Additional Pycodestyle Checker Tests - E304, 303, 301, 275, 266

Pull Request - State: closed - Opened by lana-w 5 months ago - 2 comments

#1036 - Added Tests for PycodestyleChecker

Pull Request - State: closed - Opened by quiz3 5 months ago - 1 comment

#1035 - test: Add unit tests for pep8 errors

Pull Request - State: closed - Opened by Raine-Yang-UofT 5 months ago - 2 comments

#1034 - Update pull request template and changelog format

Pull Request - State: closed - Opened by david-yz-liu 5 months ago - 1 comment

#1033 - Added function preconditions to initial function CFG edge

Pull Request - State: closed - Opened by michaelZhaoCode 6 months ago - 1 comment

#1032 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago - 1 comment

#1031 - Fixed infinite recursion in representation invariants with method calls

Pull Request - State: closed - Opened by elescogna 6 months ago - 1 comment

#1030 - build(deps-dev): update pytest-cov requirement from <4.2,>=4.0 to >=4.0,<5.1

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies

#1029 - Extending snapshot for user-defined classes

Pull Request - State: closed - Opened by umututku03 6 months ago - 1 comment

#1028 - Snapshot step 2

Pull Request - State: closed - Opened by umututku03 6 months ago - 1 comment

#1027 - added CFGEdge augment to store condition node in If/While conditions

Pull Request - State: closed - Opened by michaelZhaoCode 7 months ago - 1 comment

#1026 - Update to pylint v3.1

Pull Request - State: closed - Opened by david-yz-liu 7 months ago - 1 comment

#1025 - Raise AssertionError when precondition contains precondition violations

Pull Request - State: closed - Opened by elescogna 7 months ago - 1 comment

#1024 - allowed annotated constants to be permitted as top level code

Pull Request - State: closed - Opened by michaelZhaoCode 7 months ago - 1 comment

#1023 - Fixed crashes at PossiblyUndefinedChecker #981

Pull Request - State: closed - Opened by MariaMa-GitHub 7 months ago - 1 comment

#1022 - Issue 998 - Ignore naming convention violation option

Pull Request - State: closed - Opened by elescogna 7 months ago - 1 comment

#1021 - snapshot_to_json step1

Pull Request - State: closed - Opened by umututku03 7 months ago - 1 comment

#1020 - build(deps-dev): update astroid requirement from ~=3.0.1 to >=3.0.1,<3.2.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 2 comments
Labels: dependencies

#1019 - build(deps-dev): update pylint requirement from ~=3.0.2 to >=3.0.2,<3.2.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 2 comments
Labels: dependencies

#1018 - Ensure _ is removed from builtins when python_ta is imported

Pull Request - State: closed - Opened by david-yz-liu 7 months ago - 1 comment

#1017 - Fix C0410 error message

Pull Request - State: closed - Opened by michaelZhaoCode 7 months ago - 2 comments

#1016 - Created new PEP8 custom renders for E222 and E262

Pull Request - State: closed - Opened by MariaMa-GitHub 8 months ago - 1 comment

#1015 - New PEP8 custom renderers for error E123

Pull Request - State: closed - Opened by michaelZhaoCode 8 months ago - 1 comment

#1014 - Update nodes documentation to include doc_node instead of doc

Pull Request - State: closed - Opened by elescogna 8 months ago - 1 comment

#1013 - Created new PEP8 custom renders for E222 and E262

Pull Request - State: closed - Opened by MariaMa-GitHub 8 months ago - 2 comments

#1012 - Adding type annotation to a constant causes a E9992 (forbidden-top-level-code)

Issue - State: closed - Opened by ch-iv 8 months ago

#1011 - New PEP8 custom renderers for error E203 and E226

Pull Request - State: closed - Opened by elescogna 8 months ago - 1 comment

#1010 - Allowed importing specific names for ForbiddenImportChecker

Pull Request - State: closed - Opened by michaelZhaoCode 8 months ago - 1 comment

#1009 - Allowing specific function imports to ForbiddenImportChecker

Pull Request - State: closed - Opened by michaelZhaoCode 8 months ago - 1 comment

#1008 - Added pycodestyle error code to the error message in pycodestyle_checker

Pull Request - State: closed - Opened by elescogna 8 months ago - 1 comment

#1007 - Make PlainReporter and ColorReporter display the time that the report was generated

Pull Request - State: closed - Opened by MariaMa-GitHub 8 months ago - 5 comments

#1006 - W3301 nested min/max consider different types

Issue - State: open - Opened by klokailo 8 months ago

#1005 - Fixed a small typo in PythonTA Checks documentation page

Pull Request - State: closed - Opened by MariaMa-GitHub 8 months ago - 2 comments

#1004 - Enhancement: Extended Snapshot - Capturing Variables in 'main' Stack Frame

Pull Request - State: closed - Opened by umututku03 8 months ago - 2 comments

#1003 - check_contracts fails silently when preconditions contain precondition violations

Issue - State: closed - Opened by jcal13 8 months ago

#1002 - Add documentation and example of E3701 Invalid Field Call

Pull Request - State: closed - Opened by michaelZhaoCode 8 months ago - 2 comments

#1001 - Added example and documentation for W1117 checker

Pull Request - State: closed - Opened by elescogna 9 months ago - 2 comments

#1000 - Added documentation and code examples for W0134 return-in-finally checker

Pull Request - State: closed - Opened by MariaMa-GitHub 9 months ago - 1 comment

#999 - Add PyTA Documentation for W0134 return-in-finally Pylint Checker

Issue - State: closed - Opened by MariaMa-GitHub 9 months ago

#998 - Ignore C9103 For Unit Tests (Function Name Exceeds Max Characters [30])

Issue - State: closed - Opened by klokailo 9 months ago

#997 - Update jQuery to 3.7.1.slim and add to .prettierignore

Pull Request - State: closed - Opened by david-yz-liu 9 months ago - 1 comment