iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various changes.	Alan Mishchenko	2022-08-30	1	-1/+2
\|
*	Various changes.	Alan Mishchenko	2022-08-30	5	-13/+490
\|
*	Changing 2:1 MUX fanin order to be (ctrl, data0, data1).	Alan Mishchenko	2022-08-11	1	-1/+1
\|
*	Improvements to command 'twoexact'.	Alan Mishchenko	2022-08-08	1	-1/+1
\|
*	Improvements to command 'twoexact'.	Alan Mishchenko	2022-08-08	2	-10/+301
\|
*	Improvements to command 'twoexact'.	Alan Mishchenko	2022-08-07	1	-3/+3
\|
*	Improvements to command 'twoexact'.	Alan Mishchenko	2022-08-07	3	-5/+1031
\|
*	Improvements to command 'twoexact'.	Alan Mishchenko	2022-08-04	1	-7/+24
\|
*	Improvements to command 'twoexact'.	Alan Mishchenko	2022-08-03	3	-19/+124
\|
*	Investigating complex miters.	Alan Mishchenko	2022-08-03	4	-8/+185
\|
*	New switch in command &st for adding buffers.	Alan Mishchenko	2022-07-31	2	-5/+38
\|
*	Constructing boolean relation.	Alan Mishchenko	2022-07-30	1	-0/+156
\|
*	Various changes.	Alan Mishchenko	2022-07-30	7	-2/+177
\|
*	Commenting out unimportant assertion.	Alan Mishchenko	2022-06-27	1	-1/+1
\|
*	Dumping equivalences after SAT sweeping.	Alan Mishchenko	2022-06-26	5	-6/+172
\|
*	Experiments with technology mapping.	Alan Mishchenko	2022-06-25	3	-0/+322
\|
*	Making command &kissat not look for the binary in the current dir.	Alan Mishchenko	2022-06-23	1	-2/+9
\|
*	Experiments with the mapper.	Alan Mishchenko	2022-06-23	7	-1/+117
\|
*	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	4	-0/+568
\|
*	Bug fix by Ai Quoc Dao.	Alan Mishchenko	2022-06-08	1	-1/+1
\|
*	Renaming switch '-i' into '-c' in %collapse.	Alan Mishchenko	2022-06-05	1	-4/+4
\|
*	Enabling support for reading AIGs with XOR gates.	Alan Mishchenko	2022-06-05	3	-5/+92
\|
*	Integrated Kissat, by Armin Biere, as an external binary.	Alan Mishchenko	2022-06-02	2	-0/+191
\|
*	Supporting new resub problem format.	Alan Mishchenko	2022-06-02	6	-2/+200
\|
*	Improvements to MiniAIG.	Alan Mishchenko	2022-05-22	1	-3/+22
\|
*	Adding new switch to &cec.	Alan Mishchenko	2022-05-20	2	-8/+35
\|
*	Adding switch to dsd_match to skip small functions.	Alan Mishchenko	2022-05-18	5	-11/+22
\|
*	One less line printed out in the batch mode.	Alan Mishchenko	2022-05-18	1	-1/+1
\|
*	Improvements to MiniAIG.	Alan Mishchenko	2022-05-18	2	-13/+283
\|
*	Removing equivalence classes when they are not properly refined.	Alan Mishchenko	2022-04-28	1	-0/+3
\|
*	Removing equivalence classes when they are not properly refined.	Alan Mishchenko	2022-04-27	1	-0/+2
\|
*	Removing duplicated command.	Alan Mishchenko	2022-04-26	1	-1/+1
\|
*	Adding switch -c to &cone.	Alan Mishchenko	2022-04-26	2	-4/+15
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-04-26	2	-65/+220
\|
*	A trivial changeset.	Alan Mishchenko	2022-04-24	1	-1/+0
\|
*	Adding a switch to complement outputs after collapsing.	Alan Mishchenko	2022-04-24	1	-3/+9
\|
*	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	5	-20/+71
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	4	-9/+22
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	1	-2/+3
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	10	-14/+3782
\|
*	Adding switch to stop scorr if refinement is too slow.	Alan Mishchenko	2022-04-24	6	-18/+121
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-04-22	5	-10/+667
\|
*	Merge pull request #160 from antonblanchard/signed-char	alanminko	2022-04-06	1	-1/+1
\|\ \| \| \| \|	Fix compile error on targets with unsigned char
\| *	Fix compile error on targets with unsigned char	Anton Blanchard	2022-02-18	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	abc is failing to compile on ppc64le because char is unsigned by default: src/misc/extra/extraUtilMisc.c: In function ‘void abc::Extra_TruthExpand(int, int, unsigned int, unsigned int, unsigned int)’: src/misc/extra/extraUtilMisc.c:1550:5: error: narrowing conversion of ‘-1’ from ‘int’ to ‘char’ inside { } [-Wnarrowing]
* \|	Added a switch to &dfs to perform levelized ordering.	Alan Mishchenko	2022-04-04	1	-6/+13
\| \|
* \|	Experiments with word-level data structures.	Alan Mishchenko	2022-04-04	6	-33/+241
\| \|
* \|	Merge pull request #145 from QuantamHD/fix_internal_pins	alanminko	2022-04-04	1	-1/+5
\|\ \ \| \| \| \| \| \|	Fixes internal pin parsing error in ASAP7 liberty file.