summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* 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
* Experimental simulation.Alan Mishchenko2020-06-041-9/+72
* Experimental simulation.Alan Mishchenko2020-06-031-0/+99
* Experimental resubstitution.Alan Mishchenko2020-05-154-258/+386
* Experimental resubstitution.Alan Mishchenko2020-05-131-67/+221
* Experimental resubstitution.Alan Mishchenko2020-05-111-4/+10
* Experimental resubstitution.Alan Mishchenko2020-05-081-37/+119
* Experimental resubstitution.Alan Mishchenko2020-05-071-35/+87
* Experimental resubstitution.Alan Mishchenko2020-05-071-233/+442
* Experiment with permutations.Alan Mishchenko2020-05-031-1/+1
* Experiment with permutations.Alan Mishchenko2020-05-031-0/+95
* Compiler warnings and errors.Alan Mishchenko2020-05-032-3/+5
* Compiler warnings.Alan Mishchenko2020-05-031-1/+0
* Experimental resubstitution.Alan Mishchenko2020-05-034-3/+789
* Merge pull request #65 from FPGeh/fix_seq_synthalanminko2020-04-301-5/+7
|\
| * Gia_ManDupPermFlop to behave as Gia_ManDupPermEddie Hung2020-01-231-5/+7