summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaResub2.c
Commit message (Expand)AuthorAgeFilesLines
* Several unrelated changes.Alan Mishchenko2021-07-151-8/+19
* Experiments with cut computation.Alan Mishchenko2021-06-081-1/+41
* Window resub testing.Alan Mishchenko2020-11-291-0/+64
* Improving resub window computation by always including the TFI of the pivot n...Alan Mishchenko2020-11-031-6/+24
* Bug fix in window output computation.Alan Mishchenko2020-09-301-5/+6
* Improvement to reconv-driven windowing.Alan Mishchenko2020-09-211-2/+3
* Performance bug in k-resub and faster windowing.Alan Mishchenko2020-09-181-2/+208
* Compiler warnings.Alan Mishchenko2020-09-171-1/+1
* Bug fixed in the resub code.Alan Mishchenko2020-09-161-12/+73
* Verifying new resub code.Alan Mishchenko2020-09-061-19/+155
* Experiments with window computation.Alan Mishchenko2020-08-151-16/+364
* Fixing new resub code.Alan Mishchenko2020-07-201-2/+1
* Fixing new resub code.Alan Mishchenko2020-07-201-121/+215
* Adding new resub code.Alan Mishchenko2020-07-081-0/+579