| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Duplicating Glucose package. | Alan Mishchenko | 2020-11-12 | 1 | -33/+69 |
| | | |||||
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-11 | 1 | -30/+43 |
| | | |||||
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-10 | 2 | -67/+212 |
| | | |||||
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-09 | 5 | -0/+1165 |
| | | |||||
| * | Deleting unused info left by the SAT sweeper. | Alan Mishchenko | 2020-09-10 | 1 | -0/+2 |
| | | |||||
| * | Adding switch &cec -w to print SAT solver stats. | Alan Mishchenko | 2020-09-06 | 3 | -1/+3 |
| | | |||||
| * | Making &cec use precomputed simulation info. | Alan Mishchenko | 2020-08-12 | 3 | -12/+37 |
| | | |||||
| * | Corner case bug fix in &sat -a. | Alan Mishchenko | 2020-03-18 | 1 | -3/+12 |
| | | |||||
| * | Cleanup of SAT sweeping code. | Alan Mishchenko | 2019-06-30 | 1 | -8/+0 |
| | | |||||
| * | Passing names in &scorr. | Alan Mishchenko | 2019-02-18 | 1 | -0/+12 |
| | | |||||
| * | Passing names in &scorr. | Alan Mishchenko | 2019-02-18 | 1 | -0/+5 |
| | | |||||
| * | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 6 | -8/+8 |
| | | |||||
| * | 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 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |