Issues: polywit/polywit
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
✅: Support Python Validation
documentation
Improvements or additions to documentation
enhancement
New feature or request
help wanted
Extra attention is needed
python
java For changes relating to the Python validator
✨: Add ability to configure settings from a config file
common
For common frontend functionality
enhancement
New feature or request
✨: Support correctness witness validation
common
For common frontend functionality
enhancement
New feature or request
🐛: Giving paths with the alias Something isn't working
common
For common frontend functionality
~
isn't recognised as a valid directory
bug
📝: Add more details to Implementation documentation
documentation
Improvements or additions to documentation
✨: Improve Java Assumption Extraction
enhancement
New feature or request
java
For changes relating to the Java validator
ProTip!
Follow long discussions with comments:>50.