Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Compiler warning. | Alan Mishchenko | 2017-02-08 | 1 | -7/+6 | |
| | ||||||
* | Autotuner for 'satoko'. | Alan Mishchenko | 2017-02-08 | 6 | -28/+698 | |
| | ||||||
* | Compiler warning. | Alan Mishchenko | 2017-02-08 | 1 | -1/+1 | |
| | ||||||
* | New command &satoko. | Alan Mishchenko | 2017-02-08 | 4 | -4/+200 | |
| | ||||||
* | Re-introducing floating-point activity in the SAT solver. | Alan Mishchenko | 2017-02-07 | 1 | -2/+18 | |
| | ||||||
* | Re-introducing floating-point activity in the SAT solver. | Alan Mishchenko | 2017-02-06 | 2 | -39/+171 | |
| | ||||||
* | Small changes to compile satoko on Windows. | Alan Mishchenko | 2017-02-06 | 3 | -4/+4 | |
| | ||||||
* | Merged alanmi/abc into default | Bruno Schmitt | 2017-02-06 | 1 | -7/+7 | |
|\ | ||||||
| * | Fixing compilation problem in 'dsc' package. | Alan Mishchenko | 2017-02-06 | 1 | -7/+7 | |
| | | ||||||
* | | Small changes to support old compilers. | Bruno Schmitt | 2017-02-06 | 9 | -35/+35 | |
| | | ||||||
* | | Adding a new SAT solver to ABC. (Satoko) | Bruno Schmitt | 2017-02-06 | 23 | -1/+3532 | |
|/ | | | | The command is ‘satoko’ | |||||
* | Adding specialized flop ordering before generalization in 'pdr'. | Alan Mishchenko | 2017-02-06 | 3 | -3/+38 | |
| | ||||||
* | Improving new X-valued simulation in 'pdr'. | Alan Mishchenko | 2017-02-06 | 4 | -17/+203 | |
| | ||||||
* | Improvements in AIG visualization. | Alan Mishchenko | 2017-02-05 | 2 | -14/+17 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2017-02-05 | 1 | -18/+22 | |
| | ||||||
* | Corner-case bug-fix in library preprocessor for standard-cell mapping. | Alan Mishchenko | 2017-02-05 | 1 | -2/+2 | |
| | ||||||
* | Adding structural flop priority heuristics in 'pdr' (bug fix). | Alan Mishchenko | 2017-02-03 | 1 | -9/+126 | |
| | ||||||
* | Adding structural flop priority heuristics in 'pdr'. | Alan Mishchenko | 2017-02-03 | 8 | -122/+214 | |
| | ||||||
* | Removing dead code in 'pdr'. | Alan Mishchenko | 2017-02-03 | 4 | -81/+0 | |
| | ||||||
* | Enabling new X-valued simulation in 'pdr'. | Alan Mishchenko | 2017-02-03 | 9 | -5/+420 | |
| | ||||||
* | Improvements to inductive generalization in IC3/PDR by Zyad Hassan. | Alan Mishchenko | 2017-02-02 | 9 | -13/+495 | |
| | ||||||
* | Reordering if-statements in the xsat solver. | Alan Mishchenko | 2017-02-02 | 1 | -5/+3 | |
| | ||||||
* | Adding API for generating a monitor of a set of internal signals in a ↵ | Alan Mishchenko | 2017-01-31 | 1 | -0/+154 | |
| | | | | sequential logic network. | |||||
* | Typo. | Alan Mishchenko | 2017-01-31 | 1 | -1/+1 | |
| | ||||||
* | Improvements to SMT-LIB parser (bug fixes). | Alan Mishchenko | 2017-01-30 | 1 | -7/+23 | |
| | ||||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-30 | 6 | -8/+403 | |
| | ||||||
* | Commenting out debug code. | Alan Mishchenko | 2017-01-29 | 1 | -1/+0 | |
| | ||||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-29 | 5 | -143/+153 | |
| | ||||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-28 | 5 | -10/+422 | |
| | ||||||
* | Custom floating-point number. | Alan Mishchenko | 2017-01-28 | 1 | -0/+15 | |
| | ||||||
* | Custom floating-point number. | Alan Mishchenko | 2017-01-28 | 1 | -0/+213 | |
| | ||||||
* | Fixing non-reproducability related to floating-point numbers. | Alan Mishchenko | 2017-01-27 | 4 | -22/+27 | |
| | ||||||
* | Commenting out &mfs report message. | Alan Mishchenko | 2017-01-27 | 2 | -2/+3 | |
| | ||||||
* | Adding visualization of word-level networks Wlc_Ntk_t. | Alan Mishchenko | 2017-01-26 | 3 | -14/+31 | |
| | ||||||
* | Adding visualization of word-level networks Wlc_Ntk_t. | Alan Mishchenko | 2017-01-26 | 7 | -115/+331 | |
| | ||||||
* | Adding visualization of word-level networks Wlc_Ntk_t. | Alan Mishchenko | 2017-01-26 | 7 | -11/+617 | |
| | ||||||
* | Improvements to SMT-LIB parser. | Alan Mishchenko | 2017-01-26 | 3 | -84/+243 | |
| | ||||||
* | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-25 | 1 | -2/+2 | |
| | ||||||
* | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-25 | 2 | -3/+238 | |
| | ||||||
* | Corner-case bug in MiniLUT. | Alan Mishchenko | 2017-01-25 | 1 | -0/+1 | |
| | ||||||
* | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-25 | 1 | -0/+2 | |
| | ||||||
* | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-25 | 2 | -30/+74 | |
| | ||||||
* | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-24 | 2 | -24/+35 | |
| | ||||||
* | Fixing windows compilation problem. | Alan Mishchenko | 2017-01-24 | 3 | -3/+4 | |
| | ||||||
* | Fixing gcc compilation problem. | Alan Mishchenko | 2017-01-24 | 1 | -2/+2 | |
| | ||||||
* | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-24 | 3 | -19/+92 | |
| | ||||||
* | Merged alanmi/abc into default | Bruno Schmitt | 2017-01-25 | 76 | -658/+7331 | |
|\ | ||||||
| * | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-24 | 7 | -104/+625 | |
| | | ||||||
| * | Fix mismatch in output formatting. | Alan Mishchenko | 2017-01-21 | 5 | -16/+16 | |
| | | ||||||
| * | Small fixes and a change to &cec to allow two files names given as ↵ | Alan Mishchenko | 2017-01-21 | 4 | -52/+101 | |
| | | | | | | | | command-line arguments. |