Alan Mishchenko 034fc5a14d Misc changes.		2012-05-21 23:52:05 +07:00
..
if.h	Changing 'if' to allow for delay optimization on sequential paths only.	2012-05-20 22:18:23 +07:00
ifCore.c	Enabling mapping into multi-input AND/OR gates.	2012-03-27 20:15:02 -07:00
ifCut.c	Changes to the lazy man's synthesis code.	2012-01-17 23:38:11 -08:00
ifDec07.c	Silencing some of the gcc warnings.	2012-02-16 23:40:23 -08:00
ifDec08.c	Silencing some of the gcc warnings.	2012-02-16 23:40:23 -08:00
ifDec10.c	Silencing some of the gcc warnings.	2012-02-17 00:06:39 -08:00
ifDec16.c	Misc changes.	2012-05-21 23:52:05 +07:00
ifLib.c	Fixed a number of small bugs and memory leaks.	2011-03-27 14:17:12 -07:00
ifMan.c	Adding on-the-fly truth-table minimization.	2012-04-28 12:09:38 +07:00
ifMap.c	Bug fix in SOP balancing with structural choices.	2012-04-12 20:19:47 -07:00
ifReduce.c	Other changes to enable new features in the mapper.	2011-07-10 13:56:05 +07:00
ifSeq.c	Changing 'if' to allow for delay optimization on sequential paths only.	2012-05-20 17:27:53 +07:00
ifTime.c	Enabling mapping into multi-input AND/OR gates.	2012-03-27 20:15:02 -07:00
ifTruth.c	Adding on-the-fly truth-table minimization.	2012-04-28 12:09:38 +07:00
ifUtil.c	Changing 'if' to allow for delay optimization on sequential paths only.	2012-05-20 22:18:23 +07:00
if_.c	initial commit of public abc	2010-11-01 01:35:04 -07:00
module.make	Changes to the matching procedure and new abstraction code.	2011-09-27 15:10:53 +07:00