iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Several suggested bug-fixes.	Alan Mishchenko	2019-09-13	1	-1/+1
\|
*	Upgrading reparametrization to perform (non-range-equivalent) removal of logic.	Alan Mishchenko	2019-09-04	1	-3/+85
\|
*	Adding new switch to &genqfb to use output as an enable in the miter.	Alan Mishchenko	2019-07-30	1	-5/+10
\|
*	Representing formula used in &fftest as a BLIF file.	Alan Mishchenko	2019-07-18	1	-17/+43
\|
*	Adding switch '-F <filename>' to &fftest.	Alan Mishchenko	2019-07-16	1	-5/+40
\|
*	Adding command &permute.	Alan Mishchenko	2019-07-02	1	-0/+49
\|
*	Making 'dsec' return verification status.	Alan Mishchenko	2019-06-21	1	-1/+1
\|
*	Adding verbosity flag to command 'symfun'.	Alan Mishchenko	2019-06-20	1	-3/+3
\|
*	Updating command 'symfun' to generate symmetric functions and their NPN classes.	Alan Mishchenko	2019-05-30	1	-25/+53
\|
*	Adding support for user-specified wire delays in &if.	Alan Mishchenko	2019-05-29	1	-0/+16
\|
*	Adding command 'symfun' to generate truth table of a symmetric function.	Alan Mishchenko	2019-05-25	1	-0/+75
\|
*	Adding command &print_truth to print truth tables for primary outputs.	Alan Mishchenko	2019-05-25	1	-0/+89
\|
*	Changes to the interface of &cfs.	Alan Mishchenko	2019-05-21	1	-4/+4
\|
*	Changes to the interface of &cfs.	Alan Mishchenko	2019-05-15	1	-4/+17
\|
*	Merge branch 'master' of https://github.com/berkeley-abc/abc	Alan Mishchenko	2019-05-11	1	-1/+1
\|\
\| *	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	1	-0/+1
\|/
*	Adding the possibility to specify file name in 'pdr'.	Alan Mishchenko	2019-04-22	1	-2/+12
\|
*	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	1	-2/+15
\|
*	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	1	-5/+19
\|
*	Adding new command handler for experimental procedures.	Alan Mishchenko	2019-04-17	1	-0/+47
\|
*	Adding clock enable extraction as command &put -e.	Alan Mishchenko	2019-04-14	1	-11/+14
\|
*	Decoupling identical flop-input names in &put.	Alan Mishchenko	2019-04-10	1	-2/+10
\|
*	Extending generic simulation APIs.	Alan Mishchenko	2019-04-09	1	-4/+9
\|
*	Extending simulation interface.	Alan Mishchenko	2019-03-28	1	-4/+9
\|
*	Adding support for logging in command &gla.	Alan Mishchenko	2019-03-27	1	-5/+18
\|
*	Adding new command line args.	Alan Mishchenko	2019-03-18	1	-0/+3
\|
*	Adding new command line args.	Alan Mishchenko	2019-03-13	1	-4/+6
\|
*	Adding logfile support to several commands.	Alan Mishchenko	2019-03-12	1	-6/+53
\|
*	Updated NPN classification code.	Alan Mishchenko	2019-03-08	1	-4/+4
\|
*	Updated functional enumation code.	Alan Mishchenko	2019-03-08	1	-7/+10
\|
*	Updating canonical form computation procedures.	Alan Mishchenko	2019-03-05	1	-0/+3
\|
*	Adding switch -x to &ps to disable color printout.	Alan Mishchenko	2019-02-12	1	-4/+9
\|
*	Adding new switch to simulation.	Alan Mishchenko	2019-01-29	1	-21/+26
\|
*	Adding new switch to simulation.	Alan Mishchenko	2019-01-29	1	-4/+17
\|
*	Exploring other ways of CEX writing.	Alan Mishchenko	2019-01-21	1	-1/+1
\|
*	Changing default parameter values in the AIG generation code.	Alan Mishchenko	2019-01-18	1	-11/+37
\|
*	Procedures to generate constant-argument multipliers.	Alan Mishchenko	2019-01-15	1	-2/+7
\|
*	Procedure to trasnsform counter-examples.	Alan Mishchenko	2019-01-15	1	-2/+2
\|
*	Procedures to generate constant-argument multipliers.	Alan Mishchenko	2019-01-15	1	-0/+193
\|
*	Experiment with partitioned &scorr.	Alan Mishchenko	2019-01-15	1	-6/+15
\|
*	Procedures to generate constant-argument multipliers.	Alan Mishchenko	2019-01-09	1	-1/+1
\|
*	Experiments with retiming.	Alan Mishchenko	2018-12-04	1	-4/+4
\|
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-12/+17
\|
*	Various usability changes (second round).	Alan Mishchenko	2018-11-20	1	-1/+40
\|
*	Various usability changes.	Alan Mishchenko	2018-11-18	1	-7/+33
\|
*	Adding dummy flop in 'pdr' when the network is comb.	Alan Mishchenko	2018-11-13	1	-11/+13
\|
*	Compiler warning.	Alan Mishchenko	2018-11-11	1	-1/+1
\|