iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	silence clang errors when compiling as C++	Baruch Sterin	2015-11-05	3	-8/+9
\|
*	Compiler warnings.	Alan Mishchenko	2015-10-21	1	-1/+1
\|
*	Improving bit-blasting of full-adder.	Alan Mishchenko	2015-09-23	1	-5/+19
\|
*	Cleaning up boolean operators; adding unique name support; minor changes.	Alan Mishchenko	2015-09-07	3	-34/+101
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-09-03	2	-7/+5
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-09-03	7	-280/+1581
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-30	5	-192/+763
\|
*	Bug fix in Vec_IntInsert() and a couple of new APIs.	Alan Mishchenko	2015-08-26	1	-0/+18
\|
*	Experiments with mapping plus small changes.	Alan Mishchenko	2015-08-23	2	-12/+36
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-10	3	-31/+30
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-09	3	-59/+187
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-09	3	-5/+7
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-09	6	-201/+192
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-08	4	-163/+420
\|
*	Fix for v_rams_20b and fix for 'write_rb' set/reset only input port allowed	Alan Mishchenko	2015-08-07	2	-125/+197
\|
*	Compiler warnings.	Alan Mishchenko	2015-08-04	2	-11/+3
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-04	7	-161/+794
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-01	5	-13/+18
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-07-31	11	-264/+813
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-07-29	3	-461/+323
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-07-28	2	-41/+239
\|
*	Updates to the Cba data-structure.	Alan Mishchenko	2015-07-25	3	-17/+58
\|
*	Updates to Cba data-structure.	Alan Mishchenko	2015-07-24	2	-18/+41
\|
*	Updates to Cba data-structure.	Alan Mishchenko	2015-07-23	3	-177/+697
\|
*	Renaming Cba into Bac.	Alan Mishchenko	2015-07-21	1	-1/+1
\|
*	Renaming Cba into Bac.	Alan Mishchenko	2015-07-21	10	-2055/+2
\|
*	Renaming Cba into Bac.	Alan Mishchenko	2015-07-21	12	-2069/+695
\|
*	Adding new GIA duplication API.	Alan Mishchenko	2015-07-21	1	-1/+1
\|
*	C++ compiler typecast problem.	Alan Mishchenko	2015-07-08	6	-12/+12
\|
*	Suggested fixes to compile with 'gcc -x c++'.	Alan Mishchenko	2015-04-24	6	-6/+8
\|
*	Compiler warnings.	Alan Mishchenko	2015-03-18	1	-1/+2
\|
*	Scalable SOP manipulation package.	Alan Mishchenko	2015-03-18	1	-4/+5
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-04	10	-70/+175
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-03	4	-18/+29
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-02	2	-2/+2
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-01	11	-422/+647
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-21	1	-9/+9
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-19	1	-2/+2
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-17	4	-211/+300
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-16	2	-0/+91
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-16	7	-16/+552
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-15	1	-1/+5
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-15	2	-2/+1
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-15	8	-266/+629
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-13	6	-53/+53
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-11	8	-69/+200
\|
*	Adding resource limit to 'fx'.	Alan Mishchenko	2015-02-10	1	-3/+3
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-09	7	-35/+126
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-09	7	-96/+120
\|
*	Added SMT parser for Wlc_Ntk_t.	Alan Mishchenko	2015-02-07	2	-26/+4
\|