pyta-uoft/pyta issues and pull requests

#1058 - Remove Redundant Line in test_examples.py

Pull Request - State: closed - Opened by quiz3 7 days ago - 2 comments

#1057 - Fix typo in CFGVisitor

Pull Request - State: closed - Opened by quiz3 9 days ago - 4 comments

#1056 - augment cfg with z3 vars

Pull Request - State: open - Opened by quiz3 14 days ago - 1 comment

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

Pull Request - State: closed - Opened by Raine-Yang-UofT 19 days ago - 9 comments

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

Pull Request - State: closed - Opened by lana-w 29 days ago - 9 comments

#1053 - Update usage messages in examples/sample_usage module

Pull Request - State: closed - Opened by quiz3 30 days ago - 1 comment

#1052 - Updated Dependencies and Dependabot Config

Pull Request - State: closed - Opened by quiz3 about 1 month ago - 2 comments

#1051 - Allow tests to run on draft PRs

Pull Request - State: closed - Opened by quiz3 about 1 month ago - 1 comment

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

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

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

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

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

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

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

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

#1046 - Fix GitHub Action Tests

Pull Request - State: closed - Opened by quiz3 about 1 month ago - 6 comments

#1045 - Reporter's Table of Contents incorrectly sized

Issue - State: open - Opened by quiz3 about 1 month ago

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

Issue - State: open - Opened by quiz3 about 1 month ago

#1043 - Parametrized tests for test_pycodestyle_checker

Pull Request - State: closed - Opened by lana-w about 1 month ago - 4 comments

#1042 - test: Refactor `test_check_on_dir` method

Pull Request - State: closed - Opened by Raine-Yang-UofT about 1 month ago - 2 comments

#1041 - Update defunct paths in README

Pull Request - State: closed - Opened by quiz3 about 1 month ago - 1 comment

#1040 - Accumulation Table Incompatible with Coverage Tests

Issue - State: closed - Opened by quiz3 about 1 month ago

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

Pull Request - State: closed - Opened by quiz3 about 1 month ago - 4 comments

#1038 - test: Add unit tests for pep8 errors

Pull Request - State: closed - Opened by Raine-Yang-UofT about 1 month ago - 3 comments

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

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

#1036 - Added Tests for PycodestyleChecker

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

#1035 - test: Add unit tests for pep8 errors

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

#1034 - Update pull request template and changelog format

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

#1033 - Added function preconditions to initial function CFG edge

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

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

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

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

Pull Request - State: closed - Opened by elescogna 3 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] 3 months ago - 1 comment
Labels: dependencies

#1029 - Extending snapshot for user-defined classes

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

#1028 - Snapshot step 2

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

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

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

#1026 - Update to pylint v3.1

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

#1025 - Raise AssertionError when precondition contains precondition violations

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

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

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

#1023 - Fixed crashes at PossiblyUndefinedChecker #981

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

#1022 - Issue 998 - Ignore naming convention violation option

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

#1021 - snapshot_to_json step1

Pull Request - State: closed - Opened by umututku03 4 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] 4 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] 4 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 4 months ago - 1 comment

#1017 - Fix C0410 error message

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

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

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

#1015 - New PEP8 custom renderers for error E123

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

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

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

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

Pull Request - State: closed - Opened by MariaMa-GitHub 5 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 5 months ago

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

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

#1010 - Allowed importing specific names for ForbiddenImportChecker

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

#1009 - Allowing specific function imports to ForbiddenImportChecker

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

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

Pull Request - State: closed - Opened by elescogna 5 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 5 months ago - 5 comments

#1006 - W3301 nested min/max consider different types

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

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

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

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

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

#1003 - check_contracts fails silently when preconditions contain precondition violations

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

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

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

#1001 - Added example and documentation for W1117 checker

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

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

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

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

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

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

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

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

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