Labels

• Assertions Tool

  Issues pertaining to the Assertions tool (declarative statements about student code)
• bug

  Something isn't working
• Cait Tool

  Issues pertaining to the CAIT tool (statically searching student code)
• cli

  Issues pertaining to the Command Line infrastructure (testing tests, analyzing student code)
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• Environments

  Issues pertaining to custom environments (e.g., command line, quick, blockpy, jupyter)
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• inspiration
• invalid

  This doesn't seem right
• laundry list

  This issue raises a number of bugs or enhancements
• meta

  This issue is about process-oriented stuff regarding Pedal
• New module

  Proposal for a new tool/module to Pedal
• out-of-date

  This issue might no longer be relevant and needs to be verified
• Pedal Core

  Issues pertaining to Reports, Submissions, and other core infrastructure
• question

  Further information is requested
• Questions Tool

  Issues pertaining to Question tool (compartmentalizing questions and question pools)
• Resolver

  Issues pertaining to Resolvers (deciding what feedback to show)
• Sandbox Tool

  Issues pertaining to the Sandbox module (running student code)
• Source Tool

  Issues pertaining to the Source tool (verifying/managing student code)
• Tifa Tool

  Issues pertaining to the TIFA tool (statically analyzing student code)
• Types

  Issues related to Pedal's internal type system, or alternative type systems
• wontfix

  This will not be worked on