iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Other changes to enable new features in the mapper.	Alan Mishchenko	2011-07-10	2	-10/+31
\|
*	Initial changes to enable new features in the mapper	Alan Mishchenko	2011-07-08	5	-3/+98
\|
*	Printing out the path/name of the resource file that is being sourced.	Alan Mishchenko	2011-07-02	1	-0/+7
\|
*	Fixing a typo, which led to not printing delay in 'ps' after SC mapping.	Alan Mishchenko	2011-07-02	1	-1/+1
\|
*	Added a new demitering feature for dual-output miters.	Alan Mishchenko	2011-07-02	2	-5/+100
\|
*	Added another specialized check to the mapper.	Alan Mishchenko	2011-06-27	1	-12/+25
\|
*	Updated 'iprove' to generate seq CEX when CEC fails (small fix).	Alan Mishchenko	2011-06-25	1	-1/+0
\|
*	Merged two last changes.	Alan Mishchenko	2011-06-25	3	-0/+134
\|\
\| *	Added dumping CEXes in AIGER format.	Alan Mishchenko	2011-06-21	3	-0/+134
\| \|
* \|	Updated 'iprove' to generate seq CEX when CEC fails.	Alan Mishchenko	2011-06-25	2	-2/+8
\|/
*	Added new mapping feature.	Alan Mishchenko	2011-06-20	1	-2/+22
\|
*	Added permute/unpermute.	Alan Mishchenko	2011-06-20	1	-2/+2
\|
*	Added permute/unpermute.	Alan Mishchenko	2011-06-20	3	-0/+287
\|
*	Disabled duplication of the network while removing POs in 'zeropo'.	Alan Mishchenko	2011-06-15	1	-4/+5
\|
*	Added command &filter to filter equiv classes.	Alan Mishchenko	2011-06-15	1	-1/+80
\|
*	Disabled duplication of the network while removing POs in 'removepo'.	Alan Mishchenko	2011-06-14	1	-4/+5
\|
*	Adding command 'srm2' (additional feature).	Alan Mishchenko	2011-06-08	1	-4/+13
\|
*	Adding command 'srm2'.	Alan Mishchenko	2011-06-08	1	-1/+2
\|
*	Adding command 'srm2'.	Alan Mishchenko	2011-06-08	1	-0/+91
\|
*	Adding command 'removepo'.	Alan Mishchenko	2011-06-03	2	-0/+95
\|
*	Bug fix in 'swappos'.	Alan Mishchenko	2011-06-03	1	-0/+9
\|
*	Added new command 'outdec'.	Alan Mishchenko	2011-05-19	2	-0/+109
\|
*	Special BLIF writing (bug fixes).	Alan Mishchenko	2011-05-18	2	-23/+41
\|
*	Special BLIF writing.	Alan Mishchenko	2011-05-18	6	-4/+339
\|
*	Improvements to timeout.	Alan Mishchenko	2011-05-11	1	-2/+4
\|
*	Updated technology mapping.	Alan Mishchenko	2011-05-08	1	-3/+2
\|
*	Updated technology mapping.	Alan Mishchenko	2011-05-07	1	-3/+19
\|
*	Improvements in sequential verification.	Alan Mishchenko	2011-05-07	1	-15/+15
\|
*	Improvements in sequential verification.	Alan Mishchenko	2011-05-06	2	-11/+50
\|
*	Trying to fix a mysterious bug in reading the library files.	Alan Mishchenko	2011-05-06	2	-6/+6
\|
*	Updating testcext to ignore the diff in register count and other things.	Alan Mishchenko	2011-05-01	1	-11/+30
\|
*	Added new options to testcex.	Alan Mishchenko	2011-04-28	2	-50/+73
\|
*	Commented out debug messages.	Alan Mishchenko	2011-04-26	2	-3/+3
\|
*	Made testcex reset the number of the PO that failed.	Alan Mishchenko	2011-04-25	1	-4/+14
\|
*	Added support for AIG returned in the output file.	Alan Mishchenko	2011-04-24	1	-8/+34
\|
*	Added switch to control duplication of logic after mapping.	Alan Mishchenko	2011-04-24	2	-3/+7
\|
*	Bug fixes having to do with the use of chars.	Alan Mishchenko	2011-04-20	1	-0/+8
\|
*	Fixing c++ portability issues.	Alan Mishchenko	2011-04-20	1	-10/+2
\|
*	Fixing compilation problem which resulting from defining 'int c' as 'char c'.	Alan Mishchenko	2011-04-19	1	-2/+2
\|
*	Adding constant correspondence.	Alan Mishchenko	2011-04-18	1	-13/+34
\|
*	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵	Alan Mishchenko	2011-04-17	1	-1/+83
\| \| \| \|	numbers.
*	Added command 'reconcile'.	Alan Mishchenko	2011-04-16	1	-2/+99
\|
*	Added cex generation for clustered reachability (forgot one file).	Alan Mishchenko	2011-04-16	1	-2/+2
\|
*	Added cex generation for clustered reachability.	Alan Mishchenko	2011-04-16	1	-0/+6
\|
*	Improving timeout in the interpolation package.	Alan Mishchenko	2011-04-15	1	-5/+0
\|
*	Further improvements to reachability.	Alan Mishchenko	2011-04-15	1	-7/+13
\|
*	Experiments with reachability.	Alan Mishchenko	2011-04-14	1	-6/+9
\|
*	Enabled new BDD-based reachability engine 'reachy'.	Alan Mishchenko	2011-04-13	2	-1/+140
\|
*	Added print-out of area in terms of LUT library.	Alan Mishchenko	2011-04-13	1	-1/+32
\|
*	Adding SAT-solver-level timeouts to the BMC engines.	Alan Mishchenko	2011-04-08	1	-26/+32
\|