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 |
|