Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | 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 | 1 | -4/+9 |
* | Maintenance and updates. | Alan Mishchenko | 2017-09-20 | 1 | -11/+22 |
* | 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 | 1 | -17/+21 |
* | 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 |
* | Renaming command-line option '-s' to be '-q' in 'pdr'. | Alan Mishchenko | 2017-09-06 | 1 | -4/+4 |
* | Several changes to various packages. | Alan Mishchenko | 2017-09-04 | 2 | -1/+29 |
* | Integrating Satoko into 'bmc' and 'bmc2'. | Alan Mishchenko | 2017-08-16 | 2 | -12/+24 |
* | 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 |
* | Experiments with BMC. | Alan Mishchenko | 2017-08-09 | 1 | -0/+106 |
* | New commands for backing up networks. | Alan Mishchenko | 2017-08-04 | 1 | -1/+196 |
* | Transforming miter by swapping sides. | Alan Mishchenko | 2017-07-23 | 1 | -10/+18 |
* | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 6 | -11/+11 |
* | Experiments with logic optimization. | Alan Mishchenko | 2017-07-21 | 1 | -0/+98 |
* | Adding new command line options for &verify and &synch2. | Alan Mishchenko | 2017-07-06 | 1 | -6/+14 |
* | Temp changes | Alan Mishchenko | 2017-06-15 | 1 | -1/+8 |
* | Several new procedures for GIA manipulation. | Alan Mishchenko | 2017-06-01 | 1 | -1/+1 |
* | Two small fixes. | Alan Mishchenko | 2017-04-24 | 1 | -1/+1 |
* | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-23 | 1 | -0/+1 |
* | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 1 | -0/+69 |
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-04-11 | 1 | -3/+7 |
* | Experiments with hashing. | Alan Mishchenko | 2017-04-08 | 1 | -0/+1 |
* | Adding stand-alone cut computation to GIA. | Alan Mishchenko | 2017-04-05 | 1 | -3/+3 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-04 | 1 | -2/+7 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-02 | 1 | -16/+16 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-31 | 1 | -0/+1 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-26 | 2 | -15/+15 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-26 | 1 | -0/+135 |
* | Experiments with new network data-structure. | Alan Mishchenko | 2017-03-19 | 1 | -0/+49 |
* | Code for structural unateness checking. | Alan Mishchenko | 2017-03-18 | 2 | -0/+57 |
* | Synthesis for mesh of LUTs. | Alan Mishchenko | 2017-03-17 | 1 | -3/+12 |
* | Synthesis for mesh of LUTs. | Alan Mishchenko | 2017-03-17 | 1 | -0/+102 |
* | Integration of new SAT sweeper. | Alan Mishchenko | 2017-03-11 | 1 | -4/+12 |