summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
* Complier fix.Alan Mishchenko2016-06-171-2/+2
* Merged in boschmitt/abc (pull request #28)Alan Mishchenko2016-06-174-128/+189
|\
| * Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment (SC...Bruno Schmitt2016-06-174-128/+189
* | New command 'phase_map'.Alan Mishchenko2016-06-171-1/+1
|/
* Adding a switch 'retime -o' to use old flop naming conventions.Alan Mishchenko2016-06-164-31/+49
* Switch 'fx -x' to use only canonical divisors in 'fx'.Alan Mishchenko2016-06-061-0/+1
* Small changes to compile on Windows.Alan Mishchenko2016-06-031-5/+7
* Removing the memory saving mode, it is no longer necessary.Bruno Schmitt2016-06-025-178/+17
* Minimizing memory usage. The implementation was using twice as much memory as...Bruno Schmitt2016-06-021-30/+30
* Merged in boschmitt/abc (pull request #26)Alan Mishchenko2016-05-191-2/+2
|\
| * Merged alanmi/abc into defaultBruno Schmitt2016-05-194-2/+388
| |\
| * | Fix the problem of not identifying divisors when its originating cubes had on...Bruno Schmitt2016-05-191-2/+2
* | | Improving SMT-LIB parser.Alan Mishchenko2016-05-191-2/+2
| |/ |/|
* | New feature for area minimization in standard cell mapping.Alan Mishchenko2016-05-193-1/+387
* | fix end of line problem that prevents the cmake build system from workingBaruch Sterin2016-05-171-1/+1
|/
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-111-1/+1
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-111-2/+2
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-114-47/+78
* Add a new module which implements the fast extract with cube hashing (fxch) a...Bruno Schmitt2016-05-116-0/+1945
* New hierarchical TT NPN matching.Alan Mishchenko2016-02-262-0/+144
* Re-doing the same change.Alan Mishchenko2016-02-151-2/+2
* Temporarily undoing one of the recent changes.Alan Mishchenko2016-02-151-2/+2
* Fixing the problem of identically named signals in 'retime'.Alan Mishchenko2016-02-052-4/+4
* Making flop names after 'retime' more meaningful.Alan Mishchenko2016-02-032-4/+6
* Small changes to sort for timing.Alan Mishchenko2016-01-241-3/+7
* Adding support for delay/area tradeoff.Alan Mishchenko2016-01-133-31/+53
* Consolidating timing manager Scl_Con_t and propagating changes.Alan Mishchenko2016-01-075-26/+29
* Migrating to using 32-bit timing representation in &nf.Alan Mishchenko2016-01-051-4/+4
* Migrating back to using 'float' in area-flow computation in &nf.Alan Mishchenko2016-01-051-1/+1
* Improvements to timing optimization.Alan Mishchenko2015-11-113-29/+63
* Extending and improving timing manager.Alan Mishchenko2015-11-081-1/+2
* Extending and improving timing manager.Alan Mishchenko2015-11-082-15/+43
* Extending and improving timing manager.Alan Mishchenko2015-11-083-432/+21
* Extending and improving timing manager.Alan Mishchenko2015-11-086-54/+576
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-051-21/+98
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-054-318/+89
* silence clang errors when compiling as C++Baruch Sterin2015-11-053-21/+21
* Small fix in one procedure to make it compile.Alan Mishchenko2015-11-021-1/+1
* Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ...Alan Mishchenko2015-10-283-14/+14
* Merged in sterin/abc (pull request #13)Alan Mishchenko2015-10-286-0/+4409
|\
| * Restoring Aaron Hurst's "fretime" commandBaruch Sterin2015-10-286-0/+4409
* | Improvements in delay optimization.Alan Mishchenko2015-10-281-20/+114
|/
* Enabling reverse topo order in area minimization.Alan Mishchenko2015-10-282-43/+101
* Experiments with precomputation and matching.Alan Mishchenko2015-10-273-10/+94
* Changes for delay-oriented computation.Alan Mishchenko2015-10-264-130/+214
* Compiler warnings.Alan Mishchenko2015-10-251-0/+11
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-254-71/+116
* Changes for delay-oriented computation.Alan Mishchenko2015-10-245-39/+92
* Changes for delay-oriented computation.Alan Mishchenko2015-10-245-108/+114
* Changes for delay-oriented computation.Alan Mishchenko2015-10-234-118/+632