Martin Povišer
|
72f0fea9e8
|
aiger2: Try to fix VS build
|
2024-10-07 12:27:37 +02:00 |
Martin Povišer
|
47fd2b9deb
|
aiger2: Update help
|
2024-10-07 12:03:49 +02:00 |
Martin Povišer
|
373e7a1485
|
aiger2: Fix print
|
2024-10-07 12:03:49 +02:00 |
Martin Povišer
|
ebe51e206e
|
aiger2: Fix warnings
|
2024-10-07 12:03:49 +02:00 |
Martin Povišer
|
ac79a052ba
|
aiger2: Adjust help
|
2024-10-07 12:03:49 +02:00 |
Martin Povišer
|
81688e3ba2
|
aigsize: Remove
|
2024-10-07 12:03:49 +02:00 |
Martin Povišer
|
b8f389370b
|
aiger2: Convert x-states to zeroes
|
2024-10-07 12:03:48 +02:00 |
Martin Povišer
|
4c0a8a1326
|
aiger2: Add analysis step to order boxes
|
2024-10-07 12:03:48 +02:00 |
Martin Povišer
|
f7c7371ea9
|
aiger2: Fix relative ordering of PI/POs and box I/Os
|
2024-10-07 12:03:48 +02:00 |
Martin Povišer
|
d4e009fc2f
|
aiger2: Add TODO
|
2024-10-07 12:03:48 +02:00 |
Martin Povišer
|
5f8d7ff170
|
Start new write_xaiger2 backend for export w/ boxes
|
2024-09-18 16:55:02 +02:00 |
Martin Povišer
|
ea765686b6
|
aiger2: Adjust hierarchy/port handling
|
2024-09-18 16:55:02 +02:00 |
Martin Povišer
|
2a3e907da8
|
aiger2: Adjust typing
|
2024-09-18 16:42:56 +02:00 |
Martin Povišer
|
72d65063c3
|
aiger2: Ignore benign cells
|
2024-09-18 16:42:56 +02:00 |
Martin Povišer
|
6cecf19ff4
|
aiger2: Ingest `$bmux`
|
2024-09-18 16:42:56 +02:00 |
Martin Povišer
|
1cfb9023c4
|
aiger2: Use `REDUCE` for reduction ops
|
2024-09-18 16:42:56 +02:00 |
Martin Povišer
|
6c1fa45995
|
aiger2: Ingest `$pmux`
|
2024-09-18 16:42:56 +02:00 |
Martin Povišer
|
9db1ca83fc
|
aiger2: Drop `empty_lit()` as a function
|
2024-09-17 13:58:07 +02:00 |
Martin Povišer
|
dbc937b2a7
|
aiger2: Describe supported cells in help
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
e4b24e8200
|
aiger2: Fix literal typing
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
8e29675a23
|
aiger2: Support `$bwmux`, comparison operators
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
d7128cb787
|
aiger2: Use shorthands
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
e59387e5a9
|
aiger2: Add `aigsize` as a second user of index
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
de8a2fb936
|
aiger2: Fix duplicate symbols on multibit ports
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
5671c10173
|
aiger2: Add strashing option
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
fa39227416
|
aiger2: Support `$pos`
|
2024-09-17 13:55:58 +02:00 |
Martin Povišer
|
fb26945a20
|
Start an 'aiger2' backend
|
2024-09-17 13:55:58 +02:00 |