iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	New technology mapper.	Alan Mishchenko	2013-07-14	1	-0/+6
\|
*	Compiler warning.	Alan Mishchenko	2013-07-01	1	-4/+6
\|
*	Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem ↵	Alan Mishchenko	2013-07-01	1	-0/+1
\| \| \| \|	on some platforms.
*	Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed.	Niklas Een	2013-06-29	1	-2/+2
\|
*	Fixed a problem in BridgeMode; it will now correctly detect if the pipe has ↵	Niklas Een	2013-06-28	1	-4/+22
\| \| \| \|	been closed and exit ABC.
*	Suggested changes to counting time in Abc_Clock()	Alan Mishchenko	2013-06-18	1	-10/+10
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-1/+1
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	4	-28/+46
\|
*	Shrink for 6-LUTs.	Alan Mishchenko	2013-03-31	1	-2/+138
\|
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-1/+2
\|
*	Allowing for Verilog names of the type slash-<name>-space-[N].	Alan Mishchenko	2013-02-22	1	-2/+8
\|
*	Fixing compilation problems on Linux-32 related to constants of type ↵	Alan Mishchenko	2013-01-30	2	-61/+67
\| \| \| \|	unsigned long long.
*	Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.	Alan Mishchenko	2013-01-25	1	-0/+19
\|
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	2	-4/+8
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-28/+23
\|
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-3/+4
\|
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-09	1	-6/+5
\|
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-08	2	-1/+118
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-30	1	-2/+2
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-29	2	-0/+20
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-28	2	-0/+12
\|
*	DSD manager.	Alan Mishchenko	2012-11-20	1	-5/+5
\|
*	DSD manager.	Alan Mishchenko	2012-11-19	1	-0/+1
\|
*	Added switch 'cexcut -m' to generate bad states for all frames after G.	Alan Mishchenko	2012-11-15	1	-2/+2
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-11/+12
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	2	-0/+59
\|
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	1	-1/+1
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-3/+46
\|
*	Improved DSD.	Alan Mishchenko	2012-11-06	1	-0/+52
\|
*	Improved DSD.	Alan Mishchenko	2012-11-06	1	-45/+164
\|
*	Improved DSD.	Alan Mishchenko	2012-11-03	1	-1/+2
\|
*	Improved DSD.	Alan Mishchenko	2012-11-02	1	-21/+36
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-10/+2
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-462/+69
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-84/+101
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-31	1	-13/+22
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-31	1	-2/+4
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-31	1	-2/+38
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	1	-2/+39
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	1	-4/+4
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	2	-80/+887
\|
*	Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵	Niklas Een	2012-10-30	2	-10/+20
\| \| \| \|	Fixed printf -> Abc_Print in some places.
*	Improvements to the truth table computation in 'if' package.	Alan Mishchenko	2012-10-29	1	-4/+103
\|
*	Move truth table code into a separte file.	Alan Mishchenko	2012-10-28	1	-0/+323
\|
*	Adding #ifdef to guard windows-specific debugging option.	Alan Mishchenko	2012-10-20	1	-3/+5
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-5/+6
\|
*	Fixing mismatch between declaration of the output value of Extra_CpuTime.	Alan Mishchenko	2012-09-18	1	-1/+1
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-25	1	-0/+1
\|
*	Added purification of UNSAT core in &gla.	Alan Mishchenko	2012-08-10	1	-6/+6
\|
*	Fixing the integer print-out problem.	Alan Mishchenko	2012-07-13	1	-13/+13
\|