78 Commits

Author	SHA1	Message	Date
Alan Mishchenko	26b87c8c55	Added warning when the network from file has no primary inputs.	2012-01-06 01:36:08 +07:00
Alan Mishchenko	beb29257bf	Added support for generating a library of real-life truth-tables.	2011-12-09 00:38:16 -08:00
Alan Mishchenko	200c5cc659	Added support for generating a library of real-life truth-tables.	2011-12-09 00:37:05 -08:00
Alan Mishchenko	3beb36778e	Enabled counter-example minimization in 'write_counter'.	2011-11-11 20:56:05 -08:00
Alan Mishchenko	0b73c76380	Preventing scripts from aborting if reading has failed.	2011-11-08 17:58:51 -08:00
Alan Mishchenko	f08be2742e	C++ portability changes.	2011-10-27 23:34:11 -07:00
Alan Mishchenko	12b70d4946	Changes to CNF generation code.	2011-10-17 10:39:05 +03:00
Alan Mishchenko	d66b586330	Modified write_blif to output LUT structures.	2011-10-04 18:43:23 +07:00
Alan Mishchenko	5b639818e9	Added dumping CEXes in AIGER format.	2011-06-21 19:54:31 -07:00
Alan Mishchenko	27311713c7	Special BLIF writing (bug fixes).	2011-05-18 15:03:19 +07:00
Alan Mishchenko	26fb1fcd14	Special BLIF writing.	2011-05-18 13:35:35 +07:00
Alan Mishchenko	6c01e8b9f0	Fixed a number of small bugs and memory leaks.	2011-03-27 14:17:12 -07:00
Alan Mishchenko	82e9de9000	Eneabled writing/reading pAbc->nFrames into/from status files.	2011-02-04 00:07:21 -08:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00
Alan Mishchenko	70697f868a	Version abc90528 ... committer: Baruch Sterin <baruchs@gmail.com>	2015-06-22 23:04:43 -07:00
Alan Mishchenko	d5b0fdee74	Version abc90505	2009-05-05 08:01:00 -07:00
Alan Mishchenko	d7a048d738	Version abc90424	2009-04-24 08:01:00 -07:00
Alan Mishchenko	df6fdd1dff	Version abc90408	2009-04-08 08:01:00 -07:00
Alan Mishchenko	23fd11037a	Version abc90329	2009-03-29 08:01:00 -07:00
Alan Mishchenko	32314347ba	Version abc90310	2009-03-10 08:01:00 -07:00
Alan Mishchenko	0871bffae3	Version abc90215	2009-02-15 08:01:00 -08:00
Alan Mishchenko	f936cc0680	Version abc90118	2009-01-18 08:01:00 -08:00
Alan Mishchenko	eb75697fe0	Version abc81004	2008-10-04 08:01:00 -07:00
Alan Mishchenko	3429e6309d	Version abc80919	2008-09-19 08:01:00 -07:00
Alan Mishchenko	7b734f23fc	Version abc80705	2008-07-05 08:01:00 -07:00
Alan Mishchenko	303baf27cf	Version abc80702	2008-07-02 08:01:00 -07:00
Alan Mishchenko	74ff01bfb5	Version abc80515	2008-05-15 08:01:00 -07:00
Alan Mishchenko	e94ccfd3fb	Version abc80508	2008-05-08 08:01:00 -07:00
Alan Mishchenko	69b5bcad56	Version abc80403_2	2008-04-03 20:01:00 -07:00
Alan Mishchenko	9b059e3085	Version abc80315	2008-03-15 08:01:00 -07:00
Alan Mishchenko	8eeecc5175	Version abc80307	2008-03-07 08:01:00 -08:00
Alan Mishchenko	320c429bc4	Version abc80301	2008-03-01 08:01:00 -08:00
Alan Mishchenko	0c6505a26a	Version abc80130_2	2008-01-30 20:01:00 -08:00
Alan Mishchenko	4d30a1e4f1	Version abc80130	2008-01-30 08:01:00 -08:00
Alan Mishchenko	d4fecf91ef	Version abc80121	2008-01-21 08:01:00 -08:00
Alan Mishchenko	369f008e69	Version abc71130	2007-11-30 08:01:00 -08:00
Alan Mishchenko	765a212408	Version abc71002	2007-10-02 08:01:00 -07:00
Alan Mishchenko	4812c90424	Version abc71001	2007-10-01 08:01:00 -07:00
Alan Mishchenko	e54d969161	Version abc70930	2007-09-30 08:01:00 -07:00
Alan Mishchenko	7d7e60f2dc	Version abc70926	2007-09-26 08:01:00 -07:00
Alan Mishchenko	0c1e87bc9a	Version abc70705	2007-07-05 08:01:00 -07:00
Alan Mishchenko	a8db621dc9	Version abc70703	2007-07-03 08:01:00 -07:00
Alan Mishchenko	028138a76e	Version abc70330	2007-03-30 08:01:00 -07:00
Alan Mishchenko	4da784c049	Version abc70328	2007-03-28 08:01:00 -07:00
Alan Mishchenko	dd5531caf9	Version abc70317	2007-03-17 08:01:00 -07:00
Alan Mishchenko	2696cf05e5	Version abc70313	2007-03-13 08:01:00 -07:00
Alan Mishchenko	93c05287f0	Version abc70302	2007-03-02 08:01:00 -08:00
Alan Mishchenko	fb51057e4a	Version abc70219	2007-02-19 08:01:00 -08:00
Alan Mishchenko	607c253cd2	Version abc70216	2007-02-16 08:01:00 -08:00
Alan Mishchenko	5f3e4c0fe2	Version abc70211	2007-02-11 08:01:00 -08:00