iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding option 'gen -b' to generate signed Booth multipliers.	Alan Mishchenko	2019-09-19	1	-0/+271
*	Bug fix in 'gen -b'.	Alan Mishchenko	2018-07-08	1	-3/+3
*	Generating adder-trees using 'gen -b -A <num> -N <num> <file>.v'.	Alan Mishchenko	2018-07-04	1	-0/+49
*	Improving bit-blasting of full-adder.	Alan Mishchenko	2015-09-23	1	-10/+33
*	New random FSM generation command 'genfsm'.	Alan Mishchenko	2013-06-22	1	-0/+84
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
*	Added generation of multipliers in 'gen'.	Alan Mishchenko	2012-05-15	1	-100/+135
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-13/+12
*	Improvements to the QBF solver.	Alan Mishchenko	2011-10-25	1	-2/+2
*	Improvements to the QBF solver.	Alan Mishchenko	2011-10-24	1	-1/+23
*	Made abc.h independent of CUDD and Extra.	Alan Mishchenko	2011-03-03	1	-0/+1
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-2/+11
*	Version abc90329	Alan Mishchenko	2009-03-29	1	-0/+50
*	Version abc80307	Alan Mishchenko	2008-03-07	1	-1/+1
*	Version abc80301	Alan Mishchenko	2008-03-01	1	-3/+57
*	Version abc80207	Alan Mishchenko	2008-02-07	1	-0/+42
*	Version abc80130_2	Alan Mishchenko	2008-01-30	1	-0/+511
*	Version abc80130	Alan Mishchenko	2008-01-30	1	-511/+0
*	Version abc71001	Alan Mishchenko	2007-10-01	1	-0/+511
*	Version abc70930	Alan Mishchenko	2007-09-30	1	-511/+0
*	Version abc70313	Alan Mishchenko	2007-03-13	1	-0/+144
*	Version abc70302	Alan Mishchenko	2007-03-02	1	-0/+106
*	Version abc60407	Alan Mishchenko	2006-04-07	1	-0/+261