Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bug fix in &sat -x. | Alan Mishchenko | 2018-05-07 | 1 | -0/+2 |
| | |||||
* | Adding &sat -x to save CEXes for multi-output combinational miters. | Alan Mishchenko | 2018-05-06 | 3 | -0/+23 |
| | |||||
* | Compilation problem with pow(). | Alan Mishchenko | 2018-02-19 | 1 | -3/+3 |
| | |||||
* | Experiments with circuit-based SAT. | Alan Mishchenko | 2018-01-27 | 1 | -1/+1 |
| | |||||
* | Experiments with SAT-based simulation. | Alan Mishchenko | 2018-01-25 | 1 | -8/+11 |
| | |||||
* | Experiments with SAT-based simulation. | Alan Mishchenko | 2018-01-23 | 1 | -2/+17 |
| | |||||
* | Profiling quantification and other changes. | Alan Mishchenko | 2017-11-06 | 2 | -38/+43 |
| | |||||
* | Enabling Glucose in SAT sweeping: &fraig -g. | Alan Mishchenko | 2017-09-18 | 1 | -0/+1 |
| | |||||
* | Enabling Glucose in SAT sweeping: &fraig -g. | Alan Mishchenko | 2017-09-18 | 1 | -0/+1048 |
| | |||||
* | Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵ | Bruno Schmitt | 2017-08-29 | 1 | -8/+10 |
| | | | | used in other packages | ||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-04-11 | 3 | -1/+8 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-04-11 | 2 | -23/+78 |
| | |||||
* | Integration of new SAT sweeper. | Alan Mishchenko | 2017-03-11 | 1 | -10/+32 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-20 | 1 | -2/+17 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-19 | 1 | -18/+71 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 1 | -23/+96 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 2 | -0/+863 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2017-02-14 | 1 | -0/+194 |
| | |||||
* | Standardizing the use of new CNF generator. Adding CNF variable connectivity ↵ | Alan Mishchenko | 2017-02-10 | 1 | -2/+1 |
| | | | | information. | ||||
* | Fix mismatch in output formatting. | Alan Mishchenko | 2017-01-21 | 1 | -3/+3 |
| | |||||
* | Adding new command 'dump_equiv'. | Alan Mishchenko | 2016-07-21 | 4 | -4/+21 |
| | |||||
* | Adding new Python API 'is_func_iso'. | Alan Mishchenko | 2015-07-11 | 2 | -0/+22 |
| | |||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
| | |||||
* | Several bug fixes and silencing requests. | Alan Mishchenko | 2015-03-16 | 3 | -6/+10 |
| | |||||
* | Adding silent mode to &cec -m. | Alan Mishchenko | 2015-03-15 | 2 | -13/+33 |
| | |||||
* | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -12/+19 |
| | |||||
* | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -14/+17 |
| | |||||
* | Bug fix in seq synthesis due to resent code restructuring. | Alan Mishchenko | 2014-10-21 | 1 | -4/+4 |
| | |||||
* | Naive (SAT-only) CEC option. | Alan Mishchenko | 2014-10-10 | 2 | -0/+110 |
| | |||||
* | Deriving cell mapping with &if -kz. | Alan Mishchenko | 2014-10-04 | 1 | -4/+4 |
| | |||||
* | Concurrency for Boolean matching. | Alan Mishchenko | 2014-09-18 | 1 | -2/+10 |
| | |||||
* | Enabling circuit solver in &fraig. | Alan Mishchenko | 2014-08-12 | 5 | -11/+94 |
| | |||||
* | Bug fix in &fraig -L <num>. | Alan Mishchenko | 2014-08-12 | 1 | -2/+2 |
| | |||||
* | Experiments with cofactoring variables. | Alan Mishchenko | 2014-06-20 | 1 | -6/+76 |
| | |||||
* | Bug fix in timeout of &splitprove. | Alan Mishchenko | 2014-06-16 | 1 | -1/+1 |
| | |||||
* | Adding support of multi-output problems in &splitprove. | Alan Mishchenko | 2014-06-15 | 1 | -1/+31 |
| | |||||
* | Various modifications. | Alan Mishchenko | 2014-06-12 | 1 | -6/+5 |
| | |||||
* | Adding print-out to &splitprove to see impact of cof variable on AIG size. | Alan Mishchenko | 2014-06-07 | 1 | -5/+5 |
| | |||||
* | Adding print-out to &splitprove to see impact of cof variable on AIG size. | Alan Mishchenko | 2014-06-07 | 1 | -5/+25 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -0/+4 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -4/+4 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -132/+155 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -5/+5 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -29/+250 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -4/+11 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -6/+7 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -9/+42 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -52/+59 |
| |