Search results

Ending locations not correctly set for slice nodes in multi-element subscript

Status: Open.

#1296 In pyta-uoft/pyta;

· david-yz-liu opened on Feb 6, 2026

Create check for valid precondition syntax

Status: Open.

#1294 In pyta-uoft/pyta;

· david-yz-liu opened on Jan 31, 2026

Create checkers for contract syntax

Status: Open.

#1293 In pyta-uoft/pyta;

· david-yz-liu opened on Jan 31, 2026

Modify snapshot function representation of classes

Status: Open.

#1289 In pyta-uoft/pyta;

· david-yz-liu opened on Jan 25, 2026

Use markupsafe.Markup templates for checker messages

Status: Open.

#1285 In pyta-uoft/pyta;

· david-yz-liu opened on Jan 18, 2026

Handle slicing operation with non-unit step length and indeterminant upper bound in <code>ExprWrapper</code>

Status: Open.

#1065 In pyta-uoft/pyta;

· Raine-Yang-UofT opened on Jul 15, 2024

Add unit tests for empty sets in <code>test_z3_visitor.py</code>

Status: Open.

#1063 In pyta-uoft/pyta;

· Raine-Yang-UofT opened on Jul 9, 2024

Reporter's Table of Contents incorrectly sized

Status: Open.

#1045 In pyta-uoft/pyta;

· quiz3 opened on May 25, 2024

Allow user to pin/highlight errors in HTML report

Status: Open.

#754 In pyta-uoft/pyta;

· david-yz-liu opened on Aug 23, 2021

Memory usage increases with every "check_all" call

Status: Open.

#646 In pyta-uoft/pyta;

· utmandrew opened on Sep 12, 2020

Feature request: PyCharm plugin providing a tooltip with error description and a link to PyTA website

Status: Open.

#229 In pyta-uoft/pyta;

· ostrokach opened on Jun 5, 2017