summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* Upgrading the SAT solvers.Alan Mishchenko2020-11-1413-80/+1083
* Improvements to the SAT sweeper.Alan Mishchenko2020-11-132-164/+369
* Adding and integrating new SAT solver APIs.Alan Mishchenko2020-11-139-32/+284
* Duplicating Glucose package.Alan Mishchenko2020-11-131-43/+43
* Duplicating Glucose package.Alan Mishchenko2020-11-131-2/+2
* Duplicating Glucose package.Alan Mishchenko2020-11-131-2/+2
* Duplicating Glucose package.Alan Mishchenko2020-11-131-5/+5
* Duplicating Glucose package.Alan Mishchenko2020-11-1230-33/+8152
* Adding Glucose API to return a CEX.Alan Mishchenko2020-11-123-0/+22
* Experiments with SAT sweeping.Alan Mishchenko2020-11-112-30/+161
* Experiments with SAT sweeping.Alan Mishchenko2020-11-103-74/+235
* Setting default conflict limit in &fraig to be high.Alan Mishchenko2020-11-091-0/+1
* Experiments with SAT sweeping.Alan Mishchenko2020-11-098-5/+1180
* Removing local file 'stdint.h' which was included by mistake, not even a head...Alan Mishchenko2020-11-061-1628/+0
* Improving resub window computation by always including the TFI of the pivot n...Alan Mishchenko2020-11-032-7/+24
* Trying to explicitly compute don't-cares during optimization.Alan Mishchenko2020-11-016-17/+185
* Experimental cost function in technology mapping.Alan Mishchenko2020-11-015-16/+54
* Adding an option to write Verilog with LUT instances (compiler warnings).Alan Mishchenko2020-10-312-3/+3
* Adding an option to write Verilog with LUT instances.Alan Mishchenko2020-10-312-3/+196
* Rare bug fix in mapping with choices.Alan Mishchenko2020-10-293-1/+76
* Fixing a clang error related to 'unlink'.Alan Mishchenko2020-10-091-0/+3
* New command 'read_sf'.Alan Mishchenko2020-10-012-0/+128
* 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
* Changing SAT sweepers (ifraig and &fraig) to be stronger by default.Alan Mishchenko2020-09-241-1/+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-178-173/+202
* Bug fixed in the resub code.Alan Mishchenko2020-09-161-12/+73
* Compiler warnings.Alan Mishchenko2020-09-132-2/+2
* Experiments with iterative synthesis.Alan Mishchenko2020-09-137-42/+264
* Deleting unused info left by the SAT sweeper.Alan Mishchenko2020-09-101-0/+2
* Adding switch &cec -w to print SAT solver stats.Alan Mishchenko2020-09-064-3/+9
* Fixing a typo in setting the miter type.Alan Mishchenko2020-09-061-1/+1
* Verifying new resub code.Alan Mishchenko2020-09-062-19/+156
* Experiments with ICCAD CAD benchmarks (Problem A).Alan Mishchenko2020-09-032-7/+627
* Experiments with window computation.Alan Mishchenko2020-08-152-16/+365
* Making &cec use precomputed simulation info.Alan Mishchenko2020-08-124-12/+42
* Extending &sim_read to use non-64-divisible pattern counts.Alan Mishchenko2020-08-121-3/+13
* New ways of reading MiniAIG.Alan Mishchenko2020-07-291-1/+1
* New ways of reading MiniAIG.Alan Mishchenko2020-07-292-3/+278
* 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-166-0/+220
* Correctly handling transfer of additional AIG info when AIG has no internal n...Alan Mishchenko2020-07-132-4/+20
* Fixing commands 'putontop' and 'topmost'; adding command 'bottommost'.Alan Mishchenko2020-07-112-16/+171
* Adding new resub code.Alan Mishchenko2020-07-082-0/+580
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 20:35:49 +0000