-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Build packages for distribution
enhancement 💡New feature or requestNew feature or requesthelp wanted 🙏Some assistance is requiredSome assistance is requiredStatus: Open.#49 In sillydan1/aaltitoad;Catch SIGTERM and handle it properly
enhancement 💡New feature or requestNew feature or requestgood first issue 🧑💻Good for newcomersGood for newcomersStatus: Open.#48 In sillydan1/aaltitoad;CI for OSX and Windows
enhancement 💡New feature or requestNew feature or requestgood first issue 🧑💻Good for newcomersGood for newcomershelp wanted 🙏Some assistance is requiredSome assistance is requiredStatus: Open.#45 In sillydan1/aaltitoad;AG queries with counterexamples is doubly-inverted, which is confusing.
bug 🐛Something isn't workingSomething isn't workingStatus: Open.#41 In sillydan1/aaltitoad;Naive implementation in plugin system
good first issue 🧑💻Good for newcomersGood for newcomershelp wanted 🙏Some assistance is requiredSome assistance is requiredStatus: Open.#40 In sillydan1/aaltitoad;Statistics to file / pipe
enhancement 💡New feature or requestNew feature or requestStatus: Open.#38 In sillydan1/aaltitoad;