summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
| * Modification suggested by David Geiger to fix an obscure memory problem.Alan Mishchenko2021-02-031-1/+1
| |
| * Updating the mapper when user-specific matching is used.Alan Mishchenko2021-01-091-0/+12
| |
| * Preventing command history from being overwritten by internal scripts.Alan Mishchenko2021-01-095-4/+26
| |
| * Experiments with simulation.Alan Mishchenko2021-01-011-27/+24
| |
| * Experiments with simulation.Alan Mishchenko2020-12-304-3/+374
| |
| * Integrating Glucose into &sat.Alan Mishchenko2020-12-212-52/+138
| |
| * Compiler warnings.Alan Mishchenko2020-12-214-3/+38
| |
| * Adding solver type in &sat.Alan Mishchenko2020-12-166-4/+582
| |
| * Adding generation of combinational speculative miters.Alan Mishchenko2020-12-162-7/+30
| |
| * Adding switch to replace proved outputs by const0.Alan Mishchenko2020-12-1610-17/+86
| |
| * Deriving equivalent nets from proved equivalences.Alan Mishchenko2020-12-091-1/+28
| |
| * Adding timeout to several commands.Alan Mishchenko2020-12-074-20/+53
| |
| * Deriving structural choices from proved equivalences.Alan Mishchenko2020-12-071-0/+111
| |
| * Corner case bug fix in &cec.Alan Mishchenko2020-12-021-2/+2
| |
| * Added switch -y to control blasting divide-by-zero condition.Alan Mishchenko2020-11-293-3/+9
| |
| * Window resub testing.Alan Mishchenko2020-11-291-0/+64
| |
| * Renaming one command.Alan Mishchenko2020-11-231-3/+3
| |
| * Added an option to keep PI/PO names unchanged in 'short_names'.Alan Mishchenko2020-11-223-4/+23
| |
| * Passing conflict limit to &cec.Alan Mishchenko2020-11-222-3/+4
| |
| * Removing unused printouts.Alan Mishchenko2020-11-222-3/+2
| |
| * 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-198-23/+119
| |
| * Improvements to the SAT sweeper.Alan Mishchenko2020-11-161-12/+52
| |
| * Extending sweeper to handle XORs.Alan Mishchenko2020-11-164-276/+260
| |
| * 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
| |
| * Extending sweeper to handle XORs.Alan Mishchenko2020-11-156-38/+255
| |
| * Improvements to the SAT sweeper (bug fix).Alan Mishchenko2020-11-152-2/+2
| |
| * 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-143-49/+78
| |
| * 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 ↵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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 20:39:07 +0000