summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
...
* New MFS package.Alan Mishchenko2013-05-316-13/+65
* New MFS package.Alan Mishchenko2013-05-304-57/+32
* New MFS package.Alan Mishchenko2013-05-306-65/+183
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2760-485/+485
* Several small changes to the MFS packages.Alan Mishchenko2013-05-278-17/+21
* Added switch -M to set max size of two-cube divisors to extract (often helps ...Alan Mishchenko2013-05-272-6/+7
* New MFS package.Alan Mishchenko2013-05-271-1/+1
* New MFS package.Alan Mishchenko2013-05-272-6/+9
* New MFS package.Alan Mishchenko2013-05-263-10/+28
* New MFS package.Alan Mishchenko2013-05-267-62/+70
* New command 'putontop' to concatenate networks for don't-care-based optimizat...Alan Mishchenko2013-05-251-0/+1
* New MFS package.Alan Mishchenko2013-05-2510-106/+99
* New MFS package.Alan Mishchenko2013-05-2510-115/+88
* New MFS package.Alan Mishchenko2013-05-254-10/+22
* New MFS package.Alan Mishchenko2013-05-258-28/+43
* New MFS package.Alan Mishchenko2013-05-247-63/+87
* New MFS package.Alan Mishchenko2013-05-248-178/+584
* New MFS package.Alan Mishchenko2013-05-235-124/+331
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
* New MFS package.Alan Mishchenko2013-05-129-215/+586
* Typo in the comment.Alan Mishchenko2013-05-092-4/+4
* New fast extract.Alan Mishchenko2013-05-053-5/+5
* Typo in the comments.Alan Mishchenko2013-04-191-1/+1
* Typo in the comments.Alan Mishchenko2013-04-191-5/+5
* Compiler warning.Alan Mishchenko2013-04-171-1/+0
* New MFS package.Alan Mishchenko2013-04-031-2/+2
* New MFS package.Alan Mishchenko2013-04-031-3/+3
* New MFS package.Alan Mishchenko2013-04-034-8/+145
* New MFS package.Alan Mishchenko2013-04-028-0/+509
* Compiler warnings.Alan Mishchenko2013-03-311-1/+1
* Fixing the dump of SAT solver into a CNF file.Alan Mishchenko2013-03-261-2/+12
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-273-4/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+1
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-302-6/+6
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-2/+2
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Technology mapper.Alan Mishchenko2013-01-081-7/+105
* Improvements to DSD manager.Alan Mishchenko2012-12-152-48/+175
* Improvements to DSD manager.Alan Mishchenko2012-12-112-43/+78
* Improvements to DSD manager.Alan Mishchenko2012-12-101-19/+21
* Improvements to DSD manager.Alan Mishchenko2012-12-101-185/+93
* Improvements to DSD manager.Alan Mishchenko2012-12-101-134/+46
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-106-13/+13
* DSD manager.Alan Mishchenko2012-12-021-0/+236
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-2/+2
* Enabling additional stat printouts.Alan Mishchenko2012-12-011-2/+3
* DSD manager.Alan Mishchenko2012-11-204-126/+418
* DSD manager.Alan Mishchenko2012-11-192-18/+471
* DSD manager.Alan Mishchenko2012-11-161-45/+194