2019-06-02 |
Clifford Wolf | Only support Symbiotic EDA flavored Verific |
commit | commitdiff | tree |
2019-05-31 |
Clifford Wolf | Fix "tee" handling of log_streams |
commit | commitdiff | tree |
2019-05-30 |
Clifford Wolf | Enable Verific flag veri_elaborate_top_level_modules_ha... |
commit | commitdiff | tree |
2019-05-30 |
Clifford Wolf | Merge pull request #1057 from mmicko/fix_478 |
commit | commitdiff | tree |
2019-05-29 |
Miodrag Milanovic | Aded one more load of .conf to support change of prefix |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1049 from YosysHQ/clifford/fix1047 |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1050 from YosysHQ/clifford/wandwor |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Do not use shiftmul peepopt pattern when mul result... |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1048 from mmicko/fix_enable_pyosys |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Refactor hierarchy wand/wor handling |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Add actual wandwor test that is part of "make test" |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge branch 'wandwor' of https://github.com/thasti... |
commit | commitdiff | tree |
2019-05-28 |
Miodrag Milanovic | Remove info line in 2nd load of conf file |
commit | commitdiff | tree |
2019-05-28 |
Miodrag Milanovic | Moved pyosys block in Makefile |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1045 from mmicko/afl-gcc-target |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | make config-afl-gcc to help creating conf file |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | Added afl-gcc as target for fuzzer |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | Merge branch 'master' into wandwor |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | reformat wand/wor test |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | remove port direction workaround from test case |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | update README.md with wand/wor information |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | remove leftovers from ast data structures |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | move wand/wor resolution into hierarchy pass |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1044 from mmicko/invalid_width_range |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1043 from mmicko/unsized_constant |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1026 from YosysHQ/clifford/fix1023 |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1030 from Kmanfi/makefile_osx |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | Give error instead of asserting for invalid range,... |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | Added support for unsized constants, fixes #1022 |
commit | commitdiff | tree |
2019-05-27 |
Kaj Tuomi | Guard all Python-api related items. |
commit | commitdiff | tree |
2019-05-26 |
Clifford Wolf | Merge pull request #1035 from YosysHQ/eddie/opt_rmdff |
commit | commitdiff | tree |
2019-05-26 |
Clifford Wolf | Merge pull request #1042 from mmicko/git_ignore_python |
commit | commitdiff | tree |
2019-05-26 |
Miodrag Milanovic | Add files to ignore for python build |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Revert enable check |
commit | commitdiff | tree |
2019-05-25 |
Clifford Wolf | Merge pull request #1041 from YosysHQ/clifford/fix1040 |
commit | commitdiff | tree |
2019-05-25 |
Clifford Wolf | Fix handling of offset and upto module ports in write_b... |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix init |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix typos |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Add more tests |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Call proc |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | opt_rmdff to optimise even in presence of enable signal... |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix duplicate driver |
commit | commitdiff | tree |
2019-05-24 |
Eddie Hung | Add comments |
commit | commitdiff | tree |
2019-05-24 |
Eddie Hung | Resolve @cliffordwolf review, set even if !has_init |
commit | commitdiff | tree |
2019-05-24 |
Clifford Wolf | Add proper error message for btor recursion_guard |
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | Merge pull request #1036 from YosysHQ/eddie/xilinx_dram |
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | Fix spacing |
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | Add "min bits" and "min wports" to xilinx dram rules |
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | Add opt_rmdff tests |
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | opt_rmdff to work on $dffe and $_DFFE_* |
commit | commitdiff | tree |
2019-05-23 |
Stefan Biereigel | fix assignment of non-wires |
commit | commitdiff | tree |
2019-05-23 |
Stefan Biereigel | add simple test case for wand/wor |
commit | commitdiff | tree |
2019-05-23 |
Stefan Biereigel | fix indentation across files |
commit | commitdiff | tree |
2019-05-23 |
Stefan Biereigel | implementation for assignments working |
commit | commitdiff | tree |
2019-05-23 |
Stefan Biereigel | make lexer/parser aware of wand/wor net types |
commit | commitdiff | tree |
2019-05-23 |
Clifford Wolf | Merge pull request #1031 from mdaiter/optimizeLookupTab... |
commit | commitdiff | tree |
2019-05-22 |
Matthew Daiter | Optimize numberOfPermutations |
commit | commitdiff | tree |
2019-05-22 |
Kaj Tuomi | OS X related fixes. |
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Keep zero-width wires in opt_clean if and only if they... |
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Fix handling of warning and error messages within log_m... |
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Merge pull request #1019 from YosysHQ/clifford/fix1016 |
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg |
commit | commitdiff | tree |
2019-05-22 |
Eddie Hung | Merge pull request #1024 from YosysHQ/eddie/fix_Wmissin... |
commit | commitdiff | tree |
2019-05-22 |
Eddie Hung | Rename label |
commit | commitdiff | tree |
2019-05-22 |
Eddie Hung | Try again |
commit | commitdiff | tree |
2019-05-21 |
Eddie Hung | Fix warning |
commit | commitdiff | tree |
2019-05-21 |
Jim Lawson | Fix static shift operands, neg result type, minor forma... |
commit | commitdiff | tree |
2019-05-21 |
Jim Lawson | Merge remote-tracking branch 'upstream/master' |
commit | commitdiff | tree |
2019-05-20 |
Clifford Wolf | Add "wreduce -keepdc", fixes #1016 |
commit | commitdiff | tree |
2019-05-18 |
Clifford Wolf | Merge pull request #1017 from Kmanfi/bigger_verilog_files |
commit | commitdiff | tree |
2019-05-18 |
Kaj Tuomi | Read bigger Verilog files. |
commit | commitdiff | tree |
2019-05-16 |
Clifford Wolf | Merge pull request #1013 from antmicro/parameter_attributes |
commit | commitdiff | tree |
2019-05-16 |
Maciej Kurc | Added tests for Verilog frontent for attributes on... |
commit | commitdiff | tree |
2019-05-16 |
Maciej Kurc | Added support for parsing attributes on parameters... |
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1012 from YosysHQ/clifford/sigspecrw |
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Improvements in opt_clean |
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Add rewrite_sigspecs2, Improve remove() wires |
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Do not leak file descriptors in cover.cc |
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1011 from hzeller/fix-constructing... |
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1010 from hzeller/yacc-self-contained |
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1008 from thasti/fix_libyosys_build |
commit | commitdiff | tree |
2019-05-15 |
David Shah | Merge pull request #1005 from smunaut/ice40_hfosc_trim |
commit | commitdiff | tree |
2019-05-15 |
Henner Zeller | Fix two instances of integer-assignment to string. |
commit | commitdiff | tree |
2019-05-15 |
Henner Zeller | Make the generated *.tab.hh include all the headers... |
commit | commitdiff | tree |
2019-05-14 |
Stefan Biereigel | extract python prefix to allow overriding |
commit | commitdiff | tree |
2019-05-14 |
Stefan Biereigel | remove ldconfig call |
commit | commitdiff | tree |
2019-05-14 |
Stefan Biereigel | add mkdir for libyosys target, explicitly copy to targe... |
commit | commitdiff | tree |
2019-05-14 |
whitequark | bugpoint: check for -script option. |
commit | commitdiff | tree |
2019-05-13 |
Sylvain Munaut | ice40/cells_sim.v: Add support for TRIM input to SB_HFOSC |
commit | commitdiff | tree |
2019-05-12 |
Clifford Wolf | Merge pull request #1004 from YosysHQ/clifford/fix1002 |
commit | commitdiff | tree |
2019-05-12 |
Clifford Wolf | Fix handling of glob_abort_cnt in opt_muxtree, fixes... |
commit | commitdiff | tree |
2019-05-11 |
Clifford Wolf | Merge pull request #1003 from makaimann/zinit-all |
commit | commitdiff | tree |
2019-05-11 |
Clifford Wolf | Add "fmcombine -initeq -anyeq" |
commit | commitdiff | tree |
2019-05-11 |
Clifford Wolf | Add "stat -tech xilinx" |
commit | commitdiff | tree |
2019-05-10 |
Makai Mann | Zinit option '-singleton' -> '-all' |
commit | commitdiff | tree |
2019-05-09 |
Clifford Wolf | Merge pull request #1000 from bwidawsk/synth-format |
commit | commitdiff | tree |
2019-05-09 |
Ben Widawsky | Fix formatting for synth_intel.cc |
commit | commitdiff | tree |
2019-05-09 |
Ben Widawsky | Add a .clang-format |
commit | commitdiff | tree |
2019-05-09 |
Clifford Wolf | Add $stop to documentation |
commit | commitdiff | tree |
2019-05-08 |
Clifford Wolf | Remove added newline (by re-running minisat 00_UPDATE.sh) |
commit | commitdiff | tree |
next |