iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix compile errors and warnings	Yukio Miyasaka	2022-09-19	1	-134/+98
\|
*	Temporarily disabling new code.	Alan Mishchenko	2022-09-19	1	-0/+2
\|
*	Temporarily disabling new code.	Alan Mishchenko	2022-09-19	1	-0/+18
\|
*	Temporarily disabling &ttopt in the Windows version.	Alan Mishchenko	2022-09-19	1	-0/+6
\|
*	Merge pull request #178 from MyskYko/ttopt	alanminko	2022-09-19	3	-0/+1317
\|\ \| \| \| \|	Import ttopt
\| *	import ttopt	Yukio Miyasaka	2022-09-17	3	-0/+1317
\| \|
* \|	Adding args to command %yosys.	Alan Mishchenko	2022-09-19	4	-19/+60
\|/
*	Compiler warnings.	Alan Mishchenko	2022-08-30	2	-2/+4
\|
*	Testing utility code.	Alan Mishchenko	2022-08-30	3	-1/+122
\|
*	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
\|