Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -0/+4 |
| | |||||
* | Procedure to return seq equivalences. | Alan Mishchenko | 2018-07-22 | 1 | -0/+4 |
| | |||||
* | Adding command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -0/+4 |
| | |||||
* | Experiments with path enumeration. | Alan Mishchenko | 2018-06-06 | 1 | -0/+4 |
| | |||||
* | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -0/+4 |
| | |||||
* | Memory abstraction. | Alan Mishchenko | 2018-04-15 | 1 | -0/+4 |
| | |||||
* | Adding switch 'scorr -f' to dump inductive invariant as an AIG. | Alan Mishchenko | 2018-03-22 | 1 | -4/+0 |
| | |||||
* | Adding parameters and improvements to %blast. | Alan Mishchenko | 2018-02-28 | 1 | -0/+12 |
| | |||||
* | Adding support of reading and writing designs using a new internal format. | Alan Mishchenko | 2018-01-28 | 1 | -0/+4 |
| | |||||
* | Experiments with circuit-based SAT. | Alan Mishchenko | 2018-01-27 | 1 | -0/+4 |
| | |||||
* | New exact synthesis command 'allexact'. | Alan Mishchenko | 2017-12-28 | 1 | -0/+4 |
| | |||||
* | Improvements to AIG-based quantification. | Alan Mishchenko | 2017-11-26 | 1 | -0/+4 |
| | |||||
* | Profiling quantification and other changes. | Alan Mishchenko | 2017-11-06 | 1 | -0/+4 |
| | |||||
* | Adding API to dump MiniAIG into a Verilog file and other small changes. | Alan Mishchenko | 2017-10-22 | 1 | -0/+4 |
| | |||||
* | Integrating old SAT solver into majexact and twoexact. | Alan Mishchenko | 2017-10-19 | 1 | -0/+4 |
| | |||||
* | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -0/+4 |
| | |||||
* | Uncommenting handling of initial values of the flops. | Alan Mishchenko | 2017-09-19 | 1 | -0/+4 |
| | |||||
* | Experiment with mapping. | Alan Mishchenko | 2017-09-15 | 1 | -0/+4 |
| | |||||
* | 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 |
| |