Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Several changes to various packages. | Alan Mishchenko | 2017-09-04 | 5 | -5/+125 |
| | |||||
* | Integrating Satoko into 'bmc' and 'bmc2'. | Alan Mishchenko | 2017-08-16 | 3 | -14/+26 |
| | |||||
* | Trying &bmcs with external solvers. | Alan Mishchenko | 2017-08-15 | 1 | -1/+6 |
| | |||||
* | Unfold several timeframes at the same time in &bmcs. | Alan Mishchenko | 2017-08-15 | 1 | -3/+15 |
| | |||||
* | Adding an option to bmc3 to use Satoko intead of the default SAT solver. | Alan Mishchenko | 2017-08-13 | 1 | -2/+6 |
| | |||||
* | Experiments with BMC. | Alan Mishchenko | 2017-08-13 | 1 | -1/+1 |
| | |||||
* | Experiments with BMC. | Alan Mishchenko | 2017-08-13 | 1 | -2/+16 |
| | |||||
* | add frame done callback support for command &bmcs | Baruch Sterin | 2017-08-09 | 1 | -0/+2 |
| | |||||
* | add a new field to the ABC Frame. The new field is a callback that may be ↵ | Baruch Sterin | 2017-08-09 | 1 | -0/+4 |
| | | | | called by a BMC-like engine when a frame is done and a PO is either known to be SAT or UNSAT up to a specific frame | ||||
* | Experiments with BMC. | Alan Mishchenko | 2017-08-09 | 1 | -0/+106 |
| | |||||
* | New commands for backing up networks. | Alan Mishchenko | 2017-08-04 | 4 | -7/+203 |
| | |||||
* | Transforming miter by swapping sides. | Alan Mishchenko | 2017-07-23 | 1 | -10/+18 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 9 | -15/+15 |
| | |||||
* | Experiments with logic optimization. | Alan Mishchenko | 2017-07-21 | 2 | -0/+101 |
| | |||||
* | Adding new type of MUX blasting. | Alan Mishchenko | 2017-07-07 | 8 | -17/+57 |
| | |||||
* | Adding new command line options for &verify and &synch2. | Alan Mishchenko | 2017-07-06 | 1 | -6/+14 |
| | |||||
* | Merged in boschmitt/abc (pull request #77) | Alan Mishchenko | 2017-07-04 | 1 | -1/+1 |
|\ | | | | | | | Small fixes for C++ compilers | ||||
| * | Small fixes for C++ compilers | Bruno Schmitt | 2017-07-04 | 1 | -1/+1 |
| | | |||||
* | | Synchronizing various data-structures. | Alan Mishchenko | 2017-07-04 | 2 | -0/+10 |
|/ | |||||
* | Saturating floating point computation. | Alan Mishchenko | 2017-07-01 | 1 | -1/+1 |
| | |||||
* | Temp changes | Alan Mishchenko | 2017-06-15 | 1 | -1/+8 |
| | |||||
* | merge | Yen-Sheng Ho | 2017-06-06 | 16 | -55/+728 |
|\ | |||||
| * | Bug fix in SMT handling: 'distinct' with more than two inputs. | Alan Mishchenko | 2017-06-05 | 2 | -1/+26 |
| | | |||||
| * | Several new procedures for GIA manipulation. | Alan Mishchenko | 2017-06-01 | 2 | -1/+78 |
| | | |||||
| * | Small change to gate names. | Alan Mishchenko | 2017-05-16 | 1 | -1/+1 |
| | | |||||
| * | Adding switch %blast -d to dump dual-output miter after blasting. | Alan Mishchenko | 2017-04-29 | 8 | -43/+100 |
| | | |||||
| * | Two small fixes. | Alan Mishchenko | 2017-04-24 | 1 | -1/+1 |
| | | |||||
| * | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-23 | 2 | -2/+23 |
| | | |||||
| * | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 1 | -4/+4 |
| | | |||||
| * | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 3 | -49/+326 |
| | | |||||
| * | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 1 | -0/+124 |
| | | |||||
| * | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 3 | -0/+92 |
| | | |||||
* | | %pdra: fixed a bug | Yen-Sheng Ho | 2017-06-06 | 1 | -2/+2 |
| | | |||||
* | | %pdra: added an option for disabling incremental solving | Yen-Sheng Ho | 2017-04-16 | 4 | -3/+10 |
|/ | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-04-11 | 1 | -3/+7 |
| | |||||
* | merge | Yen-Sheng Ho | 2017-04-10 | 7 | -23/+109 |
|\ | |||||
| * | Experiments with hashing. | Alan Mishchenko | 2017-04-08 | 4 | -1/+57 |
| | | |||||
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-04-08 | 4 | -23/+53 |
| | | |||||
* | | %pdra: bug fix | Yen-Sheng Ho | 2017-04-09 | 1 | -1/+1 |
| | | |||||
* | | %pdra: bug fix | Yen-Sheng Ho | 2017-04-09 | 1 | -0/+2 |
| | | |||||
* | | %pdra: added top level callbacks | Yen-Sheng Ho | 2017-04-09 | 2 | -1/+5 |
|/ | |||||
* | merge | Yen-Sheng Ho | 2017-04-06 | 6 | -384/+1182 |
|\ | |||||
| * | Adding stand-alone cut computation to GIA. | Alan Mishchenko | 2017-04-05 | 1 | -3/+3 |
| | | |||||
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-04-04 | 5 | -50/+176 |
| | | |||||
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-04-04 | 3 | -170/+435 |
| | | |||||
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-04-02 | 6 | -324/+595 |
| | | |||||
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-03-31 | 1 | -2/+2 |
| | | |||||
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-03-31 | 3 | -60/+196 |
| | | |||||
* | | small changes | Yen-Sheng Ho | 2017-04-06 | 1 | -2/+0 |
| | | |||||
* | | %pdra: handled real CEXs; refactor | Yen-Sheng Ho | 2017-04-06 | 1 | -12/+36 |
| | |