Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Integrating Glucose into bmc3 -g. | Alan Mishchenko | 2017-09-06 | 1 | -0/+4 |
| | |||||
* | Adding Glucose 3.0 as a separate package. | Alan Mishchenko | 2017-09-06 | 1 | -0/+108 |
| | |||||
* | Experiments with BMC. | Alan Mishchenko | 2017-07-22 | 1 | -0/+4 |
| | |||||
* | Accidental change. | Alan Mishchenko | 2017-07-17 | 1 | -37/+37 |
| | |||||
* | Experiments with support minimization. | Alan Mishchenko | 2017-04-27 | 1 | -0/+4 |
| | |||||
* | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 1 | -0/+4 |
| | |||||
* | Experiments with hashing. | Alan Mishchenko | 2017-04-08 | 1 | -0/+8 |
| | |||||
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-26 | 1 | -0/+4 |
| | |||||
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-23 | 1 | -1/+1 |
| | |||||
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-22 | 1 | -4/+16 |
| | |||||
* | Merged in ysho/abc (pull request #69) | Alan Mishchenko | 2017-03-20 | 1 | -0/+4 |
|\ | | | | | | | Improvements to %pdra | ||||
| * | %pdra: working on bmc3 | Yen-Sheng Ho | 2017-03-19 | 1 | -0/+4 |
| | | |||||
* | | Experiments with new network data-structure. | Alan Mishchenko | 2017-03-19 | 1 | -0/+40 |
|/ | |||||
* | Synthesis for mesh of LUTs. | Alan Mishchenko | 2017-03-17 | 1 | -0/+4 |
| | |||||
* | Synthesis for mesh of LUTs. | Alan Mishchenko | 2017-03-17 | 1 | -0/+4 |
| | |||||
* | New word-level transformation. | Alan Mishchenko | 2017-03-17 | 1 | -0/+4 |
| | |||||
* | Improvements to ternary simulation. | Alan Mishchenko | 2017-03-09 | 1 | -0/+4 |
| | |||||
* | Improvements to ternary simulation. | Alan Mishchenko | 2017-03-09 | 1 | -0/+4 |
| | |||||
* | Clone of the main SAT solver to eneable independent work. | Alan Mishchenko | 2017-03-03 | 1 | -0/+8 |
| | |||||
* | Moving global declarations into 'abcapi.h' and moving it into 'main' package. | Alan Mishchenko | 2017-03-02 | 1 | -0/+4 |
| | |||||
* | Adding experimental command. | Alan Mishchenko | 2017-03-02 | 1 | -0/+4 |
| | |||||
* | Changes to Visual Studio project file to support 'pdra'. | Alan Mishchenko | 2017-02-21 | 1 | -0/+4 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 1 | -0/+4 |
| | |||||
* | Word-level abstraction engine. | Alan Mishchenko | 2017-02-15 | 1 | -0/+4 |
| | |||||
* | Movinng custom floating-point implementations, etc. | Alan Mishchenko | 2017-02-11 | 1 | -12/+12 |
| | |||||
* | Changes to compile on Windows. | Alan Mishchenko | 2017-02-10 | 1 | -0/+4 |
| | |||||
* | Word-level abstraction. | Alan Mishchenko | 2017-02-09 | 1 | -0/+8 |
| | |||||
* | Autotuner for 'satoko'. | Alan Mishchenko | 2017-02-08 | 1 | -0/+4 |
| | |||||
* | New command &satoko. | Alan Mishchenko | 2017-02-08 | 1 | -0/+4 |
| | |||||
* | Small changes to compile satoko on Windows. | Alan Mishchenko | 2017-02-06 | 1 | -0/+84 |
| | |||||
* | Enabling new X-valued simulation in 'pdr'. | Alan Mishchenko | 2017-02-03 | 1 | -0/+4 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-30 | 1 | -0/+4 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-28 | 1 | -0/+8 |
| | |||||
* | Adding visualization of word-level networks Wlc_Ntk_t. | Alan Mishchenko | 2017-01-26 | 1 | -0/+4 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-12 | 1 | -0/+4 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-11 | 1 | -0/+4 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-10 | 1 | -0/+4 |
| | |||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -0/+4 |
| | |||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 1 | -0/+4 |
| | |||||
* | Updates to delay optimization project. | Alan Mishchenko | 2016-12-27 | 1 | -0/+4 |
| | |||||
* | Updates to delay optimization project. | Alan Mishchenko | 2016-12-25 | 1 | -0/+4 |
| | |||||
* | Several changes in arithmetic circuit manipulation. | Alan Mishchenko | 2016-12-22 | 1 | -0/+4 |
| | |||||
* | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. | Alan Mishchenko | 2016-12-13 | 1 | -0/+48 |
| | |||||
* | Adding support for minimalistic representation of LUT mapping. | Alan Mishchenko | 2016-12-05 | 1 | -0/+4 |
| | |||||
* | Changes to arithmetic logic detection. | Alan Mishchenko | 2016-12-02 | 1 | -0/+12 |
| | |||||
* | New command to profile arithmetic logic cones. | Alan Mishchenko | 2016-11-26 | 1 | -0/+4 |
| | |||||
* | New SAT-based optimization package. | Alan Mishchenko | 2016-11-17 | 1 | -0/+32 |
| | |||||
* | Fixed several compiler warnings. | Alan Mishchenko | 2016-11-17 | 1 | -0/+12 |
| | |||||
* | Isolating CBA types into a separate header. | Alan Mishchenko | 2016-11-07 | 1 | -0/+4 |
| | |||||
* | Parser for JSON format. | Alan Mishchenko | 2016-10-25 | 1 | -0/+8 |
| |