This release is a pre-release and may not be stable for production use.
Pedal
A collection of tools to analyze student’s work in a pipeline.
Important Concepts
Report: A collection of X and namespaces for the results of Tools.
Tool: A system that can use a Report to add new information to the Report.
Resolver: A system that can analyze a Report and create a relevant bit of output for another system (e.g., BlockPy, Web-CAT).
Tools
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, and captures trees in the target ast that include the desired AST.
Mistakes
A collection of code configuration patterns that represent common mistakes for students. These mistakes are grouped together by topics.
Rerun
A simplistic system for running students’ code under different circumstances (e.g., new stdin or arguments). Does not have many of the assurances that the Sandbox module does for executing student code more safely.
Rerun exists because not every environment supported by Pedal has access to certain code execution function (e.g., exec and patch). If you are using a regular Python engine (e.g., CPython) then you should consider using the Sandbox module.
Sandbox
A sophisticated system for executing students’ code under different circumstances. Improves upon the Rerun module by relying on the exec and patch tools of Python.
However, you should be aware that true sandboxing is impossible in a dynamic language like Python. Be sure that your environment has multiple lines of defense, such as proper file system permissions.
Resolvers
FCFS
This resolver finds the highest priority message to deliver to the student, depending on a pre-established bit of logic for tools.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file Pedal-0.1.3.dev0.tar.gz.
File metadata
- Download URL: Pedal-0.1.3.dev0.tar.gz
- Upload date:
- Size: 54.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
5707bfbdffefbe659639251e16737977882a578a4934edd3058a5859763a2f05
|
|
| MD5 |
7b55865cb9d9d26f334e1080b12eb8a8
|
|
| BLAKE2b-256 |
abfbc23636e8cb70de5b08d7e1b8a60b4bb77abe3e01643794e80cc9e033859a
|
File details
Details for the file Pedal-0.1.3.dev0-py3-none-any.whl.
File metadata
- Download URL: Pedal-0.1.3.dev0-py3-none-any.whl
- Upload date:
- Size: 70.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
bf441e77baca042475e41649515d2c014830fc7d877a9f8c051de269ae606805
|
|
| MD5 |
c815817d35b748624588f1e6bc27480a
|
|
| BLAKE2b-256 |
d7db55f76a9f9d4c896bb140c759d1985e4cc3eb99b16ef29e28af3db640b2a9
|
