| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #2168 from whitequark/assert-unused-exprs | clairexen | 2020-06-25 | 1 | -4/+3 |
| |\ | | | | | Use (and ignore) the expression provided to log_assert in NDEBUG builds | ||||
| | * | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 1 | -1/+1 |
| | | | |||||
| | * | Use (and ignore) the expression provided to log_debug in NDEBUG builds. | whitequark | 2020-06-19 | 1 | -2/+1 |
| | | | |||||
| | * | Use (and ignore) the expression provided to log_assert in NDEBUG builds. | whitequark | 2020-06-19 | 1 | -1/+1 |
| | | | | | | | | | | | This avoids warnings in NDEBUG builds emitted when a variable is only used in log_assert, but is always defined. | ||||
| * | | log: Remove unused `_POSIX_TIMERS` branch in `PerformanceTimer::query()`. | Alberto Gonzalez | 2020-06-21 | 1 | -4/+0 |
| | | | |||||
| * | | log, qbfsat: Include child process time in `PerformanceTimer::query()` and ↵ | Alberto Gonzalez | 2020-06-21 | 1 | -6/+8 |
| |/ | | | | report the time for each call to the QBF-SAT solver. | ||||
| * | Add missing [[noreturn]] to log_file_error() | Xiretza | 2020-06-19 | 1 | -1/+1 |
| | | | | | | | | | | | | | | Previously this was tagged only with YS_ATTRIBUTE(noreturn), but not YS_NORETURN, so it got lost in #2173, resulting in warnings in frontends/ast/simplify.cc: frontends/ast/simplify.cc:267:1: warning: function declared 'noreturn' should not return [-Winvalid-noreturn] } ^ frontends/ast/simplify.cc:379:1: warning: function declared 'noreturn' should not return [-Winvalid-noreturn] } ^ | ||||
| * | Use C++11 [[noreturn]] attribute. | whitequark | 2020-06-19 | 1 | -4/+4 |
| | | |||||
| * | kernel: guard include of signal.h more precisely. | whitequark | 2020-06-13 | 1 | -1/+3 |
| | | | | | | | Upgrading to WASI SDK 11.0 caused the WASM build to fail because WASM does not have signals. (Arguably Yosys was broken even before, it was just broken silently.) | ||||
| * | Merge pull request #2059 from boqwxp/logger-vector-to-dict | Miodrag Milanović | 2020-05-21 | 1 | -8/+5 |
| |\ | | | | | log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, warning, log}` to better express the intent that each element is unique. | ||||
| | * | log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, ↵ | Alberto Gonzalez | 2020-05-15 | 1 | -8/+5 |
| | | | | | | | | | warning, log}` to better express the intent that each element is unique. | ||||
| * | | Consolidate Linux and Mac version of YS_DEBUGTRAP_IF_DEBUGGING. | Peter Crozier | 2020-05-13 | 1 | -5/+2 |
| | | | |||||
| * | | Extend YS_DEBUGTRAP to MacOS. | Peter Crozier | 2020-05-13 | 1 | -1/+4 |
| |/ | |||||
| * | kernel: Trap in `log_error()` when a debugger is attached. | whitequark | 2020-05-03 | 1 | -1/+39 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | The workflow of debugging fatal pass errors in Yosys is flawed in three ways: 1. Running Yosys under a debugger is sufficient for the debugger to catch some fatal errors (segfaults, aborts, STL exceptions) but not others (`log_error()`, `log_cmd_error()`). This is neither obvious nor easy to remember. 2. To catch Yosys-specific fatal errors, it is necessary to set a breakpoint at `logv_error_with_prefix()`, or at least, `logv_error()`. This is neither obvious nor easy to remember, and GDB's autocomplete takes many seconds to suggest function names due to the large amount of symbols in Yosys. 3. If a breakpoint is not set and Yosys encounters with such a fatal error, the process terminates. When debugging a crash that takes a long time to reproduce (or a nondeterministic crash) this can waste a significant amount of time. To solve this problem, add a macro `YS_DEBUGTRAP` that acts as a hard breakpoint (if available), and a macro `YS_DEBUGTRAP_IF_DEBUGGING` that acts as a hard breakpoint only if debugger is present. Then, use `YS_DEBUGTRAP_IF_DEBUGGING` in `logv_error_with_prefix()` to obviate the need for a breakpoint on nearly every platform. Co-Authored-By: Alberto Gonzalez <boqwxp@airmail.cc> | ||||
| * | Hole value recovery and specialization implementation for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -0/+7 |
| | | |||||
| * | exclude clang from checking | Miodrag Milanovic | 2020-03-13 | 1 | -1/+1 |
| | | |||||
| * | Add YS_ prefix to macros, add explanation and apply to older version as well | Miodrag Milanovic | 2020-03-13 | 1 | -9/+12 |
| | | |||||
| * | Use boost xpressive for gcc 4.8 | Miodrag Milanovic | 2020-03-13 | 1 | -3/+18 |
| | | |||||
| * | Handle expect no warnings together with expected | Miodrag Milanovic | 2020-02-22 | 1 | -0/+1 |
| | | |||||
| * | Option to expect no warnings | Miodrag Milanovic | 2020-02-17 | 1 | -0/+1 |
| | | |||||
| * | Add expect option to logger command | Miodrag Milanovic | 2020-02-14 | 1 | -0/+17 |
| | | |||||
| * | Improve logging use of experimental features | Claire Wolf | 2020-01-28 | 1 | -1/+1 |
| | | | | | Signed-off-by: Claire Wolf <clifford@clifford.at> | ||||
| * | Add log_experimental() and experimental() API and "yosys -x" | Claire Wolf | 2020-01-27 | 1 | -1/+2 |
| | | | | | Signed-off-by: Claire Wolf <clifford@clifford.at> | ||||
| * | log_dump() to support State enum | Eddie Hung | 2019-10-02 | 1 | -0/+1 |
| | | |||||
| * | Fix various NDEBUG compiler warnings, closes #1255 | Clifford Wolf | 2019-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Initial implementation of elaboration system tasks | Udi Finkelstein | 2019-05-03 | 1 | -0/+1 |
| | | | | | | | | (IEEE1800-2017 section 20.11) This PR allows us to use $info/$warning/$error/$fatal **at elaboration time** within a generate block. This is very useful to stop a synthesis of a parametrized block when an illegal combination of parameters is chosen. | ||||
| * | Add log_debug() framework | Clifford Wolf | 2019-04-22 | 1 | -0/+43 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add optional nullstr argument to log_id() | Clifford Wolf | 2019-01-15 | 1 | -1/+3 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Fix typographical and grammatical errors and inconsistencies. | whitequark | 2019-01-02 | 1 | -1/+1 |
| | | | | | | | | | | | | | The initial list of hits was generated with the codespell command below, and each hit was evaluated and fixed manually while taking context into consideration. DIRS="kernel/ frontends/ backends/ passes/ techlibs/" DIRS="${DIRS} libs/ezsat/ libs/subcircuit" codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint More hits were found by looking through comments and strings manually. | ||||
| * | Provide source-location logging. | Henner Zeller | 2018-07-19 | 1 | -0/+5 |
| | | | | | | | | | o Provide log_file_warning() and log_file_error() that prefix the log message with <filename>:<lineno>: to be easily picked up by IDEs that need to step through errors. o Simplify some duplicate logging code in kernel/log.cc o Use the new log functions in genrtlil. | ||||
| * | Add "#ifdef __FreeBSD__" | Christian Krämer | 2018-05-13 | 1 | -1/+1 |
| | | | | | (Re-commit e3575a8 with corrected author field) | ||||
| * | Revert "Add "#ifdef __FreeBSD__"" | Clifford Wolf | 2018-05-13 | 1 | -1/+1 |
| | | | | | This reverts commit e3575a86c525f2511902e7022893c3923ba8093e. | ||||
| * | Add "#ifdef __FreeBSD__" | Johnny Sorocil | 2018-05-05 | 1 | -1/+1 |
| | | |||||
| * | Add "yosys -e regex" for turning warnings into errors | Clifford Wolf | 2018-05-04 | 1 | -1/+1 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Harmonize uses of _WIN32 macro | Larry Doolittle | 2018-03-11 | 1 | -1/+1 |
| | | |||||
| * | Improve handling of warning messages | Clifford Wolf | 2018-03-04 | 1 | -0/+2 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add log_warning_noprefix() API, Use for Verific warnings and errors | Clifford Wolf | 2017-07-27 | 1 | -0/+2 |
| | | |||||
| * | Store command history when terminating with an error | Clifford Wolf | 2017-06-20 | 1 | -0/+1 |
| | | |||||
| * | Add "yosys -w" for suppressing warnings | Clifford Wolf | 2017-02-12 | 1 | -1/+1 |
| | | |||||
| * | Add log_wire() API | Clifford Wolf | 2017-02-11 | 1 | -0/+1 |
| | | |||||
| * | Added "yosys -W regex" | Clifford Wolf | 2016-12-22 | 1 | -0/+2 |
| | | |||||
| * | Added log_const() API | Clifford Wolf | 2016-08-09 | 1 | -0/+1 |
| | | |||||
| * | Added "read_verilog -dump_rtlil" | Clifford Wolf | 2016-07-27 | 1 | -0/+1 |
| | | |||||
| * | Fixes for MXE build | Clifford Wolf | 2016-05-07 | 1 | -7/+7 |
| | | |||||
| * | Added "yosys -D ALL" | Clifford Wolf | 2016-04-24 | 1 | -0/+1 |
| | | |||||
| * | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 1 | -2/+3 |
| | | |||||
| * | Added log_dump() support for dict<> and pool<> containers | Clifford Wolf | 2016-03-31 | 1 | -0/+26 |
| | | |||||
| * | Microsoft Visual C++ fix for log.h. | Andrei Errapart | 2015-09-01 | 1 | -0/+5 |
| | | |||||
| * | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -1/+1 |
| | | |||||
| * | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -2/+2 |
| | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |