summaryrefslogtreecommitdiffstats
path: root/src/opt/dau
Commit message (Expand)AuthorAgeFilesLines
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
* Updates to delay optimization project.Alan Mishchenko2016-12-291-1/+1
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-1/+1
* New SAT-based optimization package.Alan Mishchenko2016-12-041-2/+6
* New SAT-based optimization package.Alan Mishchenko2016-11-281-10/+32
* Windows complier errors.Alan Mishchenko2016-08-061-2/+2
* Return the class representative of each function.Ana Petkovska2016-06-181-15/+59
* Group based exact NPN classification.Ana Petkovska2016-06-181-2/+49
* New hierarchical TT NPN matching.Alan Mishchenko2016-02-262-0/+144
* Fixed a typo in variable names.Alan Mishchenko2015-02-071-1/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-111-1/+8
* Synchronizing packages.Alan Mishchenko2014-09-201-1/+1
* Updates and changes to several packages.Alan Mishchenko2014-07-203-11/+90
* Small changes in several packages.Alan Mishchenko2014-07-181-1/+2
* Added delay-oriented balancing to unmapping in &st.Alan Mishchenko2014-06-191-7/+207
* 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
* Improvements to the canonical form computation.Alan Mishchenko2013-10-102-0/+100
* Towards better Boolean matching.Alan Mishchenko2013-10-101-2/+0
* 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
* 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
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-273-59/+59
* Compiler warnings.Alan Mishchenko2013-03-311-1/+1
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+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-2/+2
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 10:53:24 +0000