summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Updating LUT synthesis code.Alan Mishchenko2021-05-111-24/+77
* Disable cube-sort when deriving SOPs.Alan Mishchenko2021-05-111-2/+2
* Updating LUT synthesis code.Alan Mishchenko2021-05-112-25/+195
* Updating LUT synthesis code.Alan Mishchenko2021-05-082-0/+160
* Updating cost function in &save/&load.Alan Mishchenko2021-05-081-1/+1
* Updating cost function in &save/&load.Alan Mishchenko2021-05-081-8/+27
* Bug fix in &blut.Alan Mishchenko2021-05-081-8/+14
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-05-012-0/+153
* Computing sum of PO support sizes.Alan Mishchenko2021-04-091-0/+59
* An option to extend the number of primary inputs.Alan Mishchenko2021-03-282-1/+33
* Compiler warnings.Alan Mishchenko2021-03-281-3/+4
* Command &iwls21test for evaluating the results of 2021 IWLS Contest.Alan Mishchenko2021-03-282-0/+429
* Preventing command history from being overwritten by internal scripts.Alan Mishchenko2021-01-091-3/+16
* Experiments with simulation.Alan Mishchenko2020-12-301-0/+1
* Compiler warnings.Alan Mishchenko2020-12-211-0/+34
* Adding switch to replace proved outputs by const0.Alan Mishchenko2020-12-163-2/+64
* Adding timeout to several commands.Alan Mishchenko2020-12-071-1/+1
* Deriving structural choices from proved equivalences.Alan Mishchenko2020-12-071-0/+111
* Window resub testing.Alan Mishchenko2020-11-291-0/+64
* Fixing a memory corruption problem accidentally introduced by fixing memory l...Alan Mishchenko2020-11-211-2/+2
* Integration with several commands.Alan Mishchenko2020-11-192-2/+2
* Experiments with MFFC computation.Alan Mishchenko2020-11-161-42/+108
* Experiments with MFFC computation (bug fix).Alan Mishchenko2020-11-152-3/+3
* Experiments with MFFC computation.Alan Mishchenko2020-11-154-1/+228
* Improvements to the SAT sweeper.Alan Mishchenko2020-11-142-0/+2
* Experiments with SAT sweeping.Alan Mishchenko2020-11-111-0/+118
* Experiments with SAT sweeping.Alan Mishchenko2020-11-092-3/+7
* Improving resub window computation by always including the TFI of the pivot n...Alan Mishchenko2020-11-031-6/+24
* Experimental cost function in technology mapping.Alan Mishchenko2020-11-012-15/+23
* Rare bug fix in mapping with choices.Alan Mishchenko2020-10-292-0/+74
* Bug fix in window output computation.Alan Mishchenko2020-09-301-5/+6
* Memory leaks.Alan Mishchenko2020-09-282-0/+4
* Memory leaks.Alan Mishchenko2020-09-252-0/+2
* Improvement to reconv-driven windowing.Alan Mishchenko2020-09-211-2/+3
* Performance bug in k-resub and faster windowing.Alan Mishchenko2020-09-182-26/+236
* Experiment with using MUXes in k-resub engine.Alan Mishchenko2020-09-171-6/+102
* Compiler warnings.Alan Mishchenko2020-09-172-2/+2
* Improving MFFC computation code.Alan Mishchenko2020-09-171-1/+1
* Bug fixed in the resub code.Alan Mishchenko2020-09-161-12/+73
* Compiler warnings.Alan Mishchenko2020-09-131-1/+1
* Experiments with iterative synthesis.Alan Mishchenko2020-09-132-5/+124
* Verifying new resub code.Alan Mishchenko2020-09-061-19/+155
* Experiments with window computation.Alan Mishchenko2020-08-151-16/+364
* New ways of reading MiniAIG.Alan Mishchenko2020-07-291-1/+1
* New ways of reading MiniAIG.Alan Mishchenko2020-07-291-0/+268
* Fixing new resub code.Alan Mishchenko2020-07-201-2/+1
* Fixing new resub code.Alan Mishchenko2020-07-202-122/+215
* Experiment with structural similarity.Alan Mishchenko2020-07-164-0/+145
* Correctly handling transfer of additional AIG info when AIG has no internal n...Alan Mishchenko2020-07-132-4/+20
* Adding new resub code.Alan Mishchenko2020-07-082-0/+580