9 Commits

Author	SHA1	Message	Date
Alan Mishchenko	ed9c16d4f5	Additional MiniLUT API.	2021-09-03 18:14:10 -07:00
Alan Mishchenko	36585eff57	Experiments with retiming (adding new APIs).	2018-12-09 15:18:12 -08:00
Alan Mishchenko	7732b9a2f4	Procedure to return seq equivalences.	2018-07-22 19:59:29 -07:00
Alan Mishchenko	f6b9cc013d	Adding parameters and improvements to %blast.	2018-02-28 19:38:55 -08:00
Alan Mishchenko	fd390aae9d	Extending MiniLUT to return attributes.	2018-02-11 17:14:07 -08:00
Alan Mishchenko	accf4825e5	Adding API to dump MiniAIG into a Verilog file and other small changes.	2017-10-22 15:44:13 -07:00
Heinz Riener	59f09c10d5	removed unnecessary declaration	2017-03-03 12:09:36 +01:00
Heinz Riener	5318619c64	added missing ABC_NAMESPACE_HEADER	2017-03-03 12:04:39 +01:00
Alan Mishchenko	2f69fa134e	Moving global declarations into 'abcapi.h' and moving it into 'main' package.	2017-03-02 20:50:56 -08:00