iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	Alan Mishchenko	2021-09-26	1	-3/+3
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-1/+1
*	changed int to unsigned / narrowing conversion error	Heinz Riener	2017-03-03	1	-1/+1
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-35/+35
*	g++ warnings.	Alan Mishchenko	2013-05-19	1	-1/+1
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	1	-35/+0
*	Faster isomorphism detection (command &iso).	Alan Mishchenko	2013-05-01	1	-5/+44
*	Changing the print-out of &iso.	Alan Mishchenko	2013-04-30	1	-5/+14
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-3/+3
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-09	1	-1/+1
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-09	1	-4/+87
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-08	1	-9/+16
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	1	-0/+1
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-11/+14
*	Preventing &iso from removing fanoutless PIs.	Alan Mishchenko	2012-05-03	1	-2/+2
*	Added supporting dual-output seq miters in &iso.	Alan Mishchenko	2012-04-28	1	-0/+8
*	Added supporting dual-output seq miters in &iso.	Alan Mishchenko	2012-04-28	1	-2/+2
*	Added supporting dual-output seq miters in &iso.	Alan Mishchenko	2012-04-28	1	-4/+39
*	Exploration of ISO and minor changes.	Alan Mishchenko	2012-03-13	1	-7/+104
*	Updating &test to call full check.	Alan Mishchenko	2012-03-10	1	-1/+1
*	Added skipping &iso when there is only one PO.	Alan Mishchenko	2012-02-29	1	-0/+2
*	Isomorphism checking code.	Alan Mishchenko	2012-02-20	1	-11/+44
*	Isomorphism checking code.	Alan Mishchenko	2012-02-20	1	-122/+526
*	Isomorphism checking code.	Alan Mishchenko	2012-02-19	1	-9/+12
*	Isomorphism checking code.	Alan Mishchenko	2012-02-19	1	-9/+136
*	Added QuickSort based on 3-way partitioning.	Alan Mishchenko	2012-02-19	1	-217/+1
*	Isomorphism checking code.	Alan Mishchenko	2012-02-19	1	-55/+201
*	Isomorphism checking code.	Alan Mishchenko	2012-02-18	1	-869/+361
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-1/+1
*	Isomorphism checking code.	Alan Mishchenko	2012-02-15	1	-86/+579
*	Isomorphism checking code.	Alan Mishchenko	2012-02-14	1	-0/+600