6 Commits

Author	SHA1	Message	Date
Martin Povišer	7989d53c58	read_xaiger2: Add help	2024-10-07 14:19:49 +02:00
Martin Povišer	f44a418212	read_xaiger2: Add casts to silence warnings	2024-10-07 12:27:54 +02:00
Martin Povišer	8d12492610	read_xaiger2: Fix detecting the end of extensions	2024-10-07 12:03:48 +02:00
Martin Povišer	2b1b5652f1	Adjust `read_xaiger2` prints	2024-10-07 12:03:48 +02:00
Martin Povišer	f168b2f4b1	read_xaiger2: Update box handling	2024-09-18 16:55:02 +02:00
Martin Povišer	1ab7f29933	Start read_xaiger2 -sc_mapping	2024-09-18 16:42:56 +02:00