summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to the SAT solver.Alan Mishchenko2020-11-143-8/+15
|
* Improvements to the SAT sweeper (bug fix).Alan Mishchenko2020-11-141-0/+1
|
* Improvements to the SAT sweeper.Alan Mishchenko2020-11-144-53/+78
|
* Upgrading the SAT solvers.Alan Mishchenko2020-11-1415-80/+1095
|
* 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-1232-34/+8261
|
* 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-099-5/+1184
|
* Removing local file 'stdint.h' which was included by mistake, not even a ↵Alan Mishchenko2020-11-061-1628/+0
| | | | header file.
* Improving resub window computation by always including the TFI of the pivot ↵Alan Mishchenko2020-11-032-7/+24
| | | | node.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-16 01:29:10 +0000