summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Collapse)AuthorAgeFilesLines
* g++ compiler warnings.Alan Mishchenko2015-11-082-3/+2
|
* Improvements to 'satclp' (unfinished).Alan Mishchenko2015-11-061-0/+2
|
* silence clang errors when compiling as C++Baruch Sterin2015-11-051-1/+1
|
* Adding procedure Abc_NtkSetAndGateDelay().Alan Mishchenko2015-11-041-0/+3
|
* Improvements to 'satclp'.Alan Mishchenko2015-10-282-0/+42
|
* Better logic cone proprocessor for 'satclp' to reduce runtime.Alan Mishchenko2015-10-251-0/+255
|
* Added several knobs to control QoR in &nf.Alan Mishchenko2015-10-201-4/+2
|
* Added several knobs to control QoR in &nf.Alan Mishchenko2015-10-202-27/+76
|
* Code simplification and improvements in &nf.Alan Mishchenko2015-10-191-129/+85
|
* Fix C++ compilation errorsBaruch Sterin2015-10-161-0/+4
|
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-045-36/+95
|
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-048-2/+66
|
* Bug fix in propagating required times in &nf (another issue).Alan Mishchenko2015-10-011-10/+4
|
* Bug fix in propagating required times in &nf.Alan Mishchenko2015-10-011-2/+2
|
* Naive LUT packing algorithm (command &pack).Alan Mishchenko2015-09-302-0/+208
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-302-104/+290
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-291-36/+17
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-291-84/+358
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-281-17/+43
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-281-57/+271
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-271-3/+3
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-273-0/+1003
|
* Bug fix in &nf and in propagating timing info.Alan Mishchenko2015-09-271-7/+12
|
* New command &rexwalk.Alan Mishchenko2015-09-261-0/+2
|
* New command &rexwalk.Alan Mishchenko2015-09-261-0/+197
|
* Adding API to set the number of flops after reading MiniAIG.Alan Mishchenko2015-09-241-0/+1
|
* Bug fix in &rex2gia.Alan Mishchenko2015-09-231-1/+3
|
* Fixing corner-cases in 'tempor' and in 'unfold'.Alan Mishchenko2015-09-221-0/+5
|
* Adding new command &rex2gia.Alan Mishchenko2015-09-222-0/+346
|
* Improvements to &b -das.Alan Mishchenko2015-09-183-10/+78
|
* Adding switch to &b to prevent dumplicated area when used in delay-mode (&b ↵Alan Mishchenko2015-09-182-27/+27
| | | | -da).
* Commenting out assertion in &b, which does not hold.Alan Mishchenko2015-09-181-1/+1
|
* Improvements to QBF solver; new quantification command &qvar.Alan Mishchenko2015-09-181-12/+80
|
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-082-4/+32
|
* More tuning in &nf.Alan Mishchenko2015-09-061-17/+30
|
* More tuning in &nf.Alan Mishchenko2015-09-061-1/+1
|
* More tuning in &nf.Alan Mishchenko2015-09-061-5/+7
|
* More tuning in &nf.Alan Mishchenko2015-09-061-411/+123
|
* More tuning in &nf.Alan Mishchenko2015-09-041-5/+354
|
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-1/+1
|
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-1/+1
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-2/+2
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-10/+10
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-136/+92
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-49/+287
|
* Performance tuning of the Nf.Alan Mishchenko2015-08-311-1/+1
|
* Performance tuning of the Nf.Alan Mishchenko2015-08-312-146/+152
|
* More tuning in &nf.Alan Mishchenko2015-08-281-1/+1
|
* Adding switch to control area-recovery and more tuning in &nf.Alan Mishchenko2015-08-282-2/+4
|
* Important bug fixes in standard-cell library handling and mapper &nf.Alan Mishchenko2015-08-281-321/+94
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 15:21:57 +0000