2 Commits

Author	SHA1	Message	Date
Nguyen Quy Anh	c4bf9f5c00	verify.py floating-point fix	2026-05-19 10:06:46 +02:00
Linus Baumberger	de2d2c7be8	added a verify command to our makefile. so for future variants we can just use...	2026-05-19 07:45:02 +02:00