summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | Sweeping up to a given level (bug fix).Alan Mishchenko2020-11-151-2/+2
* | Sweeping up to a given level.Alan Mishchenko2020-11-141-1/+5
* | 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 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 16:34:57 +0000