| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added $assume cell type | Clifford Wolf | 2015-02-26 | 5 | -2/+57 |
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-02-25 | 2 | -14/+54 |
| |\ | |||||
| | * | Added "keep_hierarchy" attribute | Clifford Wolf | 2015-02-25 | 2 | -14/+54 |
| * | | Bugfix in iopadmap | Clifford Wolf | 2015-02-25 | 1 | -10/+3 |
| |/ | |||||
| * | Some cleanups in "clean" | Clifford Wolf | 2015-02-24 | 3 | -7/+26 |
| * | Fixed compilation problems with gcc 4.6.3; use enum instead of const ints. | Clifford Wolf | 2015-02-24 | 1 | -2/+4 |
| * | Minor "write_smt2" help msg change | Clifford Wolf | 2015-02-22 | 1 | -1/+1 |
| * | Fixed "check -assert" | Clifford Wolf | 2015-02-22 | 1 | -1/+1 |
| * | Added "<mod>_a" and "<mod>_i" to write_smt2 output | Clifford Wolf | 2015-02-22 | 1 | -23/+149 |
| * | 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 |
| * | Hotfix for yosysjs/demo03.html | Clifford Wolf | 2015-02-21 | 1 | -4/+4 |
| * | YosysJS: Wait for Viz to load | Clifford Wolf | 2015-02-21 | 2 | -16/+33 |
| * | Replaced ezDefaultSAT with ezSatPtr | Clifford Wolf | 2015-02-21 | 12 | -139/+186 |
| * | Catch constants assigned to cell outputs in "flatten" | Clifford Wolf | 2015-02-21 | 1 | -0/+6 |
| * | Added deep recursion warning to AST simplify | Clifford Wolf | 2015-02-20 | 1 | -1/+7 |
| * | Parser support for complex delay expressions | Clifford Wolf | 2015-02-20 | 2 | -8/+21 |
| * | YosysJS firefox fixes | Clifford Wolf | 2015-02-19 | 2 | -5/+5 |
| * | YosysJS stuff | Clifford Wolf | 2015-02-19 | 7 | -16/+156 |
| * | 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 |
| * | Convert floating point cell parameters to strings | Clifford Wolf | 2015-02-18 | 1 | -9/+12 |
| * | Fixed clang (svn trunk) warnings | Clifford Wolf | 2015-02-18 | 2 | -4/+2 |
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-02-18 | 2 | -1/+36 |
| |\ | |||||
| | * | wreduce help typo fix | Clifford Wolf | 2015-02-17 | 1 | -1/+1 |
| | * | CodingReadme | Clifford Wolf | 2015-02-17 | 1 | -0/+35 |
| * | | Added "select %xe %cie %coe" | Clifford Wolf | 2015-02-18 | 1 | -7/+28 |
| |/ | |||||
| * | YosysJS fixes for firefox | Clifford Wolf | 2015-02-16 | 2 | -23/+41 |
| * | More YosysJS stuff | Clifford Wolf | 2015-02-16 | 5 | -105/+83 |
| * | Added YosysJS wrapper | Clifford Wolf | 2015-02-16 | 6 | -5/+273 |
| * | Bugfix in wreduce | Clifford Wolf | 2015-02-16 | 1 | -7/+14 |
| * | More yosys.js improvements | Clifford Wolf | 2015-02-16 | 1 | -4/+29 |
| * | Added Viz to yosys.js | Clifford Wolf | 2015-02-15 | 4 | -8/+87 |
| * | Added yosys.js FS support | Clifford Wolf | 2015-02-15 | 1 | -2/+61 |
| * | More emcc stuff | Clifford Wolf | 2015-02-15 | 3 | -17/+39 |
| * | Improved yosys.js example | Clifford Wolf | 2015-02-15 | 1 | -60/+72 |
| * | Added "stat" to "synth" and "synth_xilinx" | Clifford Wolf | 2015-02-15 | 2 | -0/+4 |
| * | Added final checks to "synth" and "synth_xilinx" | Clifford Wolf | 2015-02-15 | 2 | -7/+24 |
| * | 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 | 5 | -4/+99 |
| * | Fixed default EMCCFLAGS | Clifford Wolf | 2015-02-15 | 1 | -5/+8 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |