index
:
delta/gnulib.git
EMACS_21_1_RC
FILEUTILS
SHELLUTILS
TEXTUTILS
akim-fix-upload
akim/relpath
baserock/build-essential
coreutils-8.9
diff-merge
emacs-unicode
emacs-unicode-2
haible-private
karl
lexbind
master
origin
pygnulib
python
stable-202201
stable-202207
stable-202301
topic/libposix
ueno/unicode-9.0.0
git.savannah.gnu.org: git/gnulib.git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
verify.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
stddef: Define 'unreachable', for ISO C 23 compliance.
Bruno Haible
2023-03-16
1
-8
/
+10
*
assert-h, verify: Fix compilation error in C++ mode with MSVC 14.
Bruno Haible
2023-02-05
1
-0
/
+2
*
assert-h, verify: Fix conflict with standard C++ header files on macOS.
Bruno Haible
2023-02-04
1
-1
/
+16
*
verify: work around xlclang 16.1 compiler bug
Paul Eggert
2023-01-13
1
-2
/
+6
*
maint: run 'make update-copyright'
Simon Josefsson
2023-01-01
1
-1
/
+1
*
assert-h: port static_assert to strict C99
Paul Eggert
2022-12-28
1
-5
/
+11
*
verify: update __STDC_VERSION__ as per C23
Paul Eggert
2022-12-07
1
-1
/
+1
*
verify: Avoid syntax error due to static_assert with clang in C++ mode.
Bruno Haible
2022-09-14
1
-1
/
+3
*
verify: Avoid syntax error due to static_assert with MSVC 14 in C++.
Bruno Haible
2022-09-14
1
-1
/
+16
*
verify: Avoid syntax error due to static_assert with MSVC 14.
Bruno Haible
2022-09-14
1
-2
/
+2
*
verify: Avoid syntax error due to static_assert with GNU C++ 6.x.
Bruno Haible
2022-09-14
1
-1
/
+2
*
verify: port better to C23
Paul Eggert
2022-09-11
1
-7
/
+8
*
verify: port ‘assume’ to C23 non-GCC
Paul Eggert
2022-08-10
1
-2
/
+5
*
verify: port to pedantic gcc -std=c99
Paul Eggert
2022-04-19
1
-0
/
+3
*
verify: port to Mac OS 10.7.5
Paul Eggert
2022-04-16
1
-1
/
+1
*
maint: run 'make update-copyright'
Paul Eggert
2022-01-01
1
-1
/
+1
*
doc: C2X -> C2x
Paul Eggert
2021-07-31
1
-2
/
+2
*
Put LGPLv2+ notices in source files where appropriate.
Bruno Haible
2021-06-04
1
-7
/
+7
*
verify: simplify static_assert configuration
Paul Eggert
2021-01-14
1
-31
/
+4
*
verify: Use C++11 static_assert when available.
Bruno Haible
2021-01-12
1
-4
/
+15
*
maint: run 'make update-copyright'
Paul Eggert
2020-12-31
1
-1
/
+1
*
verify: avoid __builtin_assume
Paul Eggert
2020-09-05
1
-37
/
+8
*
verify: Avoid warnings when assume(0) is used.
Bruno Haible
2020-08-26
1
-5
/
+11
*
verify: Make assume work on bit field expressions (regr. 2020-08-22).
Bruno Haible
2020-08-23
1
-4
/
+13
*
verify: Do use __builtin_assume on clang.
Bruno Haible
2020-08-23
1
-8
/
+22
*
verify: avoid __built_assume on Clang
Paul Eggert
2020-08-17
1
-11
/
+7
*
Use _Static_assert and static_assert primitives when present on clang.
Bruno Haible
2020-08-16
1
-5
/
+18
*
Use __builtin_assume with clang.
Bruno Haible
2020-08-07
1
-1
/
+10
*
verify: document ‘assume’ better
Paul Eggert
2020-05-23
1
-4
/
+16
*
maint: Run 'make update-copyright'
Paul Eggert
2019-12-31
1
-1
/
+1
*
Port better to GCC under macOS
Paul Eggert
2019-10-23
1
-19
/
+18
*
intprops.h, verify.h: port better to clang
Paul Eggert
2019-08-25
1
-9
/
+19
*
verify: improve diagnostic quality in recent GCC
Paul Eggert
2019-08-12
1
-14
/
+19
*
verify: document ‘assume’ better
Paul Eggert
2019-07-02
1
-3
/
+5
*
verify: remove verify_true
Paul Eggert
2019-05-09
1
-10
/
+3
*
Support C2X and C++17 static_assert
Paul Eggert
2019-05-09
1
-44
/
+53
*
Fix _GL_HAVE__STATIC_ASSERT typo
Paul Eggert
2019-05-09
1
-3
/
+3
*
verify: Enable _GL_HAVE_STATIC_ASSERT for recent G++ versions.
Bruno Haible
2019-01-10
1
-4
/
+2
*
maint: Run 'make update-copyright'
Paul Eggert
2019-01-01
1
-1
/
+1
*
verify: port 'assume' to traditional tools
Paul Eggert
2018-08-11
1
-1
/
+2
*
maint: Run 'make update-copyright'
Paul Eggert
2018-01-01
1
-1
/
+1
*
all: prefer https: URLs
Paul Eggert
2017-09-13
1
-1
/
+1
*
Port to PGI 16.10 x86-64
Paul Eggert
2017-01-30
1
-1
/
+6
*
version-etc: new year
Paul Eggert
2017-01-01
1
-1
/
+1
*
Use GCC_LINT, not lint
Paul Eggert
2016-05-30
1
-1
/
+1
*
version-etc: new year
Paul Eggert
2016-01-01
1
-1
/
+1
*
version-etc: new year
Paul Eggert
2014-12-31
1
-1
/
+1
*
maint: update copyright
Eric Blake
2014-01-01
1
-1
/
+1
*
verify: new macro 'assume'
Paul Eggert
2013-10-02
1
-0
/
+24
*
stdalign, verify: port to FreeBSD 9.1, to C11, and to C++11
Paul Eggert
2013-07-07
1
-52
/
+60
[next]