iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Experiments with SAT solving.	Alan Mishchenko	2021-10-09	4	-3/+1392
*	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	4	-0/+429
*	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	17	-5/+1625
*	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	5	-23/+73
*	Removing unused command.	Alan Mishchenko	2021-09-21	4	-167/+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.	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
\|\ \
\| * \|	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
\| * \|	Add inv_get -f to read flop names from GIA	Tobias Wiersema	2021-08-19	2	-8/+40
* \| \|	Extending &trim to trim structurally equivalent primary outputs.	Alan Mishchenko	2021-08-19	3	-3/+141
\|/ /
* \|	Improving AIG to Verilog converter.	Alan Mishchenko	2021-08-17	4	-28/+76
* \|	Suggested changes to collect and pass timing information (unused variable).	Alan Mishchenko	2021-08-12	1	-1/+1
* \|	Suggested changes to collect and pass timing information (compiler issues).	Alan Mishchenko	2021-08-12	2	-8/+6
* \|	Suggested changes to collect and pass timing information.	Alan Mishchenko	2021-08-12	2	-13/+64
\|/
*	Making &cec support the miter circuit.	Alan Mishchenko	2021-08-05	1	-0/+14
*	Supporting simple operators in NDR.	Alan Mishchenko	2021-08-05	4	-13/+53
*	Adding node ordering options to command &dfs.	Alan Mishchenko	2021-08-05	3	-29/+45
*	Bug fix.	Alan Mishchenko	2021-08-03	1	-1/+1
*	Experiments with LUT mapping for small functions.	Alan Mishchenko	2021-08-02	1	-1/+0