summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Adding options to &flow.Alan Mishchenko2014-09-292-21/+26
* Command to rename files in the same directory.Alan Mishchenko2014-09-281-0/+191
* Adding out-of-bounds checks to AIGER readers.Alan Mishchenko2014-09-282-2/+2
* Adding features to CNF generation.Alan Mishchenko2014-09-282-8/+18
* Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).Alan Mishchenko2014-09-283-11/+51
* Support for sequential designs in word-level Verilog.Alan Mishchenko2014-09-265-79/+196
* Enabling print-out, for each operator, of the percetage of AND nodes after bi...Alan Mishchenko2014-09-254-14/+35
* Printing node type statistics.Alan Mishchenko2014-09-241-33/+57
* Printing node type statistics.Alan Mishchenko2014-09-241-10/+10
* Printing node type statistics.Alan Mishchenko2014-09-242-2/+106
* Bug fix in handling MUXes in Verilog parser, induced by recent changes.Alan Mishchenko2014-09-241-0/+2
* Added switch -t to &flow2.Alan Mishchenko2014-09-242-9/+14
* Added support of word-level MUXes represented as 'always'-statements.Alan Mishchenko2014-09-241-2/+2
* Added support of word-level MUXes represented as 'always'-statements.Alan Mishchenko2014-09-243-18/+167
* Enables dumping stats into a file.Alan Mishchenko2014-09-232-1/+15
* Extending &cec to take a single-output miter (usage of switch -d has changed!).Alan Mishchenko2014-09-233-10/+50
* Debugging the bit-blaster.Alan Mishchenko2014-09-231-1/+15
* Debugging the bit-blaster.Alan Mishchenko2014-09-232-8/+28
* Adding switch to enable SOP balancing in '&flow2'.Alan Mishchenko2014-09-212-14/+30
* Tuning the flow scripts.Alan Mishchenko2014-09-201-1/+1
* Extending resource limit.Alan Mishchenko2014-09-201-2/+2
* Tuning the flow scripts.Alan Mishchenko2014-09-202-5/+70
* Synchronizing packages.Alan Mishchenko2014-09-203-6/+6
* Synchronizing packages.Alan Mishchenko2014-09-201-0/+2
* Synchronizing packages.Alan Mishchenko2014-09-202-3/+3
* Synchronizing packages.Alan Mishchenko2014-09-202-1/+3
* Updating command 'dsd_clean'.Alan Mishchenko2014-09-204-10/+45
* Tuning the flow scripts.Alan Mishchenko2014-09-202-141/+248
* Updating DSD balance to handle XOR gate as having the same delay as AND gate.Alan Mishchenko2014-09-194-10/+11
* Improvements to Boolean matching.Alan Mishchenko2014-09-192-33/+98
* Improvements to Boolean matching.Alan Mishchenko2014-09-198-88/+563
* Improvements to Boolean matching.Alan Mishchenko2014-09-185-14/+30
* Improvements to Boolean matching.Alan Mishchenko2014-09-185-19/+57
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-14/+29
* Improving DSD manager.Alan Mishchenko2014-09-183-6/+89
* Concurrency for Boolean matching.Alan Mishchenko2014-09-1810-65/+331
* Improvements to Boolean matching.Alan Mishchenko2014-09-174-64/+220
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-172-3/+4
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-175-230/+488
* Spurious assertion.Alan Mishchenko2014-09-171-1/+1
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-165-78/+277
* Support for leakage power in Liberty parser and sizer.Alan Mishchenko2014-09-165-5/+122
* New choice computation.Alan Mishchenko2014-09-163-22/+197
* Code restructuring.Alan Mishchenko2014-09-167-322/+432
* Improvements to Boolean matching.Alan Mishchenko2014-09-162-201/+568
* Compiler error (duplicate typedef).Alan Mishchenko2014-09-151-1/+0
* Compiler warnings.Alan Mishchenko2014-09-124-47/+47
* Replacing tabs with spaces.Alan Mishchenko2014-09-121-1/+1
* New word-level representation package.Alan Mishchenko2014-09-1215-66/+2276
* Resetting the random seed in 'sparsify'.Alan Mishchenko2014-09-111-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-07 21:01:16 +0000