iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various changes.	Alan Mishchenko	2022-08-30	2	-8/+464
\|
*	Investigating complex miters.	Alan Mishchenko	2022-08-03	1	-2/+86
\|
*	New switch in command &st for adding buffers.	Alan Mishchenko	2022-07-31	1	-0/+21
\|
*	Constructing boolean relation.	Alan Mishchenko	2022-07-30	1	-0/+156
\|
*	Various changes.	Alan Mishchenko	2022-07-30	4	-1/+66
\|
*	Experiments with technology mapping.	Alan Mishchenko	2022-06-25	2	-0/+258
\|
*	Adding command to check resub problem solution.	Alan Mishchenko	2022-06-10	2	-7/+91
\|
*	Adding command to check resub problem solution.	Alan Mishchenko	2022-06-10	3	-0/+508
\|
*	Enabling support for reading AIGs with XOR gates.	Alan Mishchenko	2022-06-05	2	-1/+74
\|
*	Supporting new resub problem format.	Alan Mishchenko	2022-06-02	1	-1/+49
\|
*	Improvements to MiniAIG.	Alan Mishchenko	2022-05-18	1	-1/+44
\|
*	Removing equivalence classes when they are not properly refined.	Alan Mishchenko	2022-04-28	1	-0/+3
\|
*	Bug fix in &uif.	Alan Mishchenko	2022-04-24	1	-2/+2
\|
*	Supporting multiple box types in &uif.	Alan Mishchenko	2022-04-24	1	-17/+36
\|
*	Bug fix in &uif.	Alan Mishchenko	2022-04-24	1	-4/+12
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	3	-0/+1327
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-04-22	2	-1/+210
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-04-04	2	-7/+85
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-02-02	1	-1/+1
\|
*	Suggested bug fix.	Alan Mishchenko	2022-01-22	1	-1/+1
\|
*	Suggested bug fixes in the old code.	Alan Mishchenko	2022-01-21	1	-1/+1
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-01-21	2	-2/+16
\|
*	Changes to pattern generation.	Alan Mishchenko	2021-12-26	1	-32/+63
\|
*	Adding new command &icec.	Alan Mishchenko	2021-12-17	2	-0/+65
\|
*	Fixing a rare problem with choice nodes.	Alan Mishchenko	2021-12-16	1	-0/+26
\|
*	Bug fix in blasting word-level flops.	Alan Mishchenko	2021-12-02	1	-0/+8
\|
*	Merge pull request #139 from antmicro/fix-unconnected-couts-upstream	alanminko	2021-11-10	1	-1/+24
\|\ \| \| \| \|	Consider unconnected carry-out ports
\| *	Fix typo	Michael Gielda	2021-10-26	1	-1/+1
\| \|
\| *	Added including unconnected carry-outs in the carry-chain connection list.	Maciej Kurc	2021-10-25	1	-1/+24
\| \| \| \| \| \| \| \|	Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
* \|	Temporary fix to a &blut problem.	Alan Mishchenko	2021-11-07	1	-2/+2
\| \|
* \|	Bug fix and new procedures.	Alan Mishchenko	2021-11-02	2	-4/+6
\| \|
* \|	New API for external calls.	Alan Mishchenko	2021-10-26	1	-0/+16
\|/
*	Various changes.	Alan Mishchenko	2021-10-22	5	-67/+187
\|
*	Experiments with pattern generation.	Alan Mishchenko	2021-10-10	4	-0/+1376
\|
*	Experiments with SAT solving.	Alan Mishchenko	2021-10-09	2	-0/+1366
\|
*	New command &stochsyn for stochastic synthesis.	Alan Mishchenko	2021-10-07	1	-57/+204
\|
*	Compiler warning.	Alan Mishchenko	2021-10-06	1	-1/+1
\|
*	New command &stochsyn for stochastic synthesis.	Alan Mishchenko	2021-10-06	2	-0/+322
\|
*	Various changes.	Alan Mishchenko	2021-10-06	1	-0/+1
\|
*	Various changes.	Alan Mishchenko	2021-09-30	6	-1/+1211
\|
*	Other compiler changes.	Alan Mishchenko	2021-09-26	1	-1/+1
\|
*	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	Alan Mishchenko	2021-09-26	3	-7/+7
\|
*	Various changes.	Alan Mishchenko	2021-09-26	1	-4/+56
\|
*	Experiment with simulation.	Alan Mishchenko	2021-09-22	1	-2/+55
\|
*	Adding command &reshape.	Alan Mishchenko	2021-09-21	2	-2/+2
\|
*	Adding command &reshape.	Alan Mishchenko	2021-09-21	2	-15/+15
\|
*	Adding command &reshape.	Alan Mishchenko	2021-09-21	2	-2/+2
\|
*	Removing unused command.	Alan Mishchenko	2021-09-21	1	-2/+0
\|
*	Improving MiniAIG and name manager.	Alan Mishchenko	2021-09-16	2	-12/+16
\|
*	Further debugging of MiniLUT APIs.	Alan Mishchenko	2021-09-16	1	-1/+72
\|