iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Enabling dumping of the library of minimum circuits.	Alan Mishchenko	2019-04-17	2	-12/+24
\|
*	Adding new command handler for experimental procedures.	Alan Mishchenko	2019-04-17	4	-0/+107
\|
*	Fix naming problem in converting a logic network into a netlist.	Alan Mishchenko	2019-04-17	1	-1/+4
\|
*	Fix index of delay tables created by %blast.	Alan Mishchenko	2019-04-16	2	-3/+3
\|
*	Adding switch 'read_truth -f <file_name>' to read truth table from file.	Alan Mishchenko	2019-04-15	1	-9/+22
\|
*	Adding miter construction with one bit-level output for each pair of ↵	Alan Mishchenko	2019-04-14	1	-1/+1
\| \| \| \|	word-level outputs (small fix).
*	Adding miter construction with one bit-level output for each pair of ↵	Alan Mishchenko	2019-04-14	5	-13/+59
\| \| \| \|	word-level outputs.
*	Adding clock enable extraction as command &put -e.	Alan Mishchenko	2019-04-14	2	-15/+80
\|
*	Decoupling identical flop-input names in &put.	Alan Mishchenko	2019-04-10	1	-2/+10
\|
*	Small change to fix broken C++ build.	Alan Mishchenko	2019-04-09	1	-1/+2
\|
*	Extending generic simulation APIs.	Alan Mishchenko	2019-04-09	2	-5/+10
\|
*	Supporting reset in retiming.	Alan Mishchenko	2019-04-09	1	-0/+6
\|
*	Supporting LUT in NDR and WLC.	Alan Mishchenko	2019-04-05	7	-5/+30
\|
*	Converting dch-style equivalences into scorr-style ones.	Alan Mishchenko	2019-04-05	1	-0/+12
\|
*	Recognizing async reset in blasting (the case of constant 0 driver).	Alan Mishchenko	2019-04-02	1	-2/+18
\|
*	Compiler warning.	Alan Mishchenko	2019-03-28	1	-1/+0
\|
*	Extending simulation interface.	Alan Mishchenko	2019-03-28	2	-5/+10
\|
*	Adding support for logging in command &gla.	Alan Mishchenko	2019-03-27	1	-5/+18
\|
*	Changing print-out in 'dprove' when the miter is combinational.	Alan Mishchenko	2019-03-27	1	-10/+13
\|
*	Recognizing async reset in blasting.	Alan Mishchenko	2019-03-26	6	-1/+69
\|
*	Making 'ndr.h' fully independent of other ABC data-structures.	Alan Mishchenko	2019-03-23	1	-12/+18
\|
*	Add special handling of script-level assertions.	Alan Mishchenko	2019-03-20	1	-2/+98
\|
*	Prevent assertions from firing for deep logic networks.	Alan Mishchenko	2019-03-20	1	-4/+4
\|
*	Adding support for LUT primitive in NDR.	Alan Mishchenko	2019-03-20	1	-1/+1
\|
*	Adding support for LUT primitive in NDR.	Alan Mishchenko	2019-03-20	2	-1/+3
\|
*	Fixing several potential bugs.	Alan Mishchenko	2019-03-19	3	-3/+3
\|
*	Adding new command line args.	Alan Mishchenko	2019-03-18	1	-0/+3
\|
*	Adding new command line args.	Alan Mishchenko	2019-03-13	2	-5/+7
\|
*	Changing the default delay of buffers driving POs.	Alan Mishchenko	2019-03-13	1	-1/+3
\|
*	Updated NPN classification code (compiler warnings).	Alan Mishchenko	2019-03-12	3	-6/+7
\|
*	Adding logfile support to several commands.	Alan Mishchenko	2019-03-12	1	-6/+53
\|
*	Updated NPN classification code (bug fix).	Alan Mishchenko	2019-03-10	1	-5/+5
\|
*	Updated NPN classification code.	Alan Mishchenko	2019-03-08	2	-10/+10
\|
*	Updated functional enumation code.	Alan Mishchenko	2019-03-08	2	-28/+604
\|
*	Updating canonical form computation procedures (compiler warnings).	Alan Mishchenko	2019-03-05	2	-2/+2
\|
*	Updating canonical form computation procedures (compiler warnings).	Alan Mishchenko	2019-03-05	1	-6/+7
\|
*	Updating canonical form computation procedures.	Alan Mishchenko	2019-03-05	3	-109/+598
\|
*	Fixing some more warnings by adding cast from 'int' to 'size_t'.	Alan Mishchenko	2019-03-05	15	-73/+73
\|
*	Fixing several other type conversion warnings.	Alan Mishchenko	2019-03-05	2	-32/+32
\|
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵	Alan Mishchenko	2019-03-05	114	-263/+263
\| \| \| \|	memcpy, etc.
*	Fixing some warnings with -Wconversion.	Alan Mishchenko	2019-03-05	2	-3/+3
\|
*	Suggested white-space changes for fewer gcc warnings.	Alan Mishchenko	2019-03-04	10	-22/+24
\|
*	Bug in handling reverse ranges in blasting.	Alan Mishchenko	2019-03-04	1	-14/+15
\|
*	Passing names in &scorr.	Alan Mishchenko	2019-02-18	1	-0/+12
\|
*	Passing names in &scorr.	Alan Mishchenko	2019-02-18	1	-0/+5
\|
*	Adding switch -x to &ps to disable color printout.	Alan Mishchenko	2019-02-12	3	-5/+27
\|
*	Add skip feature to CEX printing.	Alan Mishchenko	2019-02-08	1	-1/+9
\|
*	Bug fix in generating box library.	Alan Mishchenko	2019-02-04	1	-2/+2
\|
*	Compiler warning.	Alan Mishchenko	2019-02-01	2	-2/+2
\|
*	Compiler warning.	Alan Mishchenko	2019-01-30	1	-1/+1
\|