| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Check whether exact network can be found. | Mathias Soeken | 2016-07-30 | 1 | -5/+11 | |
| | | | | ||||||
| * | | | Extract solution into intermediate format. | Mathias Soeken | 2016-07-30 | 1 | -173/+211 | |
| |/ / | ||||||
| * | | Infrastructure for using the results of exact SAT-based synthesis during ↵ | Alan Mishchenko | 2016-07-29 | 1 | -1/+3 | |
| | | | | | | | | | mapping. | |||||
| * | | Infrastructure for using the results of exact SAT-based synthesis during ↵ | Alan Mishchenko | 2016-07-29 | 1 | -5/+7 | |
| | | | | | | | | | mapping. | |||||
| * | | Compiler warnings. | Alan Mishchenko | 2016-07-29 | 1 | -3/+3 | |
| | | | ||||||
| * | | Infrastructure for using the results of exact SAT-based synthesis during ↵ | Alan Mishchenko | 2016-07-29 | 3 | -8/+64 | |
| | | | | | | | | | 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 | 2 | -75/+458 | |
| | |/ / |/| | | ||||||
| * | | | 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 | 2 | -41/+142 | |
| | | | ||||||
| * | | 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 | 3 | -1/+338 | |
| | | | ||||||
| * | | Extension in the detection code. | Alan Mishchenko | 2016-07-19 | 2 | -6/+10 | |
| | | | ||||||
| * | | Adding command 'exact' developed by Mathias Soeken to implement Knuth's ↵ | Alan Mishchenko | 2016-07-16 | 3 | -0/+647 | |
| | | | | | | | | | exact synthesis algorithm. | |||||
| * | | Small fixes and improvements in reporting node counts. | Alan Mishchenko | 2016-07-15 | 3 | -16/+27 | |
| | | | ||||||
| * | | Small change to make &if not abort the scripts. | Alan Mishchenko | 2016-07-04 | 1 | -1/+1 | |
| | | | ||||||
| * | | Experiments with edge-based mapping. | Alan Mishchenko | 2016-06-29 | 1 | -9/+25 | |
| |/ | ||||||
| * | New command 'phase_map'. | Alan Mishchenko | 2016-06-17 | 1 | -0/+55 | |
| | | ||||||
| * | Adding a switch 'retime -o' to use old flop naming conventions. | Alan Mishchenko | 2016-06-16 | 1 | -4/+10 | |
| | | ||||||
| * | Experiments with edge-based mapping. | Alan Mishchenko | 2016-06-15 | 1 | -3/+13 | |
| | | ||||||
| * | Adding switch -P <num> to command 'cover'. | Alan Mishchenko | 2016-06-14 | 1 | -6/+20 | |
| | | ||||||
| * | Detecting properties of internal nodes. | Alan Mishchenko | 2016-06-14 | 2 | -185/+14 | |
| | | ||||||
| * | Detecting properties of internal nodes. | Alan Mishchenko | 2016-06-12 | 1 | -0/+207 | |
| | | ||||||
| * | Detecting properties of internal nodes. | Alan Mishchenko | 2016-06-07 | 3 | -0/+226 | |
| | | ||||||
| * | Switch 'fx -x' to use only canonical divisors in 'fx'. | Alan Mishchenko | 2016-06-06 | 2 | -8/+18 | |
| | | ||||||
| * | New profiling features for word-level optimizations. | Alan Mishchenko | 2016-06-04 | 2 | -3/+59 | |
| | | ||||||
| * | Small changes for today's experiments. | Alan Mishchenko | 2016-06-03 | 1 | -0/+6 | |
| | | ||||||
| * | Merged alanmi/abc into default | Bruno Schmitt | 2016-06-02 | 1 | -0/+1 | |
| |\ | ||||||
| | * | Silencing several messages. | Alan Mishchenko | 2016-06-01 | 1 | -0/+1 | |
| | | | ||||||
| * | | Removing the memory saving mode, it is no longer necessary. | Bruno Schmitt | 2016-06-02 | 1 | -9/+3 | |
| |/ | ||||||
| * | Adding switch 'pdr -o' to control using property output in induction. | Alan Mishchenko | 2016-05-25 | 1 | -2/+6 | |
| | | ||||||
| * | Enabling AIGs without structural hashing (&get -c to import logic network). | Alan Mishchenko | 2016-05-20 | 1 | -5/+9 | |
| | | ||||||
| * | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 1 | -2/+2 | |
| | | ||||||
| * | Switch &miter -y to convert a two-word miter into a dual-output miter. | Alan Mishchenko | 2016-05-20 | 1 | -23/+23 | |
| | | ||||||
| * | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 2 | -11/+16 | |
| | | ||||||
| * | Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. | Alan Mishchenko | 2016-05-19 | 1 | -2/+6 | |
| | | ||||||
| * | Bug fix in &demiter. | Alan Mishchenko | 2016-05-16 | 1 | -1/+1 | |
| | | ||||||
| * | Experiments with generating sat assignments. | Alan Mishchenko | 2016-05-15 | 1 | -0/+1 | |
| | | ||||||
| * | 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 | 1 | -1/+87 | |
| | | ||||||
| * | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 2 | -8/+11 | |
| | | ||||||
| * | Add a new module which implements the fast extract with cube hashing (fxch) ↵ | Bruno Schmitt | 2016-05-11 | 1 | -0/+100 | |
| | | | | | | | algorithm. Removes old partial implementation of this algorithm from the "pla" module. | |||||
| * | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-11 | 1 | -6/+10 | |
| | | ||||||
| * | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-08 | 1 | -10/+24 | |
| | | ||||||
| * | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -6/+268 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |