aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #2031 from epfl-vlsc/masterwhitequark2020-05-281-1/+40
|\
| * Formatting fixesSahand Kashani2020-05-061-14/+7
| * Add extmodule support to firrtl backendSahand Kashani2020-05-061-1/+47
* | Merge pull request #2063 from boqwxp/techmapped-firrtlwhitequark2020-05-281-10/+12
|\ \
| * | firrtl: Accept techmapped cell types in FIRRTL backend.Alberto Gonzalez2020-05-171-10/+12
* | | Merge pull request #2088 from rswarbrick/count-atwhitequark2020-05-281-2/+8
|\ \ \
| * | | Minor optimisation in Module::wire() and Module::cell()Rupert Swarbrick2020-05-261-2/+8
* | | | Merge pull request #2087 from rswarbrick/lex-warnwhitequark2020-05-281-1/+3
|\ \ \ \
| * | | | Silence spurious warning in Verilog lexer when compiling with GCCRupert Swarbrick2020-05-261-1/+3
| |/ / /
* | | | Merge pull request #2086 from rswarbrick/sigbitwhitequark2020-05-281-2/+1
|\ \ \ \
| * | | | Use default copy constructor for RTLIL::SigBitRupert Swarbrick2020-05-261-2/+1
| |/ / /
* | | | Merge pull request #2084 from rswarbrick/c_strwhitequark2020-05-281-2/+2
|\ \ \ \
| * | | | Use c_str(), not str() for IdString/std::string == and != operatorsRupert Swarbrick2020-05-261-2/+2
| |/ / /
* | | | Merge pull request #2090 from whitequark/cxxrtl-fixeswhitequark2020-05-261-7/+13
|\ \ \ \ | |/ / / |/| | |
| * | | cxxrtl: make logging a little bit nicer.whitequark2020-05-261-2/+10
| * | | cxxrtl: add missing parts of commit 281c9685.whitequark2020-05-261-5/+3
* | | | Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidyEddie Hung2020-05-253-13/+15
|\ \ \ \ | |/ / / |/| | |
| * | | tests: xilinx macc test to have initval, shorten BMC depth for runtimeEddie Hung2020-05-252-8/+8
| * | | xilinx: tidy up cells_sim.v a littleEddie Hung2020-05-251-5/+7
* | | | Merge pull request #2044 from YosysHQ/eddie/fix2037Eddie Hung2020-05-252-20/+85
|\ \ \ \ | |/ / / |/| | |
| * | | verilog: move attr from simple_behav_stmt to its children to attachEddie Hung2020-05-251-13/+17
| * | | test: add attribute-before-stmt test from @nakengelhardtEddie Hung2020-05-251-0/+15
| * | | verilog: do not warn for attributes on null statementsEddie Hung2020-05-252-6/+4
| * | | tests: add an generate-else test tooEddie Hung2020-05-251-0/+34
| * | | verilog: handle empty generate statement by removing gen_stmt_or_null...Eddie Hung2020-05-251-7/+8
| * | | verilog: fix #2037 by permitting (and freeing) attributes on null stmtEddie Hung2020-05-251-1/+5
| * | | tests: add #2037 testcaseEddie Hung2020-05-251-0/+9
|/ / /
* | | Merge pull request #2015 from boqwxp/qbfsat-bisectionclairexen2020-05-251-98/+207
|\ \ \
| * | | qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4c...Alberto Gonzalez2020-05-231-11/+0
| * | | qbfsat: Add bisection mode and make it the default.Alberto Gonzalez2020-05-231-87/+207
| | |/ | |/|
* | | Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanupEddie Hung2020-05-242-7/+14
|\ \ \
| * | | xaiger: add testcaseEddie Hung2020-05-241-0/+13
| * | | xaiger: do not derive cellsEddie Hung2020-05-241-7/+1
* | | | Merge pull request #2074 from YosysHQ/eddie/ecp5_cleanupEddie Hung2020-05-233-14/+0
|\ \ \ \ | |/ / / |/| | |
| * | | ecp5: cleanup unused +/ecp5/abc9_model.vEddie Hung2020-05-233-14/+0
|/ / /
* | | Merge pull request #2072 from whitequark/cxxrtl-dont-purgewhitequark2020-05-221-8/+2
|\ \ \
| * | | cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level.whitequark2020-05-221-8/+2
* | | | abc9_ops: update commentEddie Hung2020-05-211-1/+1
* | | | Merge pull request #2057 from YosysHQ/eddie/fix_task_attrEddie Hung2020-05-212-11/+37
|\ \ \ \
| * | | | Update frontends/verilog/verilog_parser.yEddie Hung2020-05-211-1/+1
| * | | | verilog: attributes before task enable (but 13 s/r conflicts)Eddie Hung2020-05-141-10/+8
| * | | | tests: attributes before task enableEddie Hung2020-05-141-0/+28
* | | | | Merge pull request #2059 from boqwxp/logger-vector-to-dictMiodrag Milanović2020-05-213-51/+21
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, w...Alberto Gonzalez2020-05-153-51/+21
| | |_|/ | |/| |
* | | | Merge pull request #2046 from PeterCrozier/trapN. Engelhardt2020-05-201-3/+3
|\ \ \ \
| * | | | Consolidate Linux and Mac version of YS_DEBUGTRAP_IF_DEBUGGING.Peter Crozier2020-05-131-5/+2
| * | | | Extend YS_DEBUGTRAP to MacOS.Peter Crozier2020-05-131-1/+4
| | |/ / | |/| |
* | | | Merge pull request #2054 from boqwxp/fix-smtbmcN. Engelhardt2020-05-201-3/+3
|\ \ \ \
| * | | | smtbmc: Fix typo in error message.Alberto Gonzalez2020-05-191-1/+1
| * | | | smtbmc: Fix return status handling.Alberto Gonzalez2020-05-141-2/+2