summaryrefslogtreecommitdiff
path: root/lib/verify.h
Commit message (Expand)AuthorAgeFilesLines
* assert-h, verify: Fix compilation error in C++ mode with MSVC 14.30.Bruno Haible2023-04-201-5/+11
* stddef: Define 'unreachable', for ISO C 23 compliance.Bruno Haible2023-03-161-8/+10
* assert-h, verify: Fix compilation error in C++ mode with MSVC 14.Bruno Haible2023-02-051-0/+2
* assert-h, verify: Fix conflict with standard C++ header files on macOS.Bruno Haible2023-02-041-1/+16
* verify: work around xlclang 16.1 compiler bugPaul Eggert2023-01-131-2/+6
* maint: run 'make update-copyright'Simon Josefsson2023-01-011-1/+1
* assert-h: port static_assert to strict C99Paul Eggert2022-12-281-5/+11
* verify: update __STDC_VERSION__ as per C23Paul Eggert2022-12-071-1/+1
* verify: Avoid syntax error due to static_assert with clang in C++ mode.Bruno Haible2022-09-141-1/+3
* verify: Avoid syntax error due to static_assert with MSVC 14 in C++.Bruno Haible2022-09-141-1/+16
* verify: Avoid syntax error due to static_assert with MSVC 14.Bruno Haible2022-09-141-2/+2
* verify: Avoid syntax error due to static_assert with GNU C++ 6.x.Bruno Haible2022-09-141-1/+2
* verify: port better to C23Paul Eggert2022-09-111-7/+8
* verify: port ‘assume’ to C23 non-GCCPaul Eggert2022-08-101-2/+5
* verify: port to pedantic gcc -std=c99Paul Eggert2022-04-191-0/+3
* verify: port to Mac OS 10.7.5Paul Eggert2022-04-161-1/+1
* maint: run 'make update-copyright'Paul Eggert2022-01-011-1/+1
* doc: C2X -> C2xPaul Eggert2021-07-311-2/+2
* Put LGPLv2+ notices in source files where appropriate.Bruno Haible2021-06-041-7/+7
* verify: simplify static_assert configurationPaul Eggert2021-01-141-31/+4
* verify: Use C++11 static_assert when available.Bruno Haible2021-01-121-4/+15
* maint: run 'make update-copyright'Paul Eggert2020-12-311-1/+1
* verify: avoid __builtin_assumePaul Eggert2020-09-051-37/+8
* verify: Avoid warnings when assume(0) is used.Bruno Haible2020-08-261-5/+11
* verify: Make assume work on bit field expressions (regr. 2020-08-22).Bruno Haible2020-08-231-4/+13
* verify: Do use __builtin_assume on clang.Bruno Haible2020-08-231-8/+22
* verify: avoid __built_assume on ClangPaul Eggert2020-08-171-11/+7
* Use _Static_assert and static_assert primitives when present on clang.Bruno Haible2020-08-161-5/+18
* Use __builtin_assume with clang.Bruno Haible2020-08-071-1/+10
* verify: document ‘assume’ betterPaul Eggert2020-05-231-4/+16
* maint: Run 'make update-copyright'Paul Eggert2019-12-311-1/+1
* Port better to GCC under macOSPaul Eggert2019-10-231-19/+18
* intprops.h, verify.h: port better to clangPaul Eggert2019-08-251-9/+19
* verify: improve diagnostic quality in recent GCCPaul Eggert2019-08-121-14/+19
* verify: document ‘assume’ betterPaul Eggert2019-07-021-3/+5
* verify: remove verify_truePaul Eggert2019-05-091-10/+3
* Support C2X and C++17 static_assertPaul Eggert2019-05-091-44/+53
* Fix _GL_HAVE__STATIC_ASSERT typoPaul Eggert2019-05-091-3/+3
* verify: Enable _GL_HAVE_STATIC_ASSERT for recent G++ versions.Bruno Haible2019-01-101-4/+2
* maint: Run 'make update-copyright'Paul Eggert2019-01-011-1/+1
* verify: port 'assume' to traditional toolsPaul Eggert2018-08-111-1/+2
* maint: Run 'make update-copyright'Paul Eggert2018-01-011-1/+1
* all: prefer https: URLsPaul Eggert2017-09-131-1/+1
* Port to PGI 16.10 x86-64Paul Eggert2017-01-301-1/+6
* version-etc: new yearPaul Eggert2017-01-011-1/+1
* Use GCC_LINT, not lintPaul Eggert2016-05-301-1/+1
* version-etc: new yearPaul Eggert2016-01-011-1/+1
* version-etc: new yearPaul Eggert2014-12-311-1/+1
* maint: update copyrightEric Blake2014-01-011-1/+1
* verify: new macro 'assume'Paul Eggert2013-10-021-0/+24
View Lorry Controller Status