summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* 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-166-316/+422
* 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-1213-61/+2243
* Resetting the random seed in 'sparsify'.Alan Mishchenko2014-09-111-0/+1
* Updating timing info during normalization.Alan Mishchenko2014-09-101-1/+1
* Updating timing info during normalization.Alan Mishchenko2014-09-101-1/+3
* Bug fix in transferring timing info.Alan Mishchenko2014-09-093-6/+63
* Corner-case bug fix in balancing.Alan Mishchenko2014-09-081-0/+2
* Added command 'move_names'.Alan Mishchenko2014-08-281-1/+1
* Added command 'move_names'.Alan Mishchenko2014-08-282-0/+106
* Tuning LUT mapping flow.Alan Mishchenko2014-08-282-1/+5
* Tuning LUT mapping flow.Alan Mishchenko2014-08-272-4/+6
* Compiler warning.Alan Mishchenko2014-08-271-2/+2
* Tuning LUT mapping flow.Alan Mishchenko2014-08-272-0/+254
* Improvements BLIF parser.Alan Mishchenko2014-08-273-4/+130
* Improvements to DSD balancing.Alan Mishchenko2014-08-276-43/+109
* Adding commands to save/load best network.Alan Mishchenko2014-08-266-9/+342
* Improvements to the timing manager.Alan Mishchenko2014-08-255-12/+15
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-258-54/+70
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-257-44/+172
* Improving print-out of 'dsd -p'.Alan Mishchenko2014-08-224-1/+154
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-209-41/+34
* Extended command &cone to extract timing critical cones.Alan Mishchenko2014-08-193-39/+141
* Added command 'sparsify' to derive ISF from CSF.Alan Mishchenko2014-08-182-0/+212
* Changing default CNF generation in &bmc.Alan Mishchenko2014-08-183-1/+9
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-162-2/+2
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-2/+3
* Adding specialized matching to 'if'.Alan Mishchenko2014-08-161-1/+1
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-0/+1
* Adding specialized matching to 'if'.Alan Mishchenko2014-08-165-0/+132
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-164-5/+436
* Suggested fix to allow .constr files to have empty lines.Alan Mishchenko2014-08-131-0/+2
* Enabling circuit solver in &fraig.Alan Mishchenko2014-08-126-13/+100
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-2/+2
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-123-4/+15
* Increasing the size of pre-allocated memory in &syn2.Alan Mishchenko2014-08-111-1/+1
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-087-22/+119
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 19:52:51 +0000