Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Infrastructure for using the results of exact SAT-based synthesis during ↵ | Alan Mishchenko | 2016-07-29 | 8 | -31/+106 |
| | | | | mapping. | ||||
* | Merged in boschmitt/abc (pull request #31) | Alan Mishchenko | 2016-07-28 | 1 | -10/+31 |
|\ | | | | | | | Make FX able to handle SCC | ||||
| * | Merged alanmi/abc into default | Bruno Schmitt | 2016-07-27 | 2 | -17/+68 |
| |\ | |||||
| * | | Make FX able to handle SCC and remove its SOP preprocessing. | Bruno Schmitt | 2016-07-27 | 1 | -10/+31 |
| | | | | | | | | | | | | Some other small changes. | ||||
* | | | Several updates to exact synthesis. | Mathias Soeken | 2016-07-28 | 3 | -76/+459 |
| | | | |||||
* | | | The same bug fix in 'scorr -c' (signal correspondence with constraints). | Alan Mishchenko | 2016-07-28 | 1 | -2/+4 |
| | | | |||||
* | | | Serious bug fix in 'scorr -F <num>' with <num> > 1. | Alan Mishchenko | 2016-07-28 | 3 | -8/+38 |
| |/ |/| | |||||
* | | Extending command 'dump_equv' to match inputs by name. | Alan Mishchenko | 2016-07-27 | 1 | -1/+1 |
| | | |||||
* | | Extending command 'dump_equv' to match inputs by name. | Alan Mishchenko | 2016-07-27 | 2 | -17/+68 |
|/ | |||||
* | Make fx able to handle degenerate divisors: | Bruno Schmitt | 2016-07-26 | 1 | -93/+59 |
| | | | | | | | - Constant-1 (a + !a) - Divisors "a + !ab" and "a!b + b" are equal to "a + b" Change the way divisors are printed. Removal of dead code from fx. | ||||
* | Extending command 'exact' to handle delay constraints. | Alan Mishchenko | 2016-07-23 | 3 | -42/+143 |
| | |||||
* | Bug fix in 'dump_equiv'. | Alan Mishchenko | 2016-07-22 | 1 | -3/+44 |
| | |||||
* | Adding new command 'dump_equiv'. | Alan Mishchenko | 2016-07-21 | 1 | -2/+6 |
| | |||||
* | Adding new command 'dump_equiv'. | Alan Mishchenko | 2016-07-21 | 12 | -13/+514 |
| | |||||
* | Fix in reading initial state for edge-detection. | Alan Mishchenko | 2016-07-20 | 1 | -4/+36 |
| | |||||
* | Extension in the detection code. | Alan Mishchenko | 2016-07-19 | 4 | -6/+15 |
| | |||||
* | Fix in reading initial state for edge-detection. | Alan Mishchenko | 2016-07-19 | 1 | -0/+2 |
| | |||||
* | Tuning &blut implementation. | Alan Mishchenko | 2016-07-18 | 1 | -8/+9 |
| | |||||
* | Adding output range support to %blast. | Alan Mishchenko | 2016-07-18 | 5 | -8/+40 |
| | |||||
* | Adding command 'exact' developed by Mathias Soeken to implement Knuth's ↵ | Alan Mishchenko | 2016-07-16 | 4 | -0/+649 |
| | | | | exact synthesis algorithm. | ||||
* | Several corner-case bugs in %read, &cec, and st. | Alan Mishchenko | 2016-07-16 | 3 | -6/+16 |
| | |||||
* | Fixes and adjustments for the edge computation flow. | Alan Mishchenko | 2016-07-15 | 2 | -2/+3 |
| | |||||
* | Small fixes and improvements in reporting node counts. | Alan Mishchenko | 2016-07-15 | 6 | -19/+51 |
| | |||||
* | Adding a debug way to print cuts used in the CNF-generator. | Alan Mishchenko | 2016-07-13 | 1 | -0/+9 |
| | |||||
* | Removing verbose output in &cec and &syn4. | Alan Mishchenko | 2016-07-13 | 2 | -3/+3 |
| | |||||
* | Bug-fix in SMT-LIB parser (incorrect handling of arithmetic right-shift). | Alan Mishchenko | 2016-07-12 | 2 | -8/+18 |
| | |||||
* | Small change to make &if not abort the scripts. | Alan Mishchenko | 2016-07-04 | 1 | -1/+1 |
| | |||||
* | Bit-blasting Booth multipliers. | Alan Mishchenko | 2016-07-04 | 1 | -4/+79 |
| | |||||
* | Experiments with edge-based mapping (bug fix). | Alan Mishchenko | 2016-07-02 | 1 | -6/+18 |
| | |||||
* | Bug fix in blasting shifters with large bit-width. | Alan Mishchenko | 2016-06-29 | 1 | -1/+1 |
| | |||||
* | Bug fix in blasting shifters with large bit-width. | Alan Mishchenko | 2016-06-29 | 1 | -9/+15 |
| | |||||
* | Experiments with edge-based mapping. | Alan Mishchenko | 2016-06-29 | 3 | -35/+198 |
| | |||||
* | Bug fix in blasting shifters with large bit-width. | Alan Mishchenko | 2016-06-28 | 1 | -2/+2 |
| | |||||
* | New multi-output PLA reader and preprocessor (read_plamo) (updated dist-1 ↵ | Alan Mishchenko | 2016-06-17 | 1 | -2/+54 |
| | | | | merge). | ||||
* | Complier fix. | Alan Mishchenko | 2016-06-17 | 1 | -2/+2 |
| | |||||
* | Merged in boschmitt/abc (pull request #28) | Alan Mishchenko | 2016-06-17 | 4 | -128/+189 |
|\ | | | | | | | Handling D1C and SCC in FXCH | ||||
| * | Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment ↵ | Bruno Schmitt | 2016-06-17 | 4 | -128/+189 |
| | | | | | | | | | | | | | | (SCC) as by product of extraction. D1C: Whenever they appear a constant divisor (x! + x) will be created and handle as any other divisor. SCC: Will be taken care of as soon as they appear. | ||||
* | | New command 'phase_map'. | Alan Mishchenko | 2016-06-17 | 2 | -1/+56 |
| | | |||||
* | | Experiments with edge-based mapping. | Alan Mishchenko | 2016-06-17 | 1 | -71/+74 |
|/ | |||||
* | New multi-output PLA reader and preprocessor (read_plamo) (added dist-1 merge). | Alan Mishchenko | 2016-06-16 | 2 | -83/+355 |
| | |||||
* | Change to BENCH reader to read DFF with four inputs. | Alan Mishchenko | 2016-06-16 | 1 | -7/+30 |
| | |||||
* | Adding a switch 'retime -o' to use old flop naming conventions. | Alan Mishchenko | 2016-06-16 | 5 | -35/+59 |
| | |||||
* | New multi-output PLA reader and preprocessor (read_plamo). | Alan Mishchenko | 2016-06-16 | 3 | -0/+491 |
| | |||||
* | Experiments with edge-based mapping. | Alan Mishchenko | 2016-06-15 | 5 | -8/+898 |
| | |||||
* | Adding switch -P <num> to command 'cover'. | Alan Mishchenko | 2016-06-14 | 4 | -12/+26 |
| | |||||
* | Detecting properties of internal nodes. | Alan Mishchenko | 2016-06-14 | 3 | -186/+15 |
| | |||||
* | Detecting properties of internal nodes. | Alan Mishchenko | 2016-06-12 | 4 | -0/+267 |
| | |||||
* | Support bit-blasting of shifts with more than 32 bits (fix). | Alan Mishchenko | 2016-06-08 | 1 | -2/+2 |
| | |||||
* | Support bit-blasting of shifts with more than 32 bits. | Alan Mishchenko | 2016-06-07 | 1 | -6/+30 |
| | |||||
* | Changes to Wlc to accommodate signed signals in SMT-LIB. | Alan Mishchenko | 2016-06-07 | 2 | -7/+9 |
| |