iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-4/+4
\|
*	Improved topo print-out.	Alan Mishchenko	2012-09-11	1	-0/+2
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-09-11	1	-9/+30
\|
*	Added -C to command line for running commands, then staying in interactive mode	Niklas Een	2012-09-11	1	-28/+39
\|
*	Fixing Verilog writer's way of writing module names.	Alan Mishchenko	2012-09-11	1	-1/+1
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	5	-16/+71
\|
*	Commenting out some assertions in the 'map' mapper.	Alan Mishchenko	2012-09-10	1	-4/+4
\|
*	Unified print-out of property failures produced by all engines.	Alan Mishchenko	2012-09-09	14	-29/+28
\|
*	Disable printing refinement statistics by default.	Alan Mishchenko	2012-09-09	2	-2/+2
\|
*	Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation ↵	Alan Mishchenko	2012-09-09	3	-4/+11
\| \| \| \|	(for experiments).
*	Started CEX minimization procedure.	Alan Mishchenko	2012-09-08	2	-26/+306
\|
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	1	-1/+1
\|
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	2	-9/+15
\|
*	Started CEX minimization procedure.	Alan Mishchenko	2012-09-08	3	-0/+183
\|
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	1	-6/+6
\|
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	1	-2/+2
\|
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	2	-14/+82
\|
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	5	-214/+424
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-07	1	-19/+5
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-07	1	-53/+32
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-07	1	-17/+49
\|
*	Added switch 'dch -r' to skip choices with structural support redundancy.	Alan Mishchenko	2012-09-07	1	-1/+1
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-12/+0
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-0/+12
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-12/+5
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-21/+8
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-2/+7
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-0/+5
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-0/+4
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-0/+5
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-1/+4
\|
*	Debugging 64-bit bug in new semi-canonical form..	Alan Mishchenko	2012-09-06	1	-0/+1
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	2	-6/+2
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	7	-188/+188
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	2	-21/+23
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	17	-56/+1212
\|
*	Added platform-independent random-number generator to 'fraig'.	Alan Mishchenko	2012-09-05	2	-2/+7
\|
*	Added switch 'dch -r' to skip choices with structural support redundancy.	Alan Mishchenko	2012-09-05	5	-10/+70
\|
*	Added error message when the user is trying 'dsat' for multi-output comb miters.	Alan Mishchenko	2012-09-05	2	-3/+3
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-05	1	-1/+1
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-04	11	-29/+282
\|
*	Enabling additinal printouts.	Alan Mishchenko	2012-09-04	1	-0/+64
\|
*	Better batch mode printout.	Alan Mishchenko	2012-09-04	1	-1/+1
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	1	-2/+4
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	1	-5/+5
\|
*	Make switches -d (-m) by default dump abstracted model (miter with ↵	Alan Mishchenko	2012-09-04	1	-8/+21
\| \| \| \|	abstraction map) into files whose names are derived from the names of the input file by adding _abs (_gla).
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	25	-1/+73
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	3	-26/+28
\|