summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Collapse)AuthorAgeFilesLines
...
* 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 ↵Alan Mishchenko2020-11-211-2/+2
| | | | leaks on Sep 28.
* 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 ↵Alan Mishchenko2020-11-031-6/+24
| | | | node.
* 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 ↵Alan Mishchenko2020-07-132-4/+20
| | | | nodes.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 21:46:24 +0000