/tests/

.c?showmsg=1'>Expand)Author 2023-07-09lint: remove redundant '#' after 'argument' in diagnosticsHEADtrunkrillig 2023-07-02lint: rename 'quad' to 'signed int' or 'unsigned int'rillig 2023-06-24lint: reduce memory allocationsrillig 2023-05-22lint: rename constant NOTSPEC to NO_TSPECrillig 2023-01-21lint: make code for strict bool mode more consistentrillig 2022-06-22lint: add quotes around placeholders for the remaining messagesrillig 2022-06-19lint: add quotes around placeholders in 4 messagesrillig 2022-06-15lint: rename mod_t.m_requires_bool to m_compares_with_zerorillig 2022-06-15lint: clean up an empty line and the documentationrillig 2022-05-20lint: use __RCSID in lint mode as wellrillig 2022-05-19lint: in strict bool mode, check function arguments more strictlyrillig 2022-04-16lint: merge mod_t.m_test_context into m_requires_boolrillig 2022-04-09lint: disambiguate sym_t.s_valuerillig 2022-04-09lint: split CTCONST into BOOL_CONST and ENUM_CONSTrillig 2021-12-22lint: fix wrong error in strict bool mode in condition with commarillig 2021-11-16lint: fix check for function calls in strict bool moderillig 2021-07-26lint: make typeok_scalar_strict_bool simplerrillig 2021-07-04lint: in strict bool mode, allow mixed types in generated C coderillig 2021-07-02lint: in strict bool mode, make (flag & FLAG) simplerrillig 2021-07-02lint: no special check for unary operators in strict bool moderillig 2021-06-20lint: rename val_t.v_unsigned to avoid confusionrillig 2021-06-20lint: in strict bool mode, treat boolean constants as unsignedrillig 2021-06-20lint: rename val_t.v_ansiu to v_unsignedrillig 2021-04-06lint: move check for strict bool mode into separate filerillig