| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | techmap code cleanup | Clifford Wolf | 2015-04-09 | 1 | -10/+6 |
| | | |||||
| * | Added support for "file names with blanks" | Clifford Wolf | 2015-04-08 | 4 | -27/+19 |
| | | |||||
| * | Removed "techmap -share_map" (use "-map +/filename" instead) | Clifford Wolf | 2015-04-08 | 1 | -9/+0 |
| | | |||||
| * | Added %M and %C select operators | Clifford Wolf | 2015-04-07 | 1 | -1/+38 |
| | | |||||
| * | Added "pmuxtree" command | Clifford Wolf | 2015-04-07 | 2 | -0/+113 |
| | | |||||
| * | Added "chparam -list" | Clifford Wolf | 2015-04-07 | 1 | -0/+21 |
| | | |||||
| * | Added decoder generation to "muxcover" | Clifford Wolf | 2015-04-07 | 1 | -13/+104 |
| | | |||||
| * | Added "muxcover" command | Clifford Wolf | 2015-04-07 | 2 | -0/+542 |
| | | |||||
| * | typo fix | Clifford Wolf | 2015-04-07 | 1 | -1/+1 |
| | | |||||
| * | Added "chparam" command | Clifford Wolf | 2015-04-07 | 1 | -0/+57 |
| | | |||||
| * | Added support for initialized brams | Clifford Wolf | 2015-04-06 | 1 | -8/+35 |
| | | |||||
| * | Avoid parameter values with size 0 ($mem cells) | Clifford Wolf | 2015-04-05 | 2 | -6/+11 |
| | | |||||
| * | Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types | Clifford Wolf | 2015-04-05 | 1 | -0/+88 |
| | | |||||
| * | Added "dffinit", Support for initialized Xilinx DFF | Clifford Wolf | 2015-04-04 | 4 | -3/+125 |
| | | |||||
| * | documentation improvements | Clifford Wolf | 2015-03-29 | 2 | -1/+5 |
| | | |||||
| * | Fixed detection of absolute paths in ABC for win32 | Clifford Wolf | 2015-03-22 | 1 | -3/+3 |
| | | |||||
| * | Fixed handling of quotes in liberty parser | Clifford Wolf | 2015-03-18 | 1 | -2/+2 |
| | | |||||
| * | Added hierarchy -auto-top | Clifford Wolf | 2015-03-18 | 1 | -1/+33 |
| | | |||||
| * | Fixed bug in "hierarchy" for parametric designs | Clifford Wolf | 2015-03-04 | 1 | -20/+19 |
| | | |||||
| * | Added non-std verilog assume() statement | Clifford Wolf | 2015-02-26 | 2 | -12/+30 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-02-25 | 1 | -14/+51 |
| |\ | |||||
| | * | Added "keep_hierarchy" attribute | Clifford Wolf | 2015-02-25 | 1 | -14/+51 |
| | | | |||||
| * | | Bugfix in iopadmap | Clifford Wolf | 2015-02-25 | 1 | -10/+3 |
| |/ | |||||
| * | Some cleanups in "clean" | Clifford Wolf | 2015-02-24 | 2 | -7/+18 |
| | | |||||
| * | Fixed compilation problems with gcc 4.6.3; use enum instead of const ints. | Clifford Wolf | 2015-02-24 | 1 | -2/+4 |
| | | | | | (original patch by Andrew Becker <andrew.becker@epfl.ch>) | ||||
| * | Fixed "check -assert" | Clifford Wolf | 2015-02-22 | 1 | -1/+1 |
| | | |||||
| * | Added "check -assert" doc | Clifford Wolf | 2015-02-22 | 1 | -0/+3 |
| | | |||||
| * | Added "check -assert" | Clifford Wolf | 2015-02-22 | 1 | -0/+8 |
| | | |||||
| * | Fixed "sat -initsteps" off-by-one bug | Clifford Wolf | 2015-02-22 | 1 | -1/+1 |
| | | |||||
| * | Added "sat -stepsize" and "sat -tempinduct-step" | Clifford Wolf | 2015-02-21 | 1 | -21/+64 |
| | | |||||
| * | sat docu change | Clifford Wolf | 2015-02-21 | 1 | -0/+3 |
| | | |||||
| * | When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing. | Clifford Wolf | 2015-02-21 | 1 | -0/+5 |
| | | |||||
| * | Added "sat -tempinduct-baseonly -tempinduct-inductonly" | Clifford Wolf | 2015-02-21 | 1 | -66/+92 |
| | | |||||
| * | Fixed basecase init for "sat -tempinduct" | Clifford Wolf | 2015-02-21 | 1 | -1/+6 |
| | | |||||
| * | Fixed "flatten" for non-pre-derived modules | Clifford Wolf | 2015-02-21 | 1 | -2/+2 |
| | | |||||
| * | Replaced ezDefaultSAT with ezSatPtr | Clifford Wolf | 2015-02-21 | 9 | -138/+140 |
| | | |||||
| * | Catch constants assigned to cell outputs in "flatten" | Clifford Wolf | 2015-02-21 | 1 | -0/+6 |
| | | |||||
| * | format fixes in "sat -dump_json" | Clifford Wolf | 2015-02-19 | 1 | -18/+17 |
| | | |||||
| * | Added "sat -dump_json" (WaveJSON format) | Clifford Wolf | 2015-02-19 | 1 | -4/+92 |
| | | |||||
| * | Changed "show" defaults for Win32 | Clifford Wolf | 2015-02-19 | 1 | -1/+4 |
| | | |||||
| * | Fixed clang (svn trunk) warnings | Clifford Wolf | 2015-02-18 | 1 | -2/+0 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-02-18 | 1 | -1/+1 |
| |\ | |||||
| | * | wreduce help typo fix | Clifford Wolf | 2015-02-17 | 1 | -1/+1 |
| | | | |||||
| * | | Added "select %xe %cie %coe" | Clifford Wolf | 2015-02-18 | 1 | -7/+28 |
| |/ | |||||
| * | Bugfix in wreduce | Clifford Wolf | 2015-02-16 | 1 | -7/+14 |
| | | |||||
| * | Added Viz to yosys.js | Clifford Wolf | 2015-02-15 | 1 | -1/+6 |
| | | |||||
| * | Added "check -noinit" | Clifford Wolf | 2015-02-15 | 1 | -3/+19 |
| | | |||||
| * | Cosmetic fixes in "hierarchy" for blackbox modules | Clifford Wolf | 2015-02-15 | 1 | -2/+4 |
| | | |||||
| * | More emscripten stuff, Added example app | Clifford Wolf | 2015-02-15 | 1 | -0/+2 |
| | | |||||
| * | Fixed "stat" handling of blackbox modules | Clifford Wolf | 2015-02-14 | 1 | -9/+6 |
| | | |||||
