iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	add frame done callback support for command &bmcs	Baruch Sterin	2017-08-09	1	-0/+2
*	Experiments with BMC.	Alan Mishchenko	2017-08-09	1	-0/+106
*	New commands for backing up networks.	Alan Mishchenko	2017-08-04	1	-1/+196
*	Transforming miter by swapping sides.	Alan Mishchenko	2017-07-23	1	-10/+18
*	Compiler warnings.	Alan Mishchenko	2017-07-22	6	-11/+11
*	Experiments with logic optimization.	Alan Mishchenko	2017-07-21	1	-0/+98
*	Adding new command line options for &verify and &synch2.	Alan Mishchenko	2017-07-06	1	-6/+14
*	Temp changes	Alan Mishchenko	2017-06-15	1	-1/+8
*	Several new procedures for GIA manipulation.	Alan Mishchenko	2017-06-01	1	-1/+1
*	Two small fixes.	Alan Mishchenko	2017-04-24	1	-1/+1
*	Logic restructuring after mapping.	Alan Mishchenko	2017-04-23	1	-0/+1
*	Logic restruturing after mapping.	Alan Mishchenko	2017-04-17	1	-0/+69
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-11	1	-3/+7
*	Experiments with hashing.	Alan Mishchenko	2017-04-08	1	-0/+1
*	Adding stand-alone cut computation to GIA.	Alan Mishchenko	2017-04-05	1	-3/+3
*	Experiments with don't-cares.	Alan Mishchenko	2017-04-04	1	-2/+7
*	Experiments with don't-cares.	Alan Mishchenko	2017-04-02	1	-16/+16
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-31	1	-0/+1
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	2	-15/+15
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	1	-0/+135
*	Experiments with new network data-structure.	Alan Mishchenko	2017-03-19	1	-0/+49
*	Code for structural unateness checking.	Alan Mishchenko	2017-03-18	2	-0/+57
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-3/+12
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-0/+102
*	Integration of new SAT sweeper.	Alan Mishchenko	2017-03-11	1	-4/+12
*	Exact synthesis.	Mathias Soeken	2017-03-06	1	-1/+1
*	Fix exact command for multiple-output functions.	Mathias Soeken	2017-03-06	1	-1/+24
*	Merged alanmi/abc into default	Mathias Soeken	2017-03-04	1	-0/+70
\|\
\| *	Clone of the main SAT solver to eneable independent work.	Alan Mishchenko	2017-03-03	1	-0/+70
* \|	Merged alanmi/abc into default	Mathias Soeken	2017-03-03	5	-18/+279
\|\\|
\| *	Moving global declarations into 'abcapi.h' and moving it into 'main' package.	Alan Mishchenko	2017-03-02	1	-8/+8
\| *	Adding experimental command.	Alan Mishchenko	2017-03-02	3	-0/+105
\| *	Adding command 'glitch' for glitch simulation.	Alan Mishchenko	2017-03-02	2	-5/+158
\| *	Enabling LUT pairing.	Alan Mishchenko	2017-02-27	1	-4/+5
\| *	Small changes in the usage message for &gla.	Alan Mishchenko	2017-02-23	1	-1/+3
* \|	Merged alanmi/abc into default	Mathias Soeken	2017-02-22	8	-266/+860
\|\\|
\| *	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-20	1	-1/+1
\| *	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-1/+1
\| *	Promising alternative of CEX minimization in 'pdr'.	Alan Mishchenko	2017-02-16	1	-2/+6
\| *	Promising modification of the generalization procedure in 'pdr'.	Alan Mishchenko	2017-02-16	1	-2/+6
\| *	Word-level abstraction engine.	Alan Mishchenko	2017-02-15	1	-5/+5
\| *	Adding APIs to mark cones. Creating test-bench for incremental solving &satok...	Alan Mishchenko	2017-02-11	1	-5/+9
\| *	Updates to the autotuner.	Alan Mishchenko	2017-02-10	1	-210/+10
\| *	Merged in boschmitt/abc (pull request #51)	Alan Mishchenko	2017-02-11	1	-4/+214
\| \|\
\| \| *	New fixed point data type.	Bruno Schmitt	2017-02-10	1	-4/+214
\| * \|	Re-introducing floating-point activity in the SAT solver.	Alan Mishchenko	2017-02-10	1	-2/+6
\| \|/
\| *	Standardizing the use of new CNF generator. Adding CNF variable connectivity ...	Alan Mishchenko	2017-02-10	2	-5/+2
\| *	Accidental change.	Alan Mishchenko	2017-02-08	1	-1/+1
\| *	Autotuner for 'satoko'.	Alan Mishchenko	2017-02-08	1	-4/+23
\| *	New command &satoko.	Alan Mishchenko	2017-02-08	1	-2/+71