Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Changes to make GIA structural hashing use a dedicated array instead of ↵ | Alan Mishchenko | 2017-11-13 | 1 | -2/+2 | |
| | | | | pObj->Value. | |||||
* | Profiling quantification and other changes. | Alan Mishchenko | 2017-11-06 | 1 | -0/+61 | |
| | ||||||
* | Adding API to dump MiniAIG into a Verilog file and other small changes. | Alan Mishchenko | 2017-10-22 | 5 | -2/+10 | |
| | ||||||
* | Adding random search in exact synthesis. | Alan Mishchenko | 2017-10-20 | 1 | -6/+23 | |
| | ||||||
* | Integrating old SAT solver into majexact and twoexact. | Alan Mishchenko | 2017-10-19 | 1 | -11/+27 | |
| | ||||||
* | Integrating Glucose into &qbf. | Alan Mishchenko | 2017-10-17 | 1 | -6/+11 | |
| | ||||||
* | Fix the build. | Alan Mishchenko | 2017-10-11 | 1 | -1/+0 | |
| | ||||||
* | Another variation on exact synthesis. | Alan Mishchenko | 2017-10-11 | 1 | -1/+80 | |
| | ||||||
* | Improvements to SAT based SOP computation. | Alan Mishchenko | 2017-10-06 | 1 | -1/+3 | |
| | ||||||
* | Improvements to truth table manipulation. | Alan Mishchenko | 2017-10-05 | 1 | -2/+2 | |
| | ||||||
* | Fixing minimize_assuptions using Glucose. | Alan Mishchenko | 2017-10-02 | 1 | -0/+1 | |
| | ||||||
* | Adding printout of slack distribution for mapped networks. | Alan Mishchenko | 2017-10-02 | 1 | -3/+7 | |
| | ||||||
* | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -14/+18 | |
| | ||||||
* | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -0/+75 | |
| | ||||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-24 | 2 | -5/+10 | |
| | ||||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-20 | 1 | -11/+22 | |
| | ||||||
* | Uncommenting handling of initial values of the flops. | Alan Mishchenko | 2017-09-19 | 1 | -2/+2 | |
| | ||||||
* | Enabling Glucose in SAT sweeping: &fraig -g. | Alan Mishchenko | 2017-09-18 | 1 | -3/+10 | |
| | ||||||
* | Adding support for Dimacs input to &satoko. | Alan Mishchenko | 2017-09-16 | 1 | -6/+14 | |
| | ||||||
* | Experiment with mapping. | Alan Mishchenko | 2017-09-15 | 1 | -1/+80 | |
| | ||||||
* | Updates to &bmcs to help debugging. | Alan Mishchenko | 2017-09-12 | 1 | -2/+2 | |
| | ||||||
* | Adding switch '-c' to 'dsec' to disable internal netlist check. | Alan Mishchenko | 2017-09-09 | 3 | -20/+23 | |
| | ||||||
* | Disabling CNF simplification in &bmcs -g. | Alan Mishchenko | 2017-09-07 | 1 | -2/+2 | |
| | ||||||
* | Trying to enable CNF simplification in &bmcs -g. | Alan Mishchenko | 2017-09-07 | 1 | -2/+7 | |
| | ||||||
* | Integrating Glucose into bmc3 -g. | Alan Mishchenko | 2017-09-06 | 1 | -2/+6 | |
| | ||||||
* | Integrating Glucose into &bmcs -g. | Alan Mishchenko | 2017-09-06 | 1 | -5/+11 | |
| | ||||||
* | Compiler warning. | Alan Mishchenko | 2017-09-06 | 1 | -1/+1 | |
| | ||||||
* | Adding Glucose 3.0 as a separate package. | Alan Mishchenko | 2017-09-06 | 1 | -0/+4 | |
| | ||||||
* | Renaming command-line option '-s' to be '-q' in 'pdr'. | Alan Mishchenko | 2017-09-06 | 1 | -4/+4 | |
| | ||||||
* | Changes to 'pdr' to run with updated Satoko. | Alan Mishchenko | 2017-09-06 | 1 | -2/+2 | |
| | ||||||
* | Several small changes. | Alan Mishchenko | 2017-09-06 | 1 | -2/+2 | |
| | ||||||
* | Several small changes. | Alan Mishchenko | 2017-09-05 | 1 | -1/+1 | |
| | ||||||
* | 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 | |
| | |