iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to GIA visualization.	Alan Mishchenko	2016-12-08	1	-1/+0
\|
*	Improvements to GIA visualization.	Alan Mishchenko	2016-12-08	1	-265/+505
\|
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	2	-1/+5
\|
*	Compiler warnings.	Alan Mishchenko	2016-12-05	1	-2/+2
\|
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	4	-0/+473
\|
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-04	1	-1/+1
\|
*	Minor bug fixes.	Alan Mishchenko	2016-11-21	1	-1/+1
\|
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-3/+9
\|
*	Improving robustness of &b.	Alan Mishchenko	2016-10-15	1	-2/+2
\|
*	Adding switch &mfs -b to preserve white boxes during optimization.	Alan Mishchenko	2016-10-07	1	-3/+3
\|
*	Long standing bug fix in &mfs.	Alan Mishchenko	2016-10-06	1	-12/+18
\|
*	Changes to report quantum cost in Exorcism.	Alan Mishchenko	2016-08-17	1	-1/+1
\|
*	Bug fix in 'edge -m'.	Alan Mishchenko	2016-08-10	1	-6/+13
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2016-08-05	1	-6/+10
\|
*	Infrastructure for using the results of exact SAT-based synthesis during ↵	Alan Mishchenko	2016-07-29	1	-6/+6
\| \| \| \|	mapping.
*	Serious bug fix in 'scorr -F <num>' with <num> > 1.	Alan Mishchenko	2016-07-28	2	-8/+35
\|
*	Adding new command 'dump_equiv'.	Alan Mishchenko	2016-07-21	4	-2/+150
\|
*	Fix in reading initial state for edge-detection.	Alan Mishchenko	2016-07-20	1	-4/+36
\|
*	Extension in the detection code.	Alan Mishchenko	2016-07-19	1	-0/+3
\|
*	Fix in reading initial state for edge-detection.	Alan Mishchenko	2016-07-19	1	-0/+2
\|
*	Tuning &blut implementation.	Alan Mishchenko	2016-07-18	1	-8/+9
\|
*	Several corner-case bugs in %read, &cec, and st.	Alan Mishchenko	2016-07-16	1	-3/+12
\|
*	Fixes and adjustments for the edge computation flow.	Alan Mishchenko	2016-07-15	1	-1/+2
\|
*	Small fixes and improvements in reporting node counts.	Alan Mishchenko	2016-07-15	1	-2/+2
\|
*	Adding a debug way to print cuts used in the CNF-generator.	Alan Mishchenko	2016-07-13	1	-0/+9
\|
*	Removing verbose output in &cec and &syn4.	Alan Mishchenko	2016-07-13	2	-3/+3
\|
*	Experiments with edge-based mapping (bug fix).	Alan Mishchenko	2016-07-02	1	-6/+18
\|
*	Experiments with edge-based mapping.	Alan Mishchenko	2016-06-29	2	-26/+173
\|
*	Experiments with edge-based mapping.	Alan Mishchenko	2016-06-17	1	-71/+74
\|
*	Experiments with edge-based mapping.	Alan Mishchenko	2016-06-15	3	-3/+882
\|
*	Improvement to CNF encoding of cardinality constraints proposed by Mathias ↵	Alan Mishchenko	2016-06-07	1	-0/+6
\| \| \| \|	Soaken.
*	Small changes for today's experiments.	Alan Mishchenko	2016-06-03	3	-7/+16
\|
*	Enabling AIGs without structural hashing (&get -c to import logic network).	Alan Mishchenko	2016-05-20	2	-10/+13
\|
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	2	-2/+2
\|
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	6	-18/+29
\|
*	Switch &miter -y to convert a two-word miter into a dual-output miter.	Alan Mishchenko	2016-05-20	2	-0/+32
\|
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	5	-19/+25
\|
*	Bug fix in &demiter.	Alan Mishchenko	2016-05-16	1	-16/+9
\|
*	Factoring out library preprocessing code in &nf and putting it elsewhere.	Alan Mishchenko	2016-05-16	1	-34/+25
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-11	4	-2/+9
\|
*	Invalidate packing after mapping is updated.	Alan Mishchenko	2016-05-09	1	-0/+1
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-08	2	-12/+225
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-07	10	-1692/+444
\|
*	Update to &show to show AIGs with XORs and MUXes (derived by &st -m).	Alan Mishchenko	2016-05-04	1	-0/+1
\|
*	Update to &show to show AIGs with XORs and MUXes (derived by &st -m).	Alan Mishchenko	2016-05-04	1	-2/+28
\|
*	Updating GIG parser.	Alan Mishchenko	2016-05-01	1	-180/+384
\|
*	Fanout restriction in &edge.	Alan Mishchenko	2016-04-30	1	-11/+33
\|
*	Experiments with arithmetic circuits.	Alan Mishchenko	2016-04-28	2	-0/+290
\|
*	Adding option to rehash AIG after mapping.	Alan Mishchenko	2016-04-27	10	-18/+16
\|
*	Extending &satlut to work for 6-LUTs.	Alan Mishchenko	2016-04-27	1	-4/+11
\|