| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Added SAT support for -all/-max with -verify | Clifford Wolf | 2013-06-23 | 1 | -6/+11 |
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2013-06-20 | 1 | -2/+28 |
| |\ |
|
| | * | Added renaming of wires and cells to "rename" command | Clifford Wolf | 2013-06-19 | 1 | -2/+28 |
| * | | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 1 | -5/+62 |
| |/ |
|
| * | Added "eval" pass | Clifford Wolf | 2013-06-19 | 3 | -187/+228 |
| * | Added splitnets command | Clifford Wolf | 2013-06-18 | 2 | -0/+110 |
| * | Added support for "assign" statements in abc vlparse | Clifford Wolf | 2013-06-15 | 2 | -2/+39 |
| * | Fixed even more ConstEval bugs found using xsthammer | Clifford Wolf | 2013-06-14 | 1 | -2/+1 |
| * | Added consteval testing to xsthammer and fixed bugs | Clifford Wolf | 2013-06-13 | 1 | -0/+97 |
| * | More xsthammer improvements (using xst 14.5 now) | Clifford Wolf | 2013-06-13 | 1 | -1/+1 |
| * | Added "scatter" command | Clifford Wolf | 2013-06-12 | 2 | -0/+73 |
| * | Renamed yosys-show temp files to be dot-files in the users home directory | Clifford Wolf | 2013-06-12 | 1 | -3/+3 |
| * | Improvements and fixes in SAT code | Clifford Wolf | 2013-06-10 | 1 | -4/+14 |
| * | Added "rename" command | Clifford Wolf | 2013-06-10 | 2 | -0/+95 |
| * | Renamed "sat_solve" pass to "sat" | Clifford Wolf | 2013-06-09 | 3 | -13/+13 |
| * | Implemented temporal induction proofs in sat_solve | Clifford Wolf | 2013-06-09 | 2 | -37/+178 |
| * | Added support for non-temporal proofs to sat_solve | Clifford Wolf | 2013-06-09 | 2 | -26/+127 |
| * | Re-organization in sat_solver pass for temporal induction | Clifford Wolf | 2013-06-09 | 1 | -251/+296 |
| * | Added ezSAT api support for don't care values in models | Clifford Wolf | 2013-06-09 | 1 | -1/+4 |
| * | Fixed handling of $_XOR_ in SAT generator | Clifford Wolf | 2013-06-09 | 1 | -1/+3 |
| * | Added sequential solving support to sat_solve | Clifford Wolf | 2013-06-09 | 2 | -57/+208 |
| * | Look for yosys-abc and yosys-svgviewer where the main exe is | Clifford Wolf | 2013-06-09 | 2 | -2/+2 |
| * | Added "make abc" and "make install-abc" | Clifford Wolf | 2013-06-08 | 1 | -3/+4 |
| * | Moved cmds from kernel/ to passes/cmds/ | Clifford Wolf | 2013-06-08 | 3 | -0/+1739 |
| * | Fixed typo is sat_solve help msg | Clifford Wolf | 2013-06-08 | 1 | -1/+1 |
| * | Added support for shifter cells to SAT generator | Clifford Wolf | 2013-06-08 | 2 | -3/+17 |
| * | Various improvements in sat_solve pass and SAT generator | Clifford Wolf | 2013-06-08 | 3 | -10/+74 |
| * | Added -all and -max options to sat_solve | Clifford Wolf | 2013-06-08 | 1 | -0/+31 |
| * | Improved auto-detection of -show signals in sat_solve | Clifford Wolf | 2013-06-08 | 2 | -29/+72 |
| * | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 2 | -4/+4 |
| * | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 4 | -0/+259 |
| * | Renamed opt_rmunused to opt_clean | Clifford Wolf | 2013-06-05 | 7 | -17/+17 |
| * | Fixed techmap/flatten for positional module arguments | Clifford Wolf | 2013-05-26 | 1 | -8/+20 |
| * | Improved log messages generated by hierarchy pass | Clifford Wolf | 2013-05-26 | 1 | -5/+17 |
| * | Added -nodetect option to fsm pass | Clifford Wolf | 2013-05-24 | 1 | -2/+8 |
| * | Improved FSM one-hot encoding, added binary encoding | Clifford Wolf | 2013-05-24 | 3 | -44/+85 |
| * | Added log_abort() api | Clifford Wolf | 2013-05-24 | 1 | -1/+1 |
| * | Fixed a gcc vs. clang determinism problem in abc pass | Clifford Wolf | 2013-05-23 | 1 | -4/+11 |
| * | Fixed memory corruption bug in opt_rmunused | Clifford Wolf | 2013-05-23 | 1 | -7/+14 |
| * | Added missing newline to some error messages | Clifford Wolf | 2013-05-23 | 1 | -2/+2 |
| * | Some improvements in opt_rmdff | Clifford Wolf | 2013-05-23 | 1 | -2/+33 |
| * | Fixed to aggressive x-folding in opt_const | Clifford Wolf | 2013-05-17 | 1 | -8/+21 |
| * | Added support for const cell inputs in techmap | Clifford Wolf | 2013-04-27 | 1 | -6/+28 |
| * | Added "flatten" pass | Clifford Wolf | 2013-04-26 | 1 | -1/+41 |
| * | Fixed hierarchy pass for hierarchies of parametric modules | Clifford Wolf | 2013-04-26 | 1 | -0/+1 |
| * | Added "submod -name ..." support | Clifford Wolf | 2013-04-15 | 1 | -40/+96 |
| * | Fixed a bug in opt_const when optimizing 1-bit compares with constants | Clifford Wolf | 2013-04-13 | 1 | -2/+4 |
| * | fsm_export: optionally use binary state encoding as state names instead of | Johann Glaser | 2013-04-05 | 1 | -6/+23 |
| * | fsm_export: specify KISS filename on command line | Johann Glaser | 2013-04-05 | 1 | -5/+20 |
| * | Improved opt_share for reduce cells | Clifford Wolf | 2013-03-29 | 1 | -0/+20 |
