Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | |||||
* | | Synchronizing various data-structures. | Alan Mishchenko | 2017-07-04 | 2 | -0/+10 |
|/ |