164 commits

Author	SHA1	Message	Date
Eddie Hung	a314565ad4	Short out async box	2019-07-11 10:52:45 -07:00
Eddie Hung	bd198aa803	Missing debug message	2019-07-11 10:07:14 -07:00
Eddie Hung	f8f0ffe786	Small opt	2019-07-10 18:56:50 -07:00
Eddie Hung	4a995c5d80	Change how to specify flops to ABC again	2019-07-10 17:54:56 -07:00
Eddie Hung	a092c48f03	Use split_tokens()	2019-07-10 17:34:51 -07:00
Eddie Hung	a31e17182d	Refactor and cope with new abc_flop format	2019-07-01 11:50:34 -07:00
Eddie Hung	ac5f3d500d	Fix spacing	2019-07-01 11:10:44 -07:00
Eddie Hung	699d8e3939	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-07-01 10:44:42 -07:00
Eddie Hung	b3f162e94e	Replace log_assert() with meaningful log_error()	2019-06-28 12:54:44 -07:00
Eddie Hung	9398921af1	Refactor for one "abc_carry" attribute on module	2019-06-27 16:07:14 -07:00
Eddie Hung	469f98b6bd	Remove unneeded include	2019-06-27 11:20:40 -07:00
Eddie Hung	f2ead4334a	Reduce log_debug spam in parse_xaiger()	2019-06-21 17:33:49 -07:00
Eddie Hung	b75863ca3f	Workaround issues exposed by gcc-4.8	2019-06-21 14:31:09 -07:00
Eddie Hung	9faeba7a66	Fix broken abc9.v test due to inout being 1'bx	2019-06-20 19:41:27 -07:00
Eddie Hung	014606affe	Fix issue with part of PI being 1'bx	2019-06-20 17:38:16 -07:00
Eddie Hung	0c59bc0b75	Cleanup	2019-06-16 10:42:00 -07:00
Eddie Hung	fb90d8c18c	Cleanup	2019-06-16 09:34:26 -07:00
Eddie Hung	3d1185b835	Read init from outputs	2019-06-15 22:41:42 -07:00
Eddie Hung	c04921c3a8	Fix debug message	2019-06-15 18:13:44 -07:00
Eddie Hung	b706ae82de	Fix log_debug messages	2019-06-15 12:42:18 -07:00
Eddie Hung	7a3c403ba0	Missing close bracket	2019-06-15 09:10:01 -07:00
Eddie Hung	2ef2aa997c	read_aiger to not require clk_name for latches, plus debug	2019-06-15 09:07:53 -07:00
Eddie Hung	7876b5b8be	Cover __APPLE__ too for little to big endian	2019-06-14 12:40:51 -07:00
Eddie Hung	a48b5bfaa5	Further cleanup based on @daveshah1	2019-06-14 12:25:06 -07:00
Eddie Hung	97d2656375	Resolve comments from @daveshah1	2019-06-14 12:00:02 -07:00
Eddie Hung	a3be25ab0d	Cleanup	2019-06-14 10:27:30 -07:00
Eddie Hung	d005568f2e	Add TODO to parse_xaiger	2019-06-14 10:11:13 -07:00
Eddie Hung	bc22e2e3ee	Optimise some more	2019-06-13 17:02:58 -07:00
Eddie Hung	d09d4e0706	Move ConstEvalAig to aigerparse.cc	2019-06-13 16:28:11 -07:00
Eddie Hung	d39a5a77a9	Add ConstEvalAig specialised for AIGs	2019-06-13 13:13:48 -07:00
Eddie Hung	342fc0a600	parse_xaiger to cope with inouts	2019-06-12 15:45:46 -07:00
Eddie Hung	b21d29598a	Consistency	2019-06-12 09:40:51 -07:00
Eddie Hung	f7a9769c14	Merge remote-tracking branch 'origin/master' into xaig	2019-06-12 08:50:39 -07:00
Eddie Hung	2b350401c4	Fix spacing from spaces to tabs	2019-06-07 15:44:57 -07:00
Eddie Hung	6934f4bdd5	Fix spacing (entire file is wrong anyway, will fix later)	2019-06-07 11:30:36 -07:00
Eddie Hung	d00ae1d6a8	Remove unnecessary std::getline() for ASCII	2019-06-07 11:28:25 -07:00
Eddie Hung	a04521c6b7	Fix read_aiger -- create zero driver, fix init width, parse 'b'	2019-06-07 11:07:15 -07:00
Eddie Hung	7057753427	Rename label	2019-05-21 18:20:31 -07:00
Eddie Hung	b5a29460b9	Try again	2019-05-21 17:20:19 -07:00
Eddie Hung	1bff09f2ff	Fix warning	2019-05-21 16:26:20 -07:00
Eddie Hung	d9c915042a	Move clean from aigerparse to abc9	2019-04-23 13:42:35 -07:00
Eddie Hung	5f30a8795d	Tidy up	2019-04-22 17:47:05 -07:00
Eddie Hung	8f30019b68	Revert "Temporarily remove 'r' extension" ... This reverts commit eaf3c24772.	2019-04-22 17:41:21 -07:00
Eddie Hung	eaf3c24772	Temporarily remove 'r' extension	2019-04-22 11:54:19 -07:00
Eddie Hung	4883391b63	Merge remote-tracking branch 'origin/master' into xaig	2019-04-22 11:19:52 -07:00
Clifford Wolf	e158ea2097	Add log_debug() framework ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-22 17:25:52 +02:00
Eddie Hung	21701cc1df	read_aiger to parse 'r' extension	2019-04-18 17:39:36 -07:00
Eddie Hung	e1b550d203	Ignore a/i/o/h XAIGER extensions	2019-04-17 10:55:23 -07:00
Eddie Hung	fecafb2207	Forgot backslashes	2019-04-12 18:22:44 -07:00
Eddie Hung	9bfcd80063	Handle __dummy_o__ and __const[01]__ in read_aiger not abc	2019-04-12 18:21:16 -07:00