iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to false path detection.	Alan Mishchenko	2014-07-08	1	-1/+1
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-3/+7
\|
*	Changes to align node IDs in Abc_Ntk_t representing a logic network with ↵	Alan Mishchenko	2014-06-30	1	-14/+12
\| \| \| \|	Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.
*	Changes to align node IDs in Abc_Ntk_t representing a logic network with ↵	Alan Mishchenko	2014-06-30	1	-10/+14
\| \| \| \|	Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-28	1	-1/+1
\|
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-28	1	-6/+16
\|
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-26	1	-0/+3
\|
*	Improvements to power-aware mapping.	Alan Mishchenko	2014-06-23	2	-8/+17
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-1/+1
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	3	-12/+55
\|
*	Added command &mux_profile.	Alan Mishchenko	2014-06-22	1	-0/+43
\|
*	Experiments with balancing.	Alan Mishchenko	2014-06-22	1	-0/+80
\|
*	New tools for profiling verification miters.	Alan Mishchenko	2014-06-20	1	-2/+62
\|
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	1	-0/+59
\|
*	Added delay-oriented balancing to unmapping in &st.	Alan Mishchenko	2014-06-19	1	-1/+14
\|
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-0/+193
\|
*	Bug fix in writing latch init values in 'write_aiger'.	Alan Mishchenko	2014-06-17	1	-3/+3
\|
*	Added transformation of CEX after 'fix_aig' and checking of transformed ↵	Alan Mishchenko	2014-06-17	2	-24/+89
\| \| \| \|	CEXes using 'testcex -a'.
*	Bug fix in CEC generation after rarity simulation and few small changes.	Alan Mishchenko	2014-06-16	1	-5/+9
\|
*	Adding support of multi-output problems in &splitprove.	Alan Mishchenko	2014-06-15	1	-1/+25
\|
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	1	-2/+14
\|
*	Adding more features to the synthesis script &syn2.	Alan Mishchenko	2014-06-14	1	-7/+35
\|
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	1	-20/+15
\|
*	Various modifications.	Alan Mishchenko	2014-06-12	1	-22/+47
\|
*	Enabling switching activity.	Alan Mishchenko	2014-06-12	1	-2/+6
\|
*	Integrating recent changes.	Alan Mishchenko	2014-06-12	1	-36/+22
\|
*	Adding switch to &st to convert to larger gates.	Alan Mishchenko	2014-06-11	1	-5/+12
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-2/+174
\|
*	Skip 'scorr' when the network has no primary inputs.	Alan Mishchenko	2014-06-09	1	-0/+6
\|
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	1	-5/+9
\|
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	3	-13/+24
\|
*	Adding a feature to collapse hierarhical AIGs.	Alan Mishchenko	2014-06-05	1	-4/+17
\|
*	Correcting switching activity computation.	Alan Mishchenko	2014-06-05	2	-41/+34
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-2/+4
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
\|
*	ci	Jiang Long	2014-06-04	1	-1/+1
\|
*	the latest version	Jiang Long	2014-06-04	3	-6/+72
\|
*	merge unfold2	Jiang Long	2014-06-04	4	-2/+195
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+1
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-2/+3
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-5/+17
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-5/+20
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-7/+19
\|
*	Merging two branches.	Alan Mishchenko	2014-06-04	1	-5/+6
\|\
\| *	Fix PLA reader to correctly report error file numbers.	Alan Mishchenko	2014-06-02	1	-5/+6
\| \|
* \|	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	1	-0/+64
\| \|
* \|	Corner-cases in &gprove and &mprove.	Alan Mishchenko	2014-06-01	1	-1/+11
\|/
*	Allow delay increase to be negative in 'mfs2'.	Alan Mishchenko	2014-05-31	1	-1/+1
\|