summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+102
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+25
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-8/+31
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-2/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-092-38/+68
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-4/+4
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-3/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-1/+2
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-111/+288
|
* Fixing corner-case bug in command 'ind'.Alan Mishchenko2013-09-081-23/+40
|
* Improvements to the &ps.Alan Mishchenko2013-09-084-1/+44
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-3/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-4/+59
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-073-3/+74
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-9/+13
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-074-18/+807
|
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-058-16/+26
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-053-1/+24
|
* Temporarily (?) undoing previous change because it is incompatible with old ↵Alan Mishchenko2013-09-051-3/+4
| | | | AIGER files generated by ABC.
* Making selecting duplication procedure creates a smaller AIG.Alan Mishchenko2013-09-051-2/+7
|
* Improved unrolling manager.Alan Mishchenko2013-09-051-2/+2
|
* Adding new line (\n) after 'c' at the beginning of the comment section in ↵Alan Mishchenko2013-08-291-1/+4
| | | | AIGER format.
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-282-0/+46
|
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-16/+6
|
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-202-0/+37
|
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-161-1/+1
|
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-5/+5
|
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-2/+2
|
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-4/+4
|
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-1/+1
|
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-36/+46
|
* Bug fix in &if -z.Alan Mishchenko2013-08-141-5/+16
|
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-3/+2
|
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+29
|
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-231-3/+2
|
* Enabling pin sorting in &if.Alan Mishchenko2013-07-221-0/+3
|
* Imporvements to 'eliminate'.Alan Mishchenko2013-07-163-3/+51
|
* New technology mapper.Alan Mishchenko2013-07-142-2/+7
|
* New technology mapper.Alan Mishchenko2013-07-131-0/+3
|
* New technology mapper.Alan Mishchenko2013-07-121-0/+6
|
* New technology mapper.Alan Mishchenko2013-07-122-1855/+0
|
* Fix to &era to skip synthesis and print verbose output more often.Alan Mishchenko2013-07-101-2/+3
|
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-071-0/+1
|
* Updating new mapper.Alan Mishchenko2013-06-301-366/+379
|
* Updating new mapper.Alan Mishchenko2013-06-301-76/+139
|
* Updating new mapper.Alan Mishchenko2013-06-301-150/+114
|
* Updating new mapper.Alan Mishchenko2013-06-301-207/+237
|
* Updating new mapper.Alan Mishchenko2013-06-301-8/+29
|
* Updating new mapper.Alan Mishchenko2013-06-301-13/+64
|
* Updating new mapper.Alan Mishchenko2013-06-291-110/+386
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 12:56:19 +0000