iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-0/+4
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-17	1	-6/+4
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-16	2	-0/+88
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-0/+8
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-13	1	-9/+9
*	Added minor API to clean path on a Windows computer.	Alan Mishchenko	2014-11-05	2	-2/+24
*	Compiler warnings.	Alan Mishchenko	2014-10-28	1	-1/+1
*	Changes to enable building external code.	Alan Mishchenko	2014-10-28	2	-57/+0
*	One bug fix and two small changes.	Alan Mishchenko	2014-10-22	2	-0/+14
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	1	-1/+1
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-0/+6
*	Bug fix in truth table computation.	Alan Mishchenko	2014-10-15	1	-0/+6
*	Recommended changes for portability.	Alan Mishchenko	2014-10-12	3	-4/+4
*	Bug fix in the bit-blaster.	Alan Mishchenko	2014-10-10	1	-2/+2
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	1	-278/+784
*	Suggested patch for type-punned warnings	Alan Mishchenko	2014-10-10	1	-1/+8
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	4	-53/+434
*	New ISOP computation.	Alan Mishchenko	2014-10-07	1	-36/+196
*	New ISOP computation.	Alan Mishchenko	2014-10-04	2	-0/+522
*	Improvements to bit-blaster.	Alan Mishchenko	2014-09-30	1	-0/+2
*	Extending resource limit.	Alan Mishchenko	2014-09-20	1	-2/+2
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-0/+1
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-19	1	-0/+69
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-16	1	-0/+14
*	New word-level representation package.	Alan Mishchenko	2014-09-12	1	-0/+29
*	Improvements to the timing manager.	Alan Mishchenko	2014-08-25	2	-3/+8
*	Propagating timing support to the new synthesis/mapping commands.	Alan Mishchenko	2014-08-20	2	-2/+2
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-0/+11
*	Compiler warnings.	Alan Mishchenko	2014-08-04	1	-0/+53
*	Profiling code for SOP/DSD/LMS balancing.	Alan Mishchenko	2014-08-02	1	-0/+87
*	Small changes in several packages.	Alan Mishchenko	2014-07-17	1	-0/+8
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-30	1	-0/+25
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-26	2	-4/+18
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-1/+0
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-0/+250
*	Experiments with MUX profiling.	Alan Mishchenko	2014-06-19	2	-2/+48
*	Experiments with CNF generation.	Alan Mishchenko	2014-06-18	1	-5/+8
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	3	-155/+141
*	Added transformation of CEX after 'fix_aig' and checking of transformed CEXes...	Alan Mishchenko	2014-06-17	2	-0/+40
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	1	-57/+99
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-1/+1
*	Various modifications.	Alan Mishchenko	2014-06-10	2	-3/+12
*	Compiler warnings.	Alan Mishchenko	2014-05-29	1	-3/+3
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	2	-4/+4
*	Experiment with support minimization.	Alan Mishchenko	2014-05-27	1	-57/+442
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-2/+3
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-5/+53