summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
* New SAT-based optimization package.Alan Mishchenko2016-11-284-81/+491
* New SAT-based optimization package.Alan Mishchenko2016-11-272-27/+376
* New SAT-based optimization package.Alan Mishchenko2016-11-264-42/+663
* New SAT-based optimization package.Alan Mishchenko2016-11-191-65/+311
* New SAT-based optimization package.Alan Mishchenko2016-11-171-15/+232
* New SAT-based optimization package.Alan Mishchenko2016-11-178-0/+650
* Fixed several compiler warnings.Alan Mishchenko2016-11-171-23/+22
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-083-0/+618
* Adding switch &mfs -b to preserve white boxes during optimization.Alan Mishchenko2016-10-073-2/+10
* Small FXCH bug fix.Bruno Schmitt2016-10-071-3/+9
* Compiler warnings.Alan Mishchenko2016-09-301-3/+3
* Small bug fix in FXCH.Bruno Schmitt2016-08-181-10/+10
* Windows complier errors.Alan Mishchenko2016-08-061-2/+2
* Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)Alan Mishchenko2016-08-061-14/+105
|\
| * Return the class representative of each function.Ana Petkovska2016-06-181-15/+59
| * Group based exact NPN classification.Ana Petkovska2016-06-181-2/+49
* | Compiler errors on Windows.Alan Mishchenko2016-08-014-39/+50
* | Several updates to FXCH including:Bruno Schmitt2016-08-015-285/+537
|/
* 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