iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Small fix. Garanteeing pPars is not NULL before checking pPars->fSlacks	Bruno Schmitt	2017-10-24	1	-1/+1
\|
*	Adding API to dump MiniAIG into a Verilog file and other small changes.	Alan Mishchenko	2017-10-22	11	-9/+144
\|
*	Patch by Larry Doolittle to allow out-of-source builds of ABC.	Baruch Sterin	2017-10-20	1	-6/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Usage: Starting from an empty directory: (1) set AS to point to the location of ABC (2) reconstruct the directory structure of ABC in the new directory: mkdir -p `cd $AS && find src -type d` (3) Build ABC: make -f $AS/Makefile VPATH=$AS ABCSRC=$AS
*	Adding random search in exact synthesis.	Alan Mishchenko	2017-10-20	3	-22/+147
\|
*	Integrating old SAT solver into majexact and twoexact.	Alan Mishchenko	2017-10-19	4	-11/+777
\|
*	Integrating Glucose into &qbf.	Alan Mishchenko	2017-10-17	1	-3/+3
\|
*	Integrating Glucose into &qbf.	Alan Mishchenko	2017-10-17	5	-18/+46
\|
*	Fix typo on the message reporting max output load.	Alan Mishchenko	2017-10-11	1	-1/+1
\|
*	Fix the build.	Alan Mishchenko	2017-10-11	1	-1/+0
\|
*	Another variation on exact synthesis.	Alan Mishchenko	2017-10-11	3	-2/+435
\|
*	Improvements to SAT based SOP computation.	Alan Mishchenko	2017-10-06	5	-25/+44
\|
*	Improvements to truth table manipulation.	Alan Mishchenko	2017-10-05	2	-100/+39
\|
*	Experiments with SAT-based quantification.	Alan Mishchenko	2017-10-04	2	-8/+77
\|
*	Experiments with SAT-based quantification.	Alan Mishchenko	2017-10-04	2	-26/+212
\|
*	Updates and bug fixes.	Alan Mishchenko	2017-10-04	5	-12/+23
\|
*	Valgrind-ispired fix in CUDD by Kai-hui Chang.	Alan Mishchenko	2017-10-03	1	-0/+1
\|
*	Addressing recently reported Bitbucket Issue #72 and #73.	Alan Mishchenko	2017-10-03	2	-6/+6
\|
*	Fixing minimize_assuptions using Glucose.	Alan Mishchenko	2017-10-02	2	-53/+71
\|
*	Adding printout of slack distribution for mapped networks.	Alan Mishchenko	2017-10-02	3	-3/+328
\|
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	3	-32/+52
\|
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	2	-13/+44
\|
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	5	-1/+667
\|
*	Maintenance and updates.	Alan Mishchenko	2017-09-24	9	-12/+77
\|
*	Maintenance and updates.	Alan Mishchenko	2017-09-20	5	-15/+35
\|
*	Uncommenting handling of initial values of the flops.	Alan Mishchenko	2017-09-19	3	-4/+8
\|
*	Enabling Glucose in SAT sweeping: &fraig -g.	Alan Mishchenko	2017-09-18	1	-0/+1
\|
*	Enabling Glucose in SAT sweeping: &fraig -g.	Alan Mishchenko	2017-09-18	4	-3/+1074
\|
*	Changes to Glucose to enable resetting the solver.	Alan Mishchenko	2017-09-18	5	-0/+87
\|
*	Maintenance and updates.	Alan Mishchenko	2017-09-18	6	-82/+138
\|
*	Compiler warning.	Alan Mishchenko	2017-09-16	1	-1/+1
\|
*	Enabling variable elim in &bmcs -g.	Alan Mishchenko	2017-09-16	5	-14/+77
\|
*	Adding support for Dimacs input to &satoko.	Alan Mishchenko	2017-09-16	3	-30/+108
\|
*	Improvements in Glucose integration.	Alan Mishchenko	2017-09-16	1	-1/+1
\|
*	Bug fix in Glucose integration.	Alan Mishchenko	2017-09-16	4	-27/+78
\|
*	bridge relates: (1) fix netlist reader to read the latest version written by ↵	Baruch Sterin	2017-09-15	2	-24/+35
\| \| \| \|	ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages
*	Undoing updates to &bmcs to help debugging.	Alan Mishchenko	2017-09-15	1	-20/+268
\|
*	Experiment with mapping.	Alan Mishchenko	2017-09-15	4	-1/+140
\|
*	Changes and fixed suggested by Clifford Wolf.	Alan Mishchenko	2017-09-15	3	-4/+8
\|
*	Updates to &bmcs to help debugging.	Alan Mishchenko	2017-09-12	3	-33/+34
\|
*	Adding switch '-c' to 'dsec' to disable internal netlist check.	Alan Mishchenko	2017-09-09	3	-20/+23
\|
*	Experiments with Glucose.	Alan Mishchenko	2017-09-07	1	-1/+1
\|
*	Experiments with Glucose.	Alan Mishchenko	2017-09-07	4	-27/+157
\|
*	Avoid command name collision.	Alan Mishchenko	2017-09-07	1	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2017-09-07	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2017-09-07	3	-16/+19
\|
*	Compiler warnings.	Alan Mishchenko	2017-09-07	3	-7/+7
\|
*	Disabling CNF simplification in &bmcs -g.	Alan Mishchenko	2017-09-07	4	-31/+36
\|
*	Trying to enable CNF simplification in &bmcs -g.	Alan Mishchenko	2017-09-07	6	-42/+74
\|
*	Bug fix: forgot to init the runtime limit in Glucose.	Alan Mishchenko	2017-09-06	1	-0/+1
\|
*	Adding global conflict counter to Satoko (to make it apple-to-apple with ↵	Alan Mishchenko	2017-09-06	4	-3/+9
\| \| \| \|	other solvers).