| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | |
| |/ | ||||||
| * | Saturating floating point computation. | Alan Mishchenko | 2017-07-01 | 1 | -1/+1 | |
| | | ||||||
| * | Temp changes | Alan Mishchenko | 2017-06-15 | 1 | -1/+8 | |
| | | ||||||
| * | merge | Yen-Sheng Ho | 2017-06-06 | 16 | -55/+728 | |
| |\ | ||||||
| | * | Bug fix in SMT handling: 'distinct' with more than two inputs. | Alan Mishchenko | 2017-06-05 | 2 | -1/+26 | |
| | | | ||||||
| | * | Several new procedures for GIA manipulation. | Alan Mishchenko | 2017-06-01 | 2 | -1/+78 | |
| | | | ||||||
| | * | Small change to gate names. | Alan Mishchenko | 2017-05-16 | 1 | -1/+1 | |
| | | | ||||||
| | * | Adding switch %blast -d to dump dual-output miter after blasting. | Alan Mishchenko | 2017-04-29 | 8 | -43/+100 | |
| | | | ||||||
| | * | Two small fixes. | Alan Mishchenko | 2017-04-24 | 1 | -1/+1 | |
| | | | ||||||
| | * | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-23 | 2 | -2/+23 | |
| | | | ||||||
| | * | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 1 | -4/+4 | |
| | | | ||||||
| | * | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 3 | -49/+326 | |
| | | | ||||||
| | * | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 1 | -0/+124 | |
| | | | ||||||
| | * | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 3 | -0/+92 | |
| | | | ||||||
| * | | %pdra: fixed a bug | Yen-Sheng Ho | 2017-06-06 | 1 | -2/+2 | |
| | | | ||||||
| * | | %pdra: added an option for disabling incremental solving | Yen-Sheng Ho | 2017-04-16 | 4 | -3/+10 | |
| |/ | ||||||
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2017-04-11 | 1 | -3/+7 | |
| | | ||||||
| * | merge | Yen-Sheng Ho | 2017-04-10 | 7 | -23/+109 | |
| |\ | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |