summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Removing some old useless code.Alan Mishchenko2013-09-024-64/+4
* Removing some old useless code.Alan Mishchenko2013-09-0211-832/+20
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-021-0/+242
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-027-12/+48
* Modify level computation to take discretized arrival times into account.Alan Mishchenko2013-09-021-3/+7
* Adding switch &get -m to import mapped network into the &-space.Alan Mishchenko2013-09-011-2/+2
* Adding switch &get -m to import mapped network into the &-space.Alan Mishchenko2013-09-014-15/+141
* Adding new line (\n) after 'c' at the beginning of the comment section in AIG...Alan Mishchenko2013-08-291-1/+4
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-292-4/+29
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-294-5/+19
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-284-3/+79
* 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-205-3/+81
* Adding code to count statistics about decomposable LUT5.Alan Mishchenko2013-08-183-0/+12
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-165-16/+84
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+1
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-142-8/+8
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-2/+2
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-142-6/+6
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-1/+1
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-143-38/+55
* Bug fix in &if -z.Alan Mishchenko2013-08-141-5/+16
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-131-6/+6
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-123-15/+3
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-1210-8/+582
* Integrated buffering and sizing.Alan Mishchenko2013-08-117-63/+89
* Integrated buffering and sizing.Alan Mishchenko2013-08-116-21/+44
* Integrated buffering and sizing.Alan Mishchenko2013-08-101-1/+1
* Integrated buffering and sizing.Alan Mishchenko2013-08-108-102/+186
* Integrated buffering and sizing.Alan Mishchenko2013-08-101-5/+5
* Bug fix in incremental timing.Alan Mishchenko2013-08-102-12/+18
* Enable wire load estimation in buffering/sizing.Alan Mishchenko2013-08-106-38/+46
* Integrated buffering and sizing.Alan Mishchenko2013-08-093-19/+16
* Integrated buffering and sizing.Alan Mishchenko2013-08-094-21/+19
* Integrated buffering and sizing.Alan Mishchenko2013-08-094-67/+89
* Integrated buffering and sizing.Alan Mishchenko2013-08-094-30/+67
* Improvements to buffering and sizing.Alan Mishchenko2013-08-098-30/+108
* Improvements to buffering and sizing.Alan Mishchenko2013-08-097-85/+242
* Improvements to buffering and sizing.Alan Mishchenko2013-08-093-67/+26
* Improvements to buffering and sizing.Alan Mishchenko2013-08-097-124/+181
* Compiler warnings.Alan Mishchenko2013-08-081-1/+1
* Integrated buffering and sizing.Alan Mishchenko2013-08-0815-99/+693
* Improvements to buffering and sizing.Alan Mishchenko2013-08-072-172/+159
* Improvements to buffering and sizing.Alan Mishchenko2013-08-0610-36/+510
* Improvements to buffering and sizing.Alan Mishchenko2013-08-065-20/+290
* Bug fix in 'int'.Alan Mishchenko2013-08-051-2/+2
* Bug fix in 'int'.Alan Mishchenko2013-08-051-42/+35
* Adding new (un)buffering with phase information.Alan Mishchenko2013-08-051-5/+30
* Adding new (un)buffering with phase information.Alan Mishchenko2013-08-056-10/+142
* Adding code to estimate buffer trees.Alan Mishchenko2013-08-057-43/+249
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:07:43 +0000