iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding commands to generate data for experiments.	Alan Mishchenko	2020-02-22	1	-0/+4
*	Adding commands to generate data for experiments.	Alan Mishchenko	2020-02-22	1	-0/+4
*	Adding commands to generate data for experiments.	Alan Mishchenko	2020-02-21	1	-0/+4
*	Experimental simulation based code.	Alan Mishchenko	2020-02-06	1	-0/+4
*	Adding experimental command.	Alan Mishchenko	2019-12-14	1	-0/+4
*	Experiments with simulation.	Alan Mishchenko	2019-10-27	1	-0/+4
*	Adding new command handler for experimental procedures.	Alan Mishchenko	2019-04-17	1	-0/+4
*	Experiments with memory abstraction.	Alan Mishchenko	2019-01-27	1	-0/+4
*	Experiments with memory abstraction.	Alan Mishchenko	2019-01-22	1	-0/+4
*	Procedures to generate constant-argument multipliers.	Alan Mishchenko	2019-01-15	1	-0/+4
*	Procedures to generate constant-argument multipliers.	Alan Mishchenko	2019-01-09	1	-0/+8
*	Extending extra library with additional ZDD-based procedures.	Alan Mishchenko	2018-10-12	1	-0/+8
*	Experiments with word-level retiming.	Alan Mishchenko	2018-09-30	1	-0/+32
*	Expriments with functions.	Alan Mishchenko	2018-09-16	1	-0/+4
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-0/+4
*	Procedure to return seq equivalences.	Alan Mishchenko	2018-07-22	1	-0/+4
*	Adding command 'majgen'.	Alan Mishchenko	2018-07-04	1	-0/+4
*	Experiments with path enumeration.	Alan Mishchenko	2018-06-06	1	-0/+4
*	Simple BDD package.	Alan Mishchenko	2018-05-23	1	-0/+4
*	Memory abstraction.	Alan Mishchenko	2018-04-15	1	-0/+4
*	Adding switch 'scorr -f' to dump inductive invariant as an AIG.	Alan Mishchenko	2018-03-22	1	-4/+0
*	Adding parameters and improvements to %blast.	Alan Mishchenko	2018-02-28	1	-0/+12
*	Adding support of reading and writing designs using a new internal format.	Alan Mishchenko	2018-01-28	1	-0/+4
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-0/+4
*	New exact synthesis command 'allexact'.	Alan Mishchenko	2017-12-28	1	-0/+4
*	Improvements to AIG-based quantification.	Alan Mishchenko	2017-11-26	1	-0/+4
*	Profiling quantification and other changes.	Alan Mishchenko	2017-11-06	1	-0/+4
*	Adding API to dump MiniAIG into a Verilog file and other small changes.	Alan Mishchenko	2017-10-22	1	-0/+4
*	Integrating old SAT solver into majexact and twoexact.	Alan Mishchenko	2017-10-19	1	-0/+4
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	1	-0/+4
*	Uncommenting handling of initial values of the flops.	Alan Mishchenko	2017-09-19	1	-0/+4
*	Experiment with mapping.	Alan Mishchenko	2017-09-15	1	-0/+4
*	Integrating Glucose into bmc3 -g.	Alan Mishchenko	2017-09-06	1	-0/+4
*	Adding Glucose 3.0 as a separate package.	Alan Mishchenko	2017-09-06	1	-0/+108
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+4
*	Accidental change.	Alan Mishchenko	2017-07-17	1	-37/+37
*	Experiments with support minimization.	Alan Mishchenko	2017-04-27	1	-0/+4
*	Logic restruturing after mapping.	Alan Mishchenko	2017-04-17	1	-0/+4
*	Experiments with hashing.	Alan Mishchenko	2017-04-08	1	-0/+8
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	1	-0/+4
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-23	1	-1/+1
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-22	1	-4/+16
*	Merged in ysho/abc (pull request #69)	Alan Mishchenko	2017-03-20	1	-0/+4
\|\
\| *	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-19	1	-0/+4
* \|	Experiments with new network data-structure.	Alan Mishchenko	2017-03-19	1	-0/+40
\|/
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-0/+4
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-0/+4
*	New word-level transformation.	Alan Mishchenko	2017-03-17	1	-0/+4
*	Improvements to ternary simulation.	Alan Mishchenko	2017-03-09	1	-0/+4
*	Improvements to ternary simulation.	Alan Mishchenko	2017-03-09	1	-0/+4