iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	8	-270/+270
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-24	2	-9/+54
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	5	-18/+75
\|
*	Modified structural constraint extraction (unfold -s) to work for ↵	Alan Mishchenko	2012-09-23	1	-0/+22
\| \| \| \|	multi-output testcases.
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	4	-53/+76
\|
*	Upgrading hierarchy timing manager.	Alan Mishchenko	2012-09-21	10	-989/+1394
\|
*	Modified 'read' to read all types of libraries (genlib, liberty, scl).	Alan Mishchenko	2012-09-20	1	-1/+1
\|
*	Changes to command 'upsize'.	Alan Mishchenko	2012-09-18	1	-0/+36
\|
*	Fixing mismatch between declaration of the output value of Extra_CpuTime.	Alan Mishchenko	2012-09-18	2	-2/+2
\|
*	Moving binary IO streams to the vector package.	Alan Mishchenko	2012-09-17	1	-0/+115
\|
*	Several minor changes.	Alan Mishchenko	2012-09-03	1	-0/+41
\|
*	Added printout of library cells.	Alan Mishchenko	2012-08-27	1	-0/+22
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-25	1	-0/+1
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-24	1	-0/+17
\|
*	Added new algorithm for NPN semi-canonical form computation.	Alan Mishchenko	2012-08-23	2	-4/+86
\|
*	Added purification of UNSAT core in &gla.	Alan Mishchenko	2012-08-10	1	-6/+6
\|
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	1	-4/+6
\|
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	2	-1/+2
\|
*	Fixing performance bug with old proof-logging (adding clauses multiple times).	Alan Mishchenko	2012-07-30	1	-0/+22
\|
*	Reducing memory usage in proof-based abstraction.	Alan Mishchenko	2012-07-29	1	-0/+2
\|
*	Adding memory reporting to vectors.	Alan Mishchenko	2012-07-29	7	-118/+120
\|
*	Recording and reusing learned util clauses in bmc2.	Alan Mishchenko	2012-07-22	1	-1/+1
\|
*	Updated code for lazy man's synthesis (memory optimization).	Alan Mishchenko	2012-07-20	1	-0/+290
\|
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-20	1	-2/+2
\|
*	New procedures to generate NPN-classes for a library of 6-input functions.	Alan Mishchenko	2012-07-20	1	-8/+16
\|
*	New procedures to generate NPN-classes for a library of 6-input functions.	Alan Mishchenko	2012-07-19	2	-0/+291
\|
*	Fixing the integer print-out problem.	Alan Mishchenko	2012-07-13	1	-13/+13
\|
*	Fixing the integer print-out problem.	Alan Mishchenko	2012-07-13	1	-12/+18
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-25/+17
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+7
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+1
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-2/+2
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+19
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-31/+9
\|
*	Fixing a mismatch in regular/shadow page memory appending procedure.	Alan Mishchenko	2012-07-13	1	-2/+2
\|
*	Improvements in the proof-logging SAT solver.	Alan Mishchenko	2012-07-11	1	-0/+19
\|
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	2	-7/+7
\|
*	Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, ↵	Alan Mishchenko	2012-07-09	1	-7/+10
\| \| \| \|	dsat, etc).
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	37	-42/+42
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	11	-19/+17
\|
*	Making 'pdr', &gla, &vta print correctly in batch mode.	Alan Mishchenko	2012-07-07	2	-4/+16
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-4/+4
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-4/+4
\|
*	Added memory reporting to &vta.	Alan Mishchenko	2012-06-22	8	-8/+137
\|
*	Reporing memory usage by the SAT solver in 'bmc3'.	Alan Mishchenko	2012-06-15	1	-0/+19
\|
*	Added option to compile on windows without DLL support.	Alan Mishchenko	2012-06-15	1	-2/+7
\|
*	Misc changes.	Alan Mishchenko	2012-05-03	2	-1/+7
\|
*	Misc changes.	Alan Mishchenko	2012-04-22	1	-2/+3
\|
*	Misc changes.	Alan Mishchenko	2012-04-20	3	-14/+5
\|
*	Added/moved several APIs.	Alan Mishchenko	2012-04-10	2	-9/+16
\|