iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	small tweaks	Yen-Sheng Ho	2017-02-26	1	-11/+58
*	improved %pdra -b	Yen-Sheng Ho	2017-02-25	1	-24/+43
*	added an option -b to %pdra	Yen-Sheng Ho	2017-02-25	4	-32/+237
*	imported proof-based codes from ufar	Yen-Sheng Ho	2017-02-25	1	-0/+78
*	imported proof-based codes from ufar	Yen-Sheng Ho	2017-02-25	1	-0/+72
*	imported proof-based codes from ufar	Yen-Sheng Ho	2017-02-25	1	-0/+88
*	mege	Yen-Sheng Ho	2017-02-24	1	-1/+3
\|\
\| *	Small changes in the usage message for &gla.	Alan Mishchenko	2017-02-23	1	-1/+3
* \|	added %pdra -a: run with pdr -nct	Yen-Sheng Ho	2017-02-23	4	-2/+16
* \|	working on %pdra -m	Yen-Sheng Ho	2017-02-22	1	-3/+24
* \|	added an option -m for %pdra	Yen-Sheng Ho	2017-02-22	3	-3/+9
\|/
*	Remapping flops in '%pdra.	Alan Mishchenko	2017-02-21	1	-12/+83
*	Merged in ysho/abc (pull request #59)	Alan Mishchenko	2017-02-22	4	-3/+285
\|\
\| *	clean up	Yen-Sheng Ho	2017-02-21	1	-269/+0
\| *	clean up	Yen-Sheng Ho	2017-02-21	4	-49/+8
\| *	added options of checking and pushing to %pdra	Yen-Sheng Ho	2017-02-20	3	-6/+18
\| *	added datastructure for %pdra options	Yen-Sheng Ho	2017-02-20	3	-4/+45
\| *	fixed time profiling in pdr	Yen-Sheng Ho	2017-02-20	1	-0/+4
\| *	working on pdr with wla	Yen-Sheng Ho	2017-02-19	1	-1/+1
\| *	working on pdr with wla	Yen-Sheng Ho	2017-02-19	1	-10/+6
\| *	working on pdr with wla	Yen-Sheng Ho	2017-02-19	1	-5/+25
\| *	working on pdr with wla	Yen-Sheng Ho	2017-02-19	1	-2/+23
\| *	working on pdr with wla	Yen-Sheng Ho	2017-02-19	3	-1/+113
\| *	started %pdra	Yen-Sheng Ho	2017-02-19	1	-0/+117
\| *	copied some functions from pdr	Yen-Sheng Ho	2017-02-18	1	-2/+2
\| *	copied pdr_mansolve	Yen-Sheng Ho	2017-02-18	1	-2/+1
\| *	started pdrIncr.c	Yen-Sheng Ho	2017-02-18	1	-0/+2
\| *	added ipdr	Yen-Sheng Ho	2017-02-17	1	-0/+268
* \|	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-20	1	-1/+1
* \|	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-1/+1
* \|	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-11/+11
\|/
*	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	9	-243/+1101
*	Adding APIs to mark cones. Creating test-bench for incremental solving &satok...	Alan Mishchenko	2017-02-11	2	-8/+12
*	Updates to the autotuner.	Alan Mishchenko	2017-02-10	2	-233/+196
*	Merged in boschmitt/abc (pull request #51)	Alan Mishchenko	2017-02-11	1	-4/+214
\|\
\| *	Merged alanmi/abc into default	Bruno Schmitt	2017-02-10	1	-1/+1
\| \|\
\| * \|	New fixed point data type.	Bruno Schmitt	2017-02-10	1	-4/+214
* \| \|	Adding PDR with abstraction.	Alan Mishchenko	2017-02-10	1	-1/+1
* \| \|	Re-introducing floating-point activity in the SAT solver.	Alan Mishchenko	2017-02-10	1	-2/+6
\| \|/ \|/\|
* \|	Improving CEX minimization.	Alan Mishchenko	2017-02-10	1	-1/+1
\|/
*	Standardizing the use of new CNF generator. Adding CNF variable connectivity ...	Alan Mishchenko	2017-02-10	2	-5/+2
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	6	-66/+125
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	2	-4/+4
*	Making sure 'inv_out' can match flops by name.	Alan Mishchenko	2017-02-09	3	-18/+51
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	7	-14/+379
*	Editing output messages.	Alan Mishchenko	2017-02-08	1	-3/+3
*	Accidental change.	Alan Mishchenko	2017-02-08	1	-1/+1
*	Editing output messages.	Alan Mishchenko	2017-02-08	1	-3/+3