iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Changes to the interface of &cfs.	Alan Mishchenko	2019-05-15	2	-5/+18
\|
*	Merge branch 'master' of https://github.com/berkeley-abc/abc	Alan Mishchenko	2019-05-11	1	-1/+1
\|\
\| *	Merge pull request #37 from jamesjer/master	alanminko	2019-05-10	1	-1/+1
\| \|\ \| \| \| \| \| \|	Fix a memset that doesn't zero enough bytes.
\| \| *	Fix a memset that doesn't zero enough bytes.	Jerry James	2019-05-08	1	-1/+1
\| \|/
* /	Fixing recent change to 'print_stats'.	Alan Mishchenko	2019-05-11	2	-2/+3
\|/
*	Modifying 'write_truth' to dump truth table in hex.	Alan Mishchenko	2019-05-07	3	-3/+30
\|
*	Experiment with frontier cut computation.	Alan Mishchenko	2019-05-01	1	-0/+15
\|
*	Adding the possibility to specify file name in 'pdr'.	Alan Mishchenko	2019-04-22	4	-4/+16
\|
*	Adding switch &st -s for MUX restructring.	Alan Mishchenko	2019-04-21	1	-1/+2
\|
*	Adding switch &st -s for MUX restructring.	Alan Mishchenko	2019-04-21	2	-2/+89
\|
*	Improvements to the retiming algorithm.	Alan Mishchenko	2019-04-18	1	-1/+7
\|
*	Improvements to the retiming algorithm.	Alan Mishchenko	2019-04-18	1	-1/+1
\|
*	Improvements to the retiming algorithm.	Alan Mishchenko	2019-04-18	1	-22/+63
\|
*	Enabling dumping of the library of minimum circuits (compiler warnings).	Alan Mishchenko	2019-04-18	2	-10/+14
\|
*	Enabling dumping of the library of minimum circuits (file support).	Alan Mishchenko	2019-04-18	2	-28/+25
\|
*	Adding switch &dch -e to reduce equivalences.	Alan Mishchenko	2019-04-17	1	-4/+18
\|
*	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
\|