12 Commits

Author	SHA1	Message	Date
Lofty	6d715784cd	read_xaiger2: further cleanup	2026-04-08 11:08:59 +01:00
Mike Inouye	f098352ae6	Enable xaiger2 pass when not in NDEBUG	2025-11-21 14:23:32 -08:00
Robert O'Callahan	e0ae7b7af4	Remove .c_str() calls from log()/log_error() ... There are some leftovers, but this is an easy regex-based approach that removes most of them.	2025-09-11 20:59:37 +00:00
Martin Povišer	6b343c2600	aiger2: Clean debug print	2024-12-10 14:27:55 +01:00
Martin Povišer	cf0a583f40	read_xaiger2: Rm debug print	2024-12-05 18:33:20 +01:00
Krystine Sherwin	e634e9c26b	aiger2: Resolve warnings ... - Remove unused statics CONST_FALSE and CONST_TRUE (which appear to have been folded into the `Index` declaration as CFALSE and CTRUE). - Assign default value of EMPTY_LIT to `a` and `b` for comparison ops. - Tag debug only variables with YS_MAYBE_UNUSED, don't assign unused variables (but continue to call the function because it moves the file pointer).	2024-12-03 14:01:57 +13:00
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