Metadata-Version: 2.0
Name: Pedal
Version: 0.1.1.dev0
Summary: Tools for analyzing student code.
Home-page: https://github.com/acbart/pedal
Author: acbart,lukesg08
Author-email: acbart9@gmail.com
License: Creative Commons Attribution-Noncommercial-Share Alike license
Description-Content-Type: UNKNOWN
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3

Pedal
=====

A collection of tools to analyze student's Python source code

TIFA
----

Tifa is a Type Inferencer and Flow Analyzer. Its goal is not to be a general purpose tool for doing so, but to be focused on simplistic code written in pedagogical settings. This means that it can make a lot of assumptions and forbid a lot of features. Further, it's primary job is not just to collect type information, but to detect issues in the code (e.g., a variable changes type, a variable is not read, a variable is defined in one scope then used in another).

CAIT
----

Capturer for AST Inclusion Trees. Its goal is to take a a desired AST and a target AST. CAIT captures trees in the target ast that include the desired AST.

Feedback
--------

Given the results of execution and analysis, this tool determines what kind of feedback to deliver to the student.

Mistakes
--------

Sandbox
-------

Environments
------------

Report
------


