Commit graph

2 commits

Author SHA1 Message Date
Carl Philipp Klemm
a84154d92f add relaxis file to pass fail dataset converter 2024-10-25 11:50:16 +02:00
Carl Philipp Klemm
121669078f Move common stuff in seperate trabanslation unit
Rename main to madap
2023-02-10 14:18:21 +01:00