summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Collapse)AuthorAgeFilesLines
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-1/+1
|
* Fixed a typo in variable names.Alan Mishchenko2015-02-071-1/+1
|
* Integrating barrier buffers.Alan Mishchenko2014-12-111-1/+8
|
* Printout in mfs2.Alan Mishchenko2014-11-171-2/+7
|
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-2/+4
|
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-163-10/+31
|
* Compiler warnings.Alan Mishchenko2014-10-281-1/+1
|
* Synchronizing packages.Alan Mishchenko2014-09-201-1/+1
|
* Corner-case bug fix in balancing.Alan Mishchenko2014-09-081-0/+2
|
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-081-0/+2
|
* Updates and changes to several packages.Alan Mishchenko2014-07-203-11/+90
|
* Small changes in several packages.Alan Mishchenko2014-07-181-1/+2
|
* Improvements to representation of choices.Alan Mishchenko2014-07-011-1/+1
|
* Added delay-oriented balancing to unmapping in &st.Alan Mishchenko2014-06-191-7/+207
|
* Removed obsolete code for sequential mapping.Alan Mishchenko2014-04-112-2/+0
|
* Updating code to support barrier buffers.Alan Mishchenko2014-03-181-9/+37
|
* Synchronizing with the recent version.Alan Mishchenko2014-03-161-1/+1
|
* Synchronizing with the recent version.Alan Mishchenko2014-03-165-23/+27
|
* Improvements to print-outs.Alan Mishchenko2014-03-102-2/+2
|
* Changes to LUT mappers.Alan Mishchenko2014-02-282-4/+11
|
* Changes to LUT mappers.Alan Mishchenko2014-02-271-0/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-02-252-12/+22
|
* g++ compiler errors.Alan Mishchenko2014-02-253-3/+12
|
* Changes to LUT mappers.Alan Mishchenko2014-02-171-1/+1
|
* New canonical DSD form.Alan Mishchenko2013-12-021-0/+660
|
* Adding switch to control the number of nodes tried in mfs2.Alan Mishchenko2013-11-143-1/+4
|
* Compiler warnings.Alan Mishchenko2013-10-171-0/+2
|
* Improvements to the canonical form computation.Alan Mishchenko2013-10-102-0/+100
|
* Towards better Boolean matching.Alan Mishchenko2013-10-101-2/+0
|
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-093-14/+19
|
* Towards better Boolean matching.Alan Mishchenko2013-10-091-46/+269
|
* Towards better Boolean matching.Alan Mishchenko2013-10-091-5/+11
|
* Towards better Boolean matching.Alan Mishchenko2013-10-091-17/+53
|
* Towards better Boolean matching.Alan Mishchenko2013-10-051-15/+2
|
* Towards better Boolean matching.Alan Mishchenko2013-10-053-1/+646
|
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-022-5/+16
|
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-302-2/+64
|
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-5/+4
|
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-6/+5
|
* Producing AIG after structural mapping.Alan Mishchenko2013-09-302-3/+3
|
* Changing default values.Alan Mishchenko2013-09-291-1/+1
|
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-281-1/+2
|
* Performance improvements in GIA package.Alan Mishchenko2013-09-271-0/+26
|
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-271-0/+1
|
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-274-1/+230
|
* Bug fix in XOR balancing.Alan Mishchenko2013-09-151-4/+3
|
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+1
|
* Enabling switch -a in 'mfs2'.Alan Mishchenko2013-07-161-0/+2
|
* Bug fix in 'mfs2'.Alan Mishchenko2013-07-081-2/+2
|
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-074-1/+38
|