Search results

Build packages for distribution

enhancement 💡New feature or requestNew feature or request

help wanted 🙏Some assistance is requiredSome assistance is required

Status: Open.

#49 In sillydan1/aaltitoad;

· sillydan1 opened on May 1, 2023

Catch SIGTERM and handle it properly

enhancement 💡New feature or requestNew feature or request

good first issue 🧑‍💻Good for newcomersGood for newcomers

Status: Open.

#48 In sillydan1/aaltitoad;

· sillydan1 opened on Apr 29, 2023

CI for OSX and Windows

enhancement 💡New feature or requestNew feature or request

good first issue 🧑‍💻Good for newcomersGood for newcomers

help wanted 🙏Some assistance is requiredSome assistance is required

Status: Open.

#45 In sillydan1/aaltitoad;

· sillydan1 opened on Mar 20, 2023

AG queries with counterexamples is doubly-inverted, which is confusing.

bug 🐛Something isn't workingSomething isn't working

Status: Open.

#41 In sillydan1/aaltitoad;

· sillydan1 opened on Dec 22, 2022

Naive implementation in plugin system

good first issue 🧑‍💻Good for newcomersGood for newcomers

help wanted 🙏Some assistance is requiredSome assistance is required

Status: Open.

#40 In sillydan1/aaltitoad;

· sillydan1 opened on Dec 20, 2022

Statistics to file / pipe

enhancement 💡New feature or requestNew feature or request

Status: Open.

#38 In sillydan1/aaltitoad;

· sillydan1 opened on Dec 11, 2022