Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Detecting properties of internal nodes. | Alan Mishchenko | 2016-06-07 | 4 | -0/+230 |
| | |||||
* | Improvement to CNF encoding of cardinality constraints proposed by Mathias ↵ | Alan Mishchenko | 2016-06-07 | 1 | -0/+6 |
| | | | | Soaken. | ||||
* | Switch 'fx -x' to use only canonical divisors in 'fx'. | Alan Mishchenko | 2016-06-06 | 3 | -8/+19 |
| | |||||
* | New profiling features for word-level optimizations. | Alan Mishchenko | 2016-06-04 | 7 | -46/+149 |
| | |||||
* | Small changes for today's experiments. | Alan Mishchenko | 2016-06-03 | 6 | -9/+43 |
| | |||||
* | Small changes to compile on Windows. | Alan Mishchenko | 2016-06-03 | 1 | -5/+7 |
| | |||||
* | Merged alanmi/abc into default | Bruno Schmitt | 2016-06-02 | 2 | -1/+3 |
|\ | |||||
| * | Silencing several messages. | Alan Mishchenko | 2016-06-01 | 2 | -1/+3 |
| | | |||||
* | | Removing the memory saving mode, it is no longer necessary. | Bruno Schmitt | 2016-06-02 | 6 | -187/+20 |
| | | |||||
* | | Minimizing memory usage. The implementation was using twice as much memory ↵ | Bruno Schmitt | 2016-06-02 | 1 | -30/+30 |
|/ | | | | as necessary. | ||||
* | Adding switch 'pdr -o' to control using property output in induction. | Alan Mishchenko | 2016-05-25 | 4 | -2/+10 |
| | |||||
* | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-23 | 1 | -1/+1 |
| | |||||
* | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-23 | 6 | -27/+38 |
| | |||||
* | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-21 | 8 | -107/+164 |
| | |||||
* | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-20 | 6 | -83/+88 |
| | |||||
* | Enabling AIGs without structural hashing (&get -c to import logic network). | Alan Mishchenko | 2016-05-20 | 5 | -26/+36 |
| | |||||
* | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 2 | -2/+2 |
| | |||||
* | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 9 | -27/+41 |
| | |||||
* | Switch &miter -y to convert a two-word miter into a dual-output miter. | Alan Mishchenko | 2016-05-20 | 3 | -23/+55 |
| | |||||
* | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 14 | -42/+60 |
| | |||||
* | Merged in boschmitt/abc (pull request #26) | Alan Mishchenko | 2016-05-19 | 1 | -2/+2 |
|\ | | | | | | | Fix the problem of not identifying divisors when its originating cubes had only 2 literals. | ||||
| * | Merged alanmi/abc into default | Bruno Schmitt | 2016-05-19 | 16 | -61/+970 |
| |\ | |||||
| * | | Fix the problem of not identifying divisors when its originating cubes had ↵ | Bruno Schmitt | 2016-05-19 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | only 2 literals. With this change, 'empty' sub-cubes (sub-cubes with an ID equal to zero) are inserted in the 0th bin of the hash table. | ||||
* | | | Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. | Alan Mishchenko | 2016-05-19 | 6 | -6/+13 |
| | | | |||||
* | | | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-19 | 2 | -2/+372 |
| |/ |/| | |||||
* | | New feature for area minimization in standard cell mapping. | Alan Mishchenko | 2016-05-19 | 5 | -1/+396 |
| | | |||||
* | | fix end of line problem that prevents the cmake build system from working | Baruch Sterin | 2016-05-17 | 1 | -1/+1 |
| | | |||||
* | | Bug fix in &demiter. | Alan Mishchenko | 2016-05-16 | 2 | -17/+10 |
| | | |||||
* | | Factoring out library preprocessing code in &nf and putting it elsewhere. | Alan Mishchenko | 2016-05-16 | 5 | -34/+86 |
| | | |||||
* | | Added switch 'read_genlib -n' to anonymize Genlib library. | Alan Mishchenko | 2016-05-16 | 3 | -9/+139 |
| | | |||||
* | | Experiments with generating sat assignments. | Alan Mishchenko | 2016-05-15 | 1 | -1/+1 |
| | | |||||
* | | Experiments with generating sat assignments. | Alan Mishchenko | 2016-05-15 | 1 | -0/+1 |
| | | |||||
* | | Experiments with generating sat assignments. | Alan Mishchenko | 2016-05-15 | 2 | -4/+4 |
| | | |||||
* | | Experiments with generating sat assignments. | Alan Mishchenko | 2016-05-15 | 1 | -0/+142 |
| | | |||||
* | | Experiments with generating sat assignments. | Alan Mishchenko | 2016-05-14 | 2 | -0/+196 |
|/ | |||||
* | Adding switch -r to &dch to prevent combo-loops. | Alan Mishchenko | 2016-05-13 | 1 | -3/+7 |
| | |||||
* | New command 'expand' to expand SOPs against the offset. | Alan Mishchenko | 2016-05-12 | 4 | -1/+266 |
| | |||||
* | Adding 'read_pla -d' to read dc-set along with on-set (useful to derive offset). | Alan Mishchenko | 2016-05-12 | 4 | -15/+30 |
| | |||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 1 | -1/+1 |
| | |||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 2 | -3/+3 |
| | |||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 7 | -59/+113 |
| | |||||
* | Merged in boschmitt/abc/fxch_implementation (pull request #24) | Alan Mishchenko | 2016-05-11 | 11 | -39/+2080 |
|\ | | | | | | | Fast eXtract with Cube Hashing (FXCH) Implementation | ||||
| * | Add a new module which implements the fast extract with cube hashing (fxch) ↵ | Bruno Schmitt | 2016-05-11 | 11 | -39/+2080 |
| | | | | | | | | | | | | algorithm. Removes old partial implementation of this algorithm from the "pla" module. | ||||
| * | Created new branch fxch_implementation | Bruno Schmitt | 2016-05-11 | 0 | -0/+0 |
|/ | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-11 | 11 | -74/+169 |
| | |||||
* | Invalidate packing after mapping is updated. | Alan Mishchenko | 2016-05-09 | 1 | -0/+1 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-08 | 9 | -136/+447 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -1/+1 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 25 | -285/+1438 |
| | |||||
* | Small changes. | Alan Mishchenko | 2016-05-04 | 2 | -5/+3 |
| |