iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Temporarily (?) undoing previous change because it is incompatible with old ↵	Alan Mishchenko	2013-09-05	1	-3/+4
\| \| \| \|	AIGER files generated by ABC.
*	Improved unrolling manager.	Alan Mishchenko	2013-09-05	1	-94/+92
\|
*	Making selecting duplication procedure creates a smaller AIG.	Alan Mishchenko	2013-09-05	1	-2/+7
\|
*	Adding interpolant computation sat_solver2.	Alan Mishchenko	2013-09-05	1	-0/+4
\|
*	Improved unrolling manager.	Alan Mishchenko	2013-09-05	3	-83/+132
\|
*	Added Python API status_get_vector() similar to cex_get_vector().	Alan Mishchenko	2013-09-04	1	-1/+1
\|
*	Added Python API status_get_vector() similar to cex_get_vector().	Alan Mishchenko	2013-09-04	1	-1/+1
\|
*	Added Python API status_get_vector() similar to cex_get_vector().	Alan Mishchenko	2013-09-04	3	-0/+34
\|
*	Adding switch 'ps -s' to skip counting buffers/inverters as nodes.	Alan Mishchenko	2013-09-02	1	-16/+10
\|
*	Adding switch 'ps -s' to skip counting buffers/inverters as nodes.	Alan Mishchenko	2013-09-02	7	-13/+38
\|
*	Removing some old useless code.	Alan Mishchenko	2013-09-02	4	-64/+4
\|
*	Removing some old useless code.	Alan Mishchenko	2013-09-02	11	-832/+20
\|
*	Adding interpolant computation sat_solver2.	Alan Mishchenko	2013-09-02	1	-0/+242
\|
*	Adding interpolant computation sat_solver2.	Alan Mishchenko	2013-09-02	7	-12/+48
\|
*	Modify level computation to take discretized arrival times into account.	Alan Mishchenko	2013-09-02	1	-3/+7
\|
*	Adding switch &get -m to import mapped network into the &-space.	Alan Mishchenko	2013-09-01	1	-2/+2
\|
*	Adding switch &get -m to import mapped network into the &-space.	Alan Mishchenko	2013-09-01	4	-15/+141
\|
*	Adding new line (\n) after 'c' at the beginning of the comment section in ↵	Alan Mishchenko	2013-08-29	1	-1/+4
\| \| \| \|	AIGER format.
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	2	-4/+29
\|
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	4	-5/+19
\|
*	Adding procedures to specify permutations with unused flops.	Alan Mishchenko	2013-08-28	4	-3/+79
\|
*	Added switch &sim -g to enable flop grouping.	Alan Mishchenko	2013-08-20	1	-16/+6
\|
*	Added switch &sim -g to enable flop grouping.	Alan Mishchenko	2013-08-20	5	-3/+81
\|
*	Adding code to count statistics about decomposable LUT5.	Alan Mishchenko	2013-08-18	3	-0/+12
\|
*	Extending 'permute' to handle user-specified flop permutation.	Alan Mishchenko	2013-08-16	5	-16/+84
\|
*	Small changes to compile on Mac.	Alan Mishchenko	2013-08-15	2	-2/+6
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	2	-8/+8
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-2/+2
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	2	-6/+6
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-1/+1
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	3	-38/+55
\|
*	Bug fix in &if -z.	Alan Mishchenko	2013-08-14	1	-5/+16
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-13	1	-6/+6
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	3	-15/+3
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	11	-8/+586
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-11	7	-63/+89
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-11	6	-21/+44
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-10	1	-1/+1
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-10	8	-102/+186
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-10	1	-5/+5
\|
*	Bug fix in incremental timing.	Alan Mishchenko	2013-08-10	2	-12/+18
\|
*	Enable wire load estimation in buffering/sizing.	Alan Mishchenko	2013-08-10	6	-38/+46
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-09	3	-19/+16
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-09	4	-21/+19
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-09	4	-67/+89
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-09	4	-30/+67
\|
*	Improvements to buffering and sizing.	Alan Mishchenko	2013-08-09	8	-30/+108
\|
*	Improvements to buffering and sizing.	Alan Mishchenko	2013-08-09	7	-85/+242
\|
*	Improvements to buffering and sizing.	Alan Mishchenko	2013-08-09	3	-67/+26
\|
*	Improvements to buffering and sizing.	Alan Mishchenko	2013-08-09	7	-124/+181
\|