Owner

testsmt

1 indexed repository · View on GitHub

Beginner friendly Everything

Open All

Fix CI Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 25/100

testsmt/yinyang#71 · Opened Aug 19, 2026
Make CI tests faster Open

Difficulty 4/5 3-5 days Newbie friendliness 55/100

testsmt/yinyang#70 · 1 comment · Opened Aug 19, 2026
Add a pre-release.yml Open

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

testsmt/yinyang#69 · 1 comment · Opened Aug 19, 2026
High memory usage Open

testsmt/yinyang#47 · 1 assignee · Opened Jan 11, 2022
Extend type-checker Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

testsmt/yinyang#36 · 1 comment · Opened Jul 7, 2021
Support for Z3 tactics Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 30/100

testsmt/yinyang#27 · Opened May 25, 2021

Get new issues in your inbox