| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| * | Various fixes for memories with offsets | Clifford Wolf | 2015-02-14 | 2 | -5/+17 |
| * | Added $meminit support to "memory" command | Clifford Wolf | 2015-02-14 | 3 | -30/+69 |
| * | Added $meminit cell type | Clifford Wolf | 2015-02-14 | 1 | -1/+1 |
| * | hotfix in "check" command | Clifford Wolf | 2015-02-13 | 1 | -1/+2 |
| * | Added "check" command | Clifford Wolf | 2015-02-13 | 2 | -0/+127 |
| * | Some test related fixes | Clifford Wolf | 2015-02-12 | 1 | -1/+1 |
| * | Added "proc_dlatch" | Clifford Wolf | 2015-02-12 | 3 | -1/+311 |
| * | Less aggressive "share" defaults | Clifford Wolf | 2015-02-10 | 1 | -4/+6 |
| * | Added "scc -expect <N> -nofeedback" | Clifford Wolf | 2015-02-10 | 1 | -7/+48 |
| * | Fixed iterator invalidation bug in "rename" command | Clifford Wolf | 2015-02-09 | 1 | -3/+4 |
| * | Fixed bug in "show -format .." | Clifford Wolf | 2015-02-08 | 1 | -1/+1 |
| * | Fixed eval_select_op() api | Clifford Wolf | 2015-02-08 | 1 | -1/+1 |
| * | Added eval_select_args() and eval_select_op() | Clifford Wolf | 2015-02-08 | 1 | -4/+27 |
| * | Added equiv_add | Clifford Wolf | 2015-02-08 | 2 | -0/+90 |
| * | Added "select -read" | Clifford Wolf | 2015-02-06 | 1 | -5/+39 |
| * | Added onehot attribute | Clifford Wolf | 2015-02-04 | 2 | -0/+16 |
| * | Fixed opt_clean performance bug | Clifford Wolf | 2015-02-04 | 1 | -26/+26 |
| * | Using design->selected_modules() in opt_* | Clifford Wolf | 2015-02-03 | 5 | -36/+20 |
| * | Merge pull request #48 from rubund/master | Clifford Wolf | 2015-02-01 | 2 | -3/+3 |
| |\ | |||||
| | * | Fixed typos found by lintian | Ruben Undheim | 2015-02-01 | 2 | -3/+3 |
| * | | Improved performance in equiv_simple | Clifford Wolf | 2015-02-01 | 1 | -23/+72 |
| |/ | |||||
| * | Using selections in "ls" command | Clifford Wolf | 2015-02-01 | 1 | -34/+30 |
| * | Bugfix in opt_const $eq -> buffer code | Clifford Wolf | 2015-01-31 | 1 | -4/+4 |
| * | Fixed equiv_make for partially undriven nets (e.g. after "clean -purge") | Clifford Wolf | 2015-01-31 | 1 | -12/+31 |
| * | Added "equiv_induct -undef" | Clifford Wolf | 2015-01-31 | 1 | -5/+50 |
| * | Added "equiv_simple -undef" | Clifford Wolf | 2015-01-31 | 1 | -17/+47 |
| * | Added "equiv_make -blacklist <file> -encfile <file>" | Clifford Wolf | 2015-01-31 | 2 | -5/+173 |
| * | Added "fsm -encfile" | Clifford Wolf | 2015-01-30 | 2 | -12/+41 |
| * | Improved an error message | Clifford Wolf | 2015-01-28 | 1 | -1/+1 |
| * | Fixed bug in equiv_miter | Clifford Wolf | 2015-01-28 | 1 | -6/+6 |
| * | Added "sat -show-ports" | Clifford Wolf | 2015-01-27 | 1 | -2/+7 |
| * | Rethrow with "catch(...) throw;" | Clifford Wolf | 2015-01-25 | 2 | -4/+4 |
| * | Added equiv_remove | Clifford Wolf | 2015-01-25 | 2 | -0/+84 |
| * | Added equiv_miter | Clifford Wolf | 2015-01-25 | 2 | -0/+344 |
| * | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 3 | -4/+12 |
| * | Various equiv_* improvements | Clifford Wolf | 2015-01-24 | 4 | -14/+20 |
| * | Added dict/pool.sort() | Clifford Wolf | 2015-01-24 | 2 | -0/+6 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |