iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Synchronizing packages.	Alan Mishchenko	2014-09-20	2	-1/+3
\|
*	Updating command 'dsd_clean'.	Alan Mishchenko	2014-09-20	4	-10/+45
\|
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	2	-141/+248
\|
*	Updating DSD balance to handle XOR gate as having the same delay as AND gate.	Alan Mishchenko	2014-09-19	4	-10/+11
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-19	2	-33/+98
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-19	8	-88/+563
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	3	-10/+26
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	5	-19/+57
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	1	-14/+29
\|
*	Improving DSD manager.	Alan Mishchenko	2014-09-18	3	-6/+89
\|
*	Concurrency for Boolean matching.	Alan Mishchenko	2014-09-18	10	-65/+331
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-17	4	-64/+220
\|
*	Improvements to word-level Verilog parser.	Alan Mishchenko	2014-09-17	2	-3/+4
\|
*	Improvements to word-level Verilog parser.	Alan Mishchenko	2014-09-17	5	-230/+488
\|
*	Spurious assertion.	Alan Mishchenko	2014-09-17	1	-1/+1
\|
*	Improvements to word-level Verilog parser.	Alan Mishchenko	2014-09-16	5	-78/+277
\|
*	Support for leakage power in Liberty parser and sizer.	Alan Mishchenko	2014-09-16	5	-5/+122
\|
*	New choice computation.	Alan Mishchenko	2014-09-16	3	-22/+197
\|
*	Code restructuring.	Alan Mishchenko	2014-09-16	6	-316/+422
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-16	2	-201/+568
\|
*	Compiler error (duplicate typedef).	Alan Mishchenko	2014-09-15	1	-1/+0
\|
*	Compiler warnings.	Alan Mishchenko	2014-09-12	4	-47/+47
\|
*	Replacing tabs with spaces.	Alan Mishchenko	2014-09-12	1	-1/+1
\|
*	New word-level representation package.	Alan Mishchenko	2014-09-12	13	-61/+2243
\|
*	Resetting the random seed in 'sparsify'.	Alan Mishchenko	2014-09-11	1	-0/+1
\|
*	Updating timing info during normalization.	Alan Mishchenko	2014-09-10	1	-1/+1
\|
*	Updating timing info during normalization.	Alan Mishchenko	2014-09-10	1	-1/+3
\|
*	Bug fix in transferring timing info.	Alan Mishchenko	2014-09-09	3	-6/+63
\|
*	Corner-case bug fix in balancing.	Alan Mishchenko	2014-09-08	1	-0/+2
\|
*	Added command 'move_names'.	Alan Mishchenko	2014-08-28	1	-1/+1
\|
*	Added command 'move_names'.	Alan Mishchenko	2014-08-28	2	-0/+106
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-28	2	-1/+5
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	2	-4/+6
\|
*	Compiler warning.	Alan Mishchenko	2014-08-27	1	-2/+2
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	2	-0/+254
\|
*	Improvements BLIF parser.	Alan Mishchenko	2014-08-27	3	-4/+130
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-08-27	6	-43/+109
\|
*	Adding commands to save/load best network.	Alan Mishchenko	2014-08-26	6	-9/+342
\|
*	Improvements to the timing manager.	Alan Mishchenko	2014-08-25	5	-12/+15
\|
*	Improving GIA interfaces for some procedures.	Alan Mishchenko	2014-08-25	8	-54/+70
\|
*	Correcting incorrect handling of timing in several &-commands.	Alan Mishchenko	2014-08-25	7	-44/+172
\|
*	Improving print-out of 'dsd -p'.	Alan Mishchenko	2014-08-22	4	-1/+154
\|
*	Propagating timing support to the new synthesis/mapping commands.	Alan Mishchenko	2014-08-20	9	-41/+34
\|
*	Extended command &cone to extract timing critical cones.	Alan Mishchenko	2014-08-19	3	-39/+141
\|
*	Added command 'sparsify' to derive ISF from CSF.	Alan Mishchenko	2014-08-18	2	-0/+212
\|
*	Changing default CNF generation in &bmc.	Alan Mishchenko	2014-08-18	3	-1/+9
\|
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	2	-2/+2
\|
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-2/+3
\|
*	Adding specialized matching to 'if'.	Alan Mishchenko	2014-08-16	1	-1/+1
\|
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-0/+1
\|