add more types#473

Merged

mzuenni merged 32 commits intomainfrom

Oct 29, 2025

Commits on Oct 28, 2025

Add more types

mzuenni
authored and
RagnarGrootKoerkamp
committed
rework default solution

mzuenni
authored and
RagnarGrootKoerkamp
committed
more typing

mzuenni
authored and
RagnarGrootKoerkamp
committed

Commits on Oct 29, 2025

Introduce config.Args class

mzuenni
authored and
RagnarGrootKoerkamp
committed
fix use of bool variable and moved deprecation warning

mzuenni
authored and
RagnarGrootKoerkamp
committed
enable strict

mzuenni
authored and
RagnarGrootKoerkamp
committed
ignore code not used for bt

mzuenni
authored and
RagnarGrootKoerkamp
committed
made parsing more lenient

mzuenni
authored and
RagnarGrootKoerkamp
committed
Update handling of default solution

mzuenni
authored and
RagnarGrootKoerkamp
committed
fix

mzuenni
authored and
RagnarGrootKoerkamp
committed
use generator for counting testcases

mzuenni
authored and
RagnarGrootKoerkamp
committed
use ProgressBar

mzuenni
authored and
RagnarGrootKoerkamp
committed
cleanup

mzuenni
authored and
RagnarGrootKoerkamp
committed
empty keys should be None

mzuenni
authored and
RagnarGrootKoerkamp
committed
Cleanup & fix tests

mzuenni
authored and
RagnarGrootKoerkamp
committed
disallow star imports

mzuenni
authored and
RagnarGrootKoerkamp
committed
Add doc/workflow.md
RagnarGrootKoerkamp
committed
remove * import

mzuenni
authored and
RagnarGrootKoerkamp
committed
Improve typing

mzuenni
authored and
RagnarGrootKoerkamp
committed
print => eprint to get rid of all file=sys.stderr

mzuenni
authored and
RagnarGrootKoerkamp
committed
removed unused file argument

mzuenni
authored and
RagnarGrootKoerkamp
committed
Code cleanup to reduce line wrapping

mzuenni
authored and
RagnarGrootKoerkamp
committed
less flickering in verdicts :)

mzuenni
authored and
RagnarGrootKoerkamp
committed
use error instead of difference in wording

mzuenni
authored and
RagnarGrootKoerkamp
committed
Use PrintBar instead of 'message()' fn

mzuenni
authored and
RagnarGrootKoerkamp
committed
remove unreachable code

mzuenni
authored and
RagnarGrootKoerkamp
committed
fix interactive multipass logic

mzuenni
authored and
RagnarGrootKoerkamp
committed
Ruff sorts imports

mzuenni
authored and
RagnarGrootKoerkamp
committed
automatically organize imports

mzuenni
authored and
RagnarGrootKoerkamp
committed
Warn if output validator ever crashes

mzuenni
authored and
RagnarGrootKoerkamp
committed
Review fixes/comments
RagnarGrootKoerkamp
committed
Update testcase.py
mzuenni
authored