iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to ↵	Alan Mishchenko	2019-09-19	5	-6/+20
\| \| \| \|	print delay profile.
*	Adding option 'gen -b' to generate signed Booth multipliers.	Alan Mishchenko	2019-09-19	2	-6/+286
\|
*	Fixing performance bug (too many partial products) in blasting signed Booth ↵	Alan Mishchenko	2019-09-19	1	-10/+13
\| \| \| \|	multiplier.
*	Bug fix in &trace.	Alan Mishchenko	2019-09-18	1	-0/+1
\|
*	Several suggested bug-fixes.	Alan Mishchenko	2019-09-13	1	-1/+1
\|
*	Several suggested bug-fixes.	Alan Mishchenko	2019-09-13	3	-3/+3
\|
*	Upgrading reparametrization to perform (non-range-equivalent) removal of logic.	Alan Mishchenko	2019-09-04	2	-3/+141
\|
*	Fix read_bench to read standard gate names in lower-case.	Alan Mishchenko	2019-08-28	1	-9/+9
\|
*	Adding switch to suppress printing simple objects in %retime.	Alan Mishchenko	2019-08-14	4	-12/+19
\|
*	Adding new switch to &genqfb to use output as an enable in the miter.	Alan Mishchenko	2019-07-30	2	-8/+24
\|
*	Preserving boxes after &write.	Alan Mishchenko	2019-07-25	1	-6/+2
\|
*	Bug fix in &mfs.	Alan Mishchenko	2019-07-25	1	-0/+2
\|
*	Adding license file for Glucose 3.0	Alan Mishchenko	2019-07-25	1	-0/+32
\|
*	Fixing some update gcc.	Alan Mishchenko	2019-07-25	1	-1/+1
\|
*	Fixing some update gcc.	Alan Mishchenko	2019-07-24	13	-14/+14
\|
*	Adding handling of objects without fanout in %retime.	Alan Mishchenko	2019-07-18	1	-1/+15
\|
*	Representing formula used in &fftest as a BLIF file.	Alan Mishchenko	2019-07-18	2	-17/+99
\|
*	Adding switch '-F <filename>' to &fftest.	Alan Mishchenko	2019-07-16	1	-5/+40
\|
*	Printing formula used in &fftest.	Alan Mishchenko	2019-07-03	1	-2/+84
\|
*	Adding command &permute.	Alan Mishchenko	2019-07-02	2	-0/+94
\|
*	Cleanup of SAT sweeping code.	Alan Mishchenko	2019-06-30	1	-8/+0
\|
*	Assering valid fanins during MiniLUT construction.	Alan Mishchenko	2019-06-28	1	-0/+2
\|
*	Making 'dsec' return correct return value (undoing this change, made by ↵	Alan Mishchenko	2019-06-26	1	-1/+1
\| \| \| \|	mistake).
*	Making 'dsec' return correct return value.	Alan Mishchenko	2019-06-24	1	-1/+1
\|
*	Making 'dsec' return verification status.	Alan Mishchenko	2019-06-21	2	-2/+2
\|
*	Adding synonym of 'read_dsd'.	Alan Mishchenko	2019-06-20	1	-0/+1
\|
*	Adding verbosity flag to command 'symfun'.	Alan Mishchenko	2019-06-20	2	-5/+5
\|
*	Improving command 'symfun' to generate symmetric functions and their NPN ↵	Alan Mishchenko	2019-06-08	1	-58/+75
\| \| \| \|	classes.
*	Updating command 'symfun' to generate symmetric functions and their NPN classes.	Alan Mishchenko	2019-05-30	3	-26/+168
\|
*	Adding support for user-specified wire delays in &if.	Alan Mishchenko	2019-05-29	2	-1/+17
\|
*	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	2	-0/+123
\|
*	Corner case bug fix in reducing equivalences.	Alan Mishchenko	2019-05-24	1	-1/+2
\|
*	Experiments with counting care bits.	Alan Mishchenko	2019-05-23	1	-0/+106
\|
*	Changes to the interface of &cfs.	Alan Mishchenko	2019-05-21	2	-5/+5
\|
*	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
\|