iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \| \|	Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) ↵	Alan Mishchenko	2021-11-27	1	-0/+6
\|/ / \| \| \| \| \| \|	(additional fix).
* \|	Bug fix in processing NDR.	Alan Mishchenko	2021-11-08	3	-10/+31
\| \|
* \|	Temporary fix to a &blut problem.	Alan Mishchenko	2021-11-07	1	-2/+2
\| \|
* \|	Compiler warnings.	Alan Mishchenko	2021-11-05	2	-22/+37
\| \|
* \|	Bug fix and new procedures.	Alan Mishchenko	2021-11-02	1	-4/+4
\| \|
* \|	Bug fix and new procedures.	Alan Mishchenko	2021-11-02	3	-4/+70
\| \|
* \|	New API for external calls.	Alan Mishchenko	2021-10-26	2	-0/+17
\|/
*	Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase).	Alan Mishchenko	2021-10-23	3	-6/+55
\|
*	Various changes.	Alan Mishchenko	2021-10-22	9	-82/+228
\|
*	Changing static to extern for two procedures.	Alan Mishchenko	2021-10-17	1	-2/+2
\|
*	Experiments with pattern generation.	Alan Mishchenko	2021-10-10	6	-0/+1471
\|
*	Experiments with SAT solving.	Alan Mishchenko	2021-10-09	3	-3/+1388
\|
*	New command &stochsyn for stochastic synthesis.	Alan Mishchenko	2021-10-07	2	-57/+213
\|
*	Compiler warning.	Alan Mishchenko	2021-10-06	1	-1/+1
\|
*	New command &stochsyn for stochastic synthesis.	Alan Mishchenko	2021-10-06	3	-0/+425
\|
*	Various changes.	Alan Mishchenko	2021-10-06	4	-38/+62
\|
*	Compiler warnings.	Alan Mishchenko	2021-09-30	1	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2021-09-30	1	-3/+3
\|
*	Various changes.	Alan Mishchenko	2021-09-30	16	-5/+1617
\|
*	Other compiler changes.	Alan Mishchenko	2021-09-26	9	-4/+44
\|
*	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	Alan Mishchenko	2021-09-26	37	-66/+66
\|
*	Various changes.	Alan Mishchenko	2021-09-26	3	-4/+160
\|
*	Two rare corner-case bugs in &if mapper.	Alan Mishchenko	2021-09-26	2	-2/+6
\|
*	Experiment with simulation.	Alan Mishchenko	2021-09-22	1	-2/+55
\|
*	Adding command &reshape.	Alan Mishchenko	2021-09-21	3	-8/+13
\|
*	Adding command &reshape.	Alan Mishchenko	2021-09-21	2	-15/+15
\|
*	Adding command &reshape.	Alan Mishchenko	2021-09-21	4	-23/+65
\|
*	Removing unused command.	Alan Mishchenko	2021-09-21	3	-159/+0
\|
*	Various changes.	Alan Mishchenko	2021-09-21	8	-17/+175
\|
*	Improving MiniAIG and name manager.	Alan Mishchenko	2021-09-16	5	-13/+58
\|
*	Further debugging of MiniLUT APIs.	Alan Mishchenko	2021-09-16	2	-1/+73
\|
*	Various changes.	Alan Mishchenko	2021-09-14	5	-10/+180
\|
*	Enable command 'pipe' for pipelining.	Alan Mishchenko	2021-09-13	3	-15/+15
\|
*	Bug fix in MiniLUT code.	Alan Mishchenko	2021-09-13	1	-1/+1
\|
*	Procedure to printout MiniLUT.	Alan Mishchenko	2021-09-11	1	-1/+31
\|
*	Disabling command print_mint when CUDD is not used.	Alan Mishchenko	2021-09-07	1	-0/+7
\|
*	Bug fix in logic optimization.	Alan Mishchenko	2021-09-06	1	-1/+18
\|
*	Bug fix in the timing manager.	Alan Mishchenko	2021-09-06	1	-28/+30
\|
*	Various changes.	Alan Mishchenko	2021-09-04	4	-9/+12
\|
*	Additional MiniLUT API.	Alan Mishchenko	2021-09-03	2	-0/+18
\|
*	Various changes.	Alan Mishchenko	2021-09-02	16	-35/+539
\|
*	Allow &mfs to work on sequential AIGs.	Alan Mishchenko	2021-08-24	1	-1/+10
\|
*	Compiler warnings.	Alan Mishchenko	2021-08-23	9	-11/+12
\|
*	Adding input/output/flop name reading in command &r.	Alan Mishchenko	2021-08-22	4	-2/+153
\|
*	Support of pair-wise miter and other changes.	Alan Mishchenko	2021-08-22	6	-4/+582
\|
*	Merge pull request #132 from jamesjer/aliasing	alanminko	2021-08-19	1	-1/+3
\|\ \| \| \| \|	Fix violation of C strict aliasing rules.
\| *	Fix violation of C strict aliasing rules.	Jerry James	2021-08-09	1	-1/+3
\| \|
* \|	Merge pull request #133 from twier/inv_get_name_mangling_fix	alanminko	2021-08-19	2	-9/+43
\|\ \ \| \| \| \| \| \|	Fix name-mangling behavior of inv_get
\| * \|	Add comment to Wlc_NtkGetInv about vNamesIn's role	Tobias Wiersema	2021-08-19	1	-0/+2
\| \| \|
\| * \|	Fix typo inifity -> infinity in inv_get help	Tobias Wiersema	2021-08-19	1	-1/+1
\| \| \|