Refactor #6

Merged

Ghost merged 7 commits from refs/pull/6/head into master 2026-04-10 18:16:49 +01:00

Conversation 0 Commits 7 Files Changed 74 +6 -26

7 Commits

Author	SHA1	Message	Date
Artur Meski	38182de307	CI tests: split	2026-04-10 18:13:31 +01:00
Artur Meski	54c8320a30	CI tests	2026-04-10 18:11:36 +01:00
Artur Meski	e1f7a0e91a	Test runner	2026-04-10 18:00:10 +01:00
Artur Meski	f319d09ad7	Generators: cleanup	2026-04-10 17:52:22 +01:00
Artur Meski	554b34afcf	Refactoring: Python/SMT	2026-04-10 14:30:46 +01:00
Artur Meski	6bddf4bf38	Tests for Python/SMT	2026-04-10 14:24:37 +01:00
Artur Meski	5df8d6aeb9	Test harness & some refactoring	2026-04-10 14:06:08 +01:00