iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-18	1	-0/+4
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-16	1	-0/+4
\|
*	Diabling pin-permutation in &nf mapper.	Alan Mishchenko	2015-02-08	1	-0/+4
\|
*	Added SMT parser for Wlc_Ntk_t.	Alan Mishchenko	2015-02-07	1	-0/+4
\|
*	Adding binary dump to CBA.	Alan Mishchenko	2015-02-05	1	-0/+12
\|
*	Major rehash of the CBA code.	Alan Mishchenko	2015-01-31	1	-7/+15
\|
*	New parser and framework.	Alan Mishchenko	2014-11-29	1	-0/+52
\|
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-0/+4
\|
*	Adding cyclicity check for netlist with boxes.	Alan Mishchenko	2014-11-10	1	-0/+4
\|
*	Detecting full-adder chains and putting them into white boxes.	Alan Mishchenko	2014-11-09	1	-0/+4
\|
*	Experimental implementation of BMC-related procedures.	Alan Mishchenko	2014-11-04	1	-0/+4
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-28	1	-20/+0
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-27	1	-0/+4
\|
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	1	-2/+10
\|
*	Adding commands backup/restore.	Alan Mishchenko	2014-10-21	1	-0/+4
\|
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	1	-0/+4
\|
*	Deriving cell mapping with &if -kz.	Alan Mishchenko	2014-10-04	1	-0/+4
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	1	-2/+2
\|
*	Code restructuring.	Alan Mishchenko	2014-09-16	1	-6/+10
\|
*	New word-level representation package.	Alan Mishchenko	2014-09-12	1	-4/+32
\|
*	Bug fix in transferring timing info.	Alan Mishchenko	2014-09-09	1	-0/+4
\|
*	Adding specialized matching to 'if'.	Alan Mishchenko	2014-08-16	1	-0/+8
\|
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-0/+4
\|
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-84/+0
\|
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-0/+92
\|
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-26	1	-0/+4
\|
*	Adding new command &sopb for resource-aware SOP balancing.	Alan Mishchenko	2014-07-21	1	-0/+4
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-144/+0
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-0/+144
\|
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-26	1	-0/+4
\|
*	Experiments with balancing.	Alan Mishchenko	2014-06-22	1	-0/+4
\|
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	1	-0/+4
\|
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-0/+4
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+4
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-0/+4
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	1	-0/+12
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-0/+4
\|
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	1	-0/+4
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-21	1	-0/+8
\|
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-0/+4
\|
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	1	-0/+4
\|
*	Implementation of DSD balancing.	Alan Mishchenko	2014-04-06	1	-0/+4
\|
*	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	Alan Mishchenko	2014-04-05	1	-0/+4
\|
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	1	-0/+4
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+4
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-20	1	-3/+7
\|
*	Experiments with cut caching.	Alan Mishchenko	2014-03-20	1	-0/+4
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-152/+0
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-0/+156
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-18	1	-0/+4
\|