iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-132/+94
\|
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-31/+38
\|
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-130/+161
\|
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	6	-5/+1309
\|
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-25	8	-18/+59
\|
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-23	5	-6/+146
\|
*	Updates to exact synthesis commands.	Alan Mishchenko	2018-01-22	1	-1/+0
\|
*	Updates to exact synthesis commands.	Alan Mishchenko	2018-01-19	4	-38/+226
\|
*	Backing up node's truth-table to make sure it is not destroyed while ↵	Alan Mishchenko	2018-01-19	1	-2/+4
\| \| \| \|	deriving AIG.
*	Fixed crash in &nf when there is no buffer gate.	Alan Mishchenko	2018-01-12	1	-0/+5
\|
*	Merged in Fatsie/abc/liberty_value_expression (pull request #87)	Alan Mishchenko	2018-01-05	1	-0/+12
\|\ \| \| \| \| \| \|	Allow expression in value in liberty file
\| *	Value of properties can be expression.	Staf Verhaegen	2018-01-03	1	-0/+12
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Example found in the 2007.03 Liberty Reference Manual that was also found in the wild: input_voltage(CMOS) { vil : 0.3 * VDD ; vih : 0.7 * VDD ; vimin : -0.5 ; vimax : VDD + 0.5 ; } Current implementation just parses the expression but no interpretation is done.
* \|	New command 'testexact'.	Alan Mishchenko	2018-01-04	1	-2/+2
\| \|
* \|	New command 'testexact'.	Alan Mishchenko	2018-01-04	2	-7/+348
\|/
*	New exact synthesis command 'allexact'.	Alan Mishchenko	2017-12-30	3	-33/+97
\|
*	New exact synthesis command 'allexact'.	Alan Mishchenko	2017-12-28	1	-0/+2
\|
*	New exact synthesis command 'allexact'.	Alan Mishchenko	2017-12-28	7	-15/+1336
\|
*	Corner-case bug fixed in CNF generation.	Alan Mishchenko	2017-12-28	1	-0/+1
\|
*	Corner-case bug fixed in CNF generation.	Alan Mishchenko	2017-12-28	1	-1/+6
\|
*	Bug fix in 'write_aiger_cex'.	Alan Mishchenko	2017-12-20	1	-0/+1
\|
*	Adding parameter structure to 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	4	-143/+165
\|
*	An improvement to 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	3	-0/+17
\|
*	An improvement to 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	3	-0/+9
\|
*	An improvement to 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	4	-3/+39
\|
*	An improvement to 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	1	-1/+50
\|
*	An improvement to 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	5	-17/+63
\|
*	Switch -a to use only AND-gates in 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	3	-31/+74
\|
*	An improvement to 'twoexact' and 'lutexact'.	Alan Mishchenko	2017-12-06	2	-8/+39
\|
*	New command 'lutexact'.	Alan Mishchenko	2017-12-05	3	-5/+857
\|
*	Experiments with AIG-based simulation.	Alan Mishchenko	2017-12-05	3	-11/+244
\|
*	Adding switch -a to 'write_verilog' to write factored forms without XORs and ↵	Alan Mishchenko	2017-12-03	7	-28/+41
\| \| \| \|	MUXes.
*	Portability changes for gcc-6 suggested by Clifford.	Alan Mishchenko	2017-12-03	2	-10/+0
\|
*	Portability changes for gcc-6 suggested by Clifford.	Alan Mishchenko	2017-12-02	2	-4/+4
\|
*	Portability changes for gcc-6 suggested by Clifford.	Alan Mishchenko	2017-12-02	3	-9/+17
\|
*	Improvements to AIG-based quantification.	Alan Mishchenko	2017-11-26	5	-247/+548
\|
*	C++ comaptibility: add namespace support to Glucose	Baruch Sterin	2017-11-23	26	-13/+124
\|
*	C++ compatibility: fix incompatible parameter list	Baruch Sterin	2017-11-23	1	-1/+1
\|
*	C++ compatibility: fix bad pointer comparison	Baruch Sterin	2017-11-23	2	-2/+2
\|
*	C++ compatibility: cast returned void*	Baruch Sterin	2017-11-23	1	-2/+2
\|
*	Experimental CEX minimization code.	Alan Mishchenko	2017-11-23	1	-0/+116
\|
*	Extracting CSAT interface and several cleanups.	Alan Mishchenko	2017-11-13	5	-47/+26
\|
*	Changes to make GIA structural hashing use a dedicated array instead of ↵	Alan Mishchenko	2017-11-13	8	-78/+82
\| \| \| \|	pObj->Value.
*	Improvements to quantification.	Alan Mishchenko	2017-11-13	4	-8/+289
\|
*	Compiler warnings.	Alan Mishchenko	2017-11-06	1	-2/+2
\|
*	Profiling quantification and other changes.	Alan Mishchenko	2017-11-06	5	-68/+89
\|
*	Profiling quantification and other changes.	Alan Mishchenko	2017-11-06	7	-27/+428
\|
*	Commenting out problematic assertion in resub.	Alan Mishchenko	2017-11-04	1	-1/+1
\|
*	Bug fix in old lcorr with constraints.	Alan Mishchenko	2017-11-04	1	-1/+1
\|
*	Supporting XOR in EQN parser.	Alan Mishchenko	2017-11-03	1	-2/+9
\|
*	Improvements to quantification.	Alan Mishchenko	2017-10-29	3	-68/+264
\|