summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵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
|
* Correctly handling transfer of additional AIG info when AIG has no internal ↵Alan Mishchenko2020-07-132-4/+20
| | | | nodes.
* Fixing commands 'putontop' and 'topmost'; adding command 'bottommost'.Alan Mishchenko2020-07-112-16/+171
|
* Adding new resub code.Alan Mishchenko2020-07-082-0/+580
|
* Bug fix in &cec (properly updating the status after the corner case bug fix\).Alan Mishchenko2020-06-241-0/+1
|
* Bug fix in &cec (handling the case when the miter is disproved by the all-0 ↵Alan Mishchenko2020-06-241-5/+23
| | | | pattern).
* Compiler error.Alan Mishchenko2020-06-041-4/+4
|
* Experimental simulation.Alan Mishchenko2020-06-042-10/+73
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 22:45:05 +0000