iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| *	Copying prog cell data.	Alan Mishchenko	2015-05-21	1	-0/+5
\| \|
* \|	Changing the way extension 'b' is written.	Alan Mishchenko	2015-05-25	1	-3/+7
\|/
*	Commenting out useless assertion in choice computation.	Alan Mishchenko	2015-04-15	1	-1/+1
\|
*	Making sure the names are transfered when &get -n is used.	Alan Mishchenko	2015-04-04	1	-0/+5
\|
*	Properly copying and saving the timing info in &get and &put.	Alan Mishchenko	2015-04-04	2	-0/+4
\|
*	Print-out of sequential equivalences in &scorr.	Alan Mishchenko	2015-03-31	2	-13/+42
\|
*	Bug fix in saving AIG attributes in &save and &load.	Alan Mishchenko	2015-03-22	1	-0/+6
\|
*	Several bug fixes and silencing requests.	Alan Mishchenko	2015-03-16	1	-1/+3
\|
*	Enable arrival/required times in &nf.	Alan Mishchenko	2015-03-15	2	-4/+19
\|
*	Compiler warnings.	Alan Mishchenko	2015-03-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2015-03-08	2	-4/+4
\|
*	Support for representing programmable cell configuration data.	Alan Mishchenko	2015-03-08	4	-29/+106
\|
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-05	3	-5/+38
\|
*	Bug fix in reader/writer of 'r' section.	Alan Mishchenko	2015-03-05	1	-2/+5
\|
*	Adding switch -x to command &fadds.	Alan Mishchenko	2015-02-26	1	-7/+12
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-19	2	-10/+12
\|
*	Adding switch '-p' to control pin-permutation in &nf.	Alan Mishchenko	2015-02-08	2	-2/+3
\|
*	Diabling pin-permutation in &nf mapper.	Alan Mishchenko	2015-02-08	4	-520/+1468
\|
*	Bug fix in &nf.	Alan Mishchenko	2015-02-02	1	-0/+1
\|
*	Fixing reported memory alignment issue.	Alan Mishchenko	2015-01-27	1	-0/+12
\|
*	Several ongoing changes.	Alan Mishchenko	2015-01-26	1	-1/+1
\|
*	Several small bug fixes.	Alan Mishchenko	2015-01-17	2	-0/+2
\|
*	Organizing commands for barbuf-aware flow.	Alan Mishchenko	2015-01-17	1	-12/+16
\|
*	Computing polynomials for AIGs representing arithmetic functions.	Alan Mishchenko	2015-01-01	1	-0/+227
\|
*	Exprimental features in tech-mapping.	Alan Mishchenko	2014-12-21	1	-110/+142
\|
*	Exprimental features in tech-mapping.	Alan Mishchenko	2014-12-21	1	-1/+40
\|
*	Incorrect assertion added by recent changes.	Alan Mishchenko	2014-12-19	1	-1/+1
\|
*	Commenting out assertions in the mapper, which do not work for barrier buffers.	Alan Mishchenko	2014-12-14	1	-4/+4
\|
*	Compiler warnings.	Alan Mishchenko	2014-12-13	1	-5/+5
\|
*	Several additional files for source control.	Alan Mishchenko	2014-12-13	3	-10/+6539
\|
*	Adding relax ratio to &synch2.	Alan Mishchenko	2014-12-13	1	-2/+2
\|
*	Adding new mapping feature.	Alan Mishchenko	2014-12-11	2	-2/+10
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	12	-66/+128
\|
*	Converting AIG with MUXes into a logic network.	Alan Mishchenko	2014-12-10	1	-0/+103
\|
*	New flavor of DSD-friendly 'eliminate'.	Alan Mishchenko	2014-12-09	2	-1/+7
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-08	7	-23/+36
\|
*	Changes to history recording and other small things.	Alan Mishchenko	2014-11-30	2	-6/+16
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	2	-2/+4
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	4	-4/+123
\|
*	Adding integrity check for boxes and flops.	Alan Mishchenko	2014-11-25	5	-23/+115
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-1/+1
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-0/+3
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	1	-14/+1
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	5	-50/+115
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	4	-55/+254
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-6/+9
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	3	-16/+31
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-1/+7
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-6/+8
\|
*	Extending &fadds to support artificial chains. New command &setregnum.	Alan Mishchenko	2014-11-20	1	-21/+141
\|