Labels

• Bug: P Checker

  Bug in the P Checker
• BUG: P Compiler

  Bug in the P Compiler
• BUG: P Runtime

  Bug in the P's C# Runtime
• BuildSystem

  Build System Related
• dependencies

  Pull requests that update a dependency file
• Done (Available in next release)

  Fixed this issue and will be available in the next release of P
• Feature Request

  Feature Request or Enhancement
• Help!

  Helpful Information
• Information
• java

  Pull requests that update java code
• P Checker Enhancement

  New features for P Checker
• P Compiler Enhancement

  Improving the P Compiler
• P Language Enhancement

  New language features for P
• P Module System (Compositional Reasoning)

  Related to the P module system
• Question

  Question!
• WontFix
• Work In Progress