1. 18 May, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      gnulib: add the closeout and secure_getenv modules · 021c0ed0
      Alexandre Duret-Lutz authored
      * lib/close-stream.c, lib/close-stream.h, lib/closeout.c,
      lib/closeout.h, lib/fpending.c, lib/fpending.h, lib/stdio-impl.h,
      lib/secure_getenv.c, m4/close-stream.m4, m4/closeout.m4,
      m4/fpending.m4, m4/secure_getenv.m4: New file.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      021c0ed0
  2. 17 May, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      update gnulib to b35c22af02271c8dd9844b98db17702b8bf2bd93 · 2076197e
      Alexandre Duret-Lutz authored
      * lib/Makefile.am, lib/alloca.in.h, lib/arg-nonnull.h, lib/argmatch.c,
      lib/argmatch.h, lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c++defs.h, lib/c-ctype.h, lib/c-strcase.h,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strncasecmp.c,
      lib/config.charset, lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/filename.h, lib/float+.h,
      lib/float.c, lib/float.in.h, lib/getopt-cdefs.in.h, lib/getopt-core.h,
      lib/getopt-ext.h, lib/getopt-pfx-core.h, lib/getopt-pfx-ext.h,
      lib/getopt.c, lib/getopt.in.h, lib/getopt1.c, lib/getopt_int.h,
      lib/getprogname.c, lib/getprogname.h, lib/gettext.h,
      lib/gettimeofday.c, lib/hard-locale.c, lib/hard-locale.h,
      lib/intprops.h, lib/isatty.c, lib/itold.c, lib/limits.in.h,
      lib/localcharset.c, lib/localcharset.h, lib/localtime-buffer.c,
      lib/localtime-buffer.h, lib/lstat.c, lib/malloc.c, lib/malloca.c,
      lib/malloca.h, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c,
      lib/mempcpy.c, lib/minmax.h, lib/mkstemp.c, lib/mkstemps.c,
      lib/msvc-inval.c, lib/msvc-inval.h, lib/msvc-nothrow.c,
      lib/msvc-nothrow.h, lib/pathmax.h, lib/printf-args.c,
      lib/printf-args.h, lib/printf-parse.c, lib/printf-parse.h,
      lib/progname.c, lib/progname.h, lib/quote.h, lib/quotearg.c,
      lib/quotearg.h, lib/rawmemchr.c, lib/ref-add.sin, lib/ref-del.sin,
      lib/size_max.h, lib/sleep.c, lib/stat-w32.c, lib/stat-w32.h,
      lib/stat.c, lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h,
      lib/stdint.in.h, lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c,
      lib/strcasecmp.c, lib/strchrnul.c, lib/streq.h,
      lib/strerror-override.c, lib/strerror-override.h, lib/strerror.c,
      lib/string.in.h, lib/strings.in.h, lib/stripslash.c,
      lib/strncasecmp.c, lib/strndup.c, lib/strnlen.c, lib/strverscmp.c,
      lib/sys_stat.in.h, lib/sys_time.in.h, lib/sys_types.in.h,
      lib/sys_wait.in.h, lib/sysexits.in.h, lib/tempname.c, lib/tempname.h,
      lib/time.in.h, lib/unistd.in.h, lib/vasnprintf.c, lib/vasnprintf.h,
      lib/verify.h, lib/vsnprintf.c, lib/warn-on-use.h, lib/wchar.in.h,
      lib/wctype.in.h, lib/xalloc-die.c, lib/xalloc-oversized.h,
      lib/xalloc.h, lib/xmalloc.c, lib/xsize.h, m4/00gnulib.m4,
      m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4, m4/configmake.m4,
      m4/dirname.m4, m4/double-slash-root.m4, m4/eealloc.m4, m4/errno_h.m4,
      m4/error.m4, m4/exponentd.m4, m4/extensions.m4, m4/extern-inline.m4,
      m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4, m4/getopt.m4,
      m4/getprogname.m4, m4/gettimeofday.m4, m4/glibc21.m4,
      m4/gnulib-cache.m4, m4/gnulib-common.m4, m4/gnulib-comp.m4,
      m4/gnulib-tool.m4, m4/hard-locale.m4, m4/include_next.m4,
      m4/intmax_t.m4, m4/inttypes_h.m4, m4/isatty.m4, m4/largefile.m4,
      m4/limits-h.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/localtime-buffer.m4, m4/longlong.m4, m4/lstat.m4,
      m4/malloc.m4, m4/malloca.m4, m4/math_h.m4, m4/mbrtowc.m4,
      m4/mbsinit.m4, m4/mbstate_t.m4, m4/memchr.m4, m4/mempcpy.m4,
      m4/minmax.m4, m4/mkstemp.m4, m4/mkstemps.m4, m4/mmap-anon.m4,
      m4/msvc-inval.m4, m4/msvc-nothrow.m4, m4/multiarch.m4, m4/nocrash.m4,
      m4/off_t.m4, m4/pathmax.m4, m4/printf.m4, m4/quote.m4, m4/quotearg.m4,
      m4/rawmemchr.m4, m4/size_max.m4, m4/sleep.m4, m4/ssize_t.m4,
      m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4, m4/stddef_h.m4,
      m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4, m4/stdlib_h.m4,
      m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4, m4/strerror.m4,
      m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4, m4/strnlen.m4,
      m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4: Update.
      * lib/malloca.valgrind, lib/secure_getenv.c, m4/secure_getenv.m4:
      Delete.
      * lib/stat-time.c, lib/stat-time.h, m4/stat-time.m4: New files.
      2076197e
  3. 08 Aug, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      gnulib: upgrade to today's version · 80d50c56
      Alexandre Duret-Lutz authored
      * tools/snippet/_Noreturn.h, tools/snippet/c++defs.h,
      tools/snippet/arg-nonnull.h, tools/snippet/warn-on-use.h: Rename to...
      * lib/_Noreturn.h, lib/c++defs.h, lib/arg-nonnull.h,
      lib/warn-on-use.h: ... these.
      * lib/filename.h, lib/getopt-cdefs.in.h, lib/getopt-core.h,
      lib/getopt-ext.h, lib/getopt-pfx-core.h, lib/getopt-pfx-ext.h,
      lib/localtime-buffer.c, lib/localtime-buffer.h, lib/malloca.c,
      lib/malloca.h, lib/malloca.valgrind, lib/stat-w32.c, lib/stat-w32.h,
      m4/eealloc.m4, m4/localtime-buffer.m4, m4/malloca.m4: New files.
      * lib/argp-help.c, lib/argp-parse.c, lib/error.c, lib/float.in.h,
      lib/getopt1.c, lib/getopt.c, lib/getopt.in.h, lib/getopt_int.h,
      lib/gettext.h, lib/gettimeofday.c, lib/intprops.h, lib/isatty.c,
      lib/limits.in.h, lib/localcharset.c, lib/Makefile.am, lib/mbrtowc.c,
      lib/mbsinit.c, lib/msvc-nothrow.c, lib/quotearg.c, lib/stat.c,
      lib/stdalign.in.h, lib/stdint.in.h, lib/string.in.h,
      lib/sys_stat.in.h, lib/sys_types.in.h, lib/tempname.c, lib/time.in.h,
      lib/unistd.in.h, lib/vasnprintf.c, lib/wchar.in.h, lib/wctype.in.h,
      lib/xalloc.h, lib/xalloc-oversized.h, m4/fcntl-o.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/gnulib-common.m4,
      m4/gnulib-comp.m4, m4/include_next.m4, m4/largefile.m4, m4/lstat.m4,
      m4/mbrtowc.m4, m4/memchr.m4, m4/mkstemp.m4, m4/printf.m4, m4/sleep.m4,
      m4/stat.m4, m4/stdalign.m4, m4/stdint.m4, m4/strerror.m4,
      m4/string_h.m4, m4/sys_stat_h.m4, m4/sys_time_h.m4, m4/sys_types_h.m4,
      m4/time_h.m4, m4/unistd_h.m4, m4/wchar_h.m4, m4/wctype_h.m4,
      m4/wint_t.m4: Update.
      80d50c56
  4. 09 Mar, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      gnulib: update to 405cd675384221b541b460c43de26d159914fe0a · 4fd29778
      Alexandre Duret-Lutz authored
      This also include my patch to lib/argp.hh for C++ compilation.
      
      * lib/Makefile.am, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c-ctype.h, lib/c-strcase.h,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strncasecmp.c,
      lib/config.charset, lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/float+.h, lib/float.c,
      lib/float.in.h, lib/getopt.c, lib/getopt.in.h, lib/getopt1.c,
      lib/getopt_int.h, lib/gettext.h, lib/gettimeofday.c,
      lib/hard-locale.c, lib/hard-locale.h, lib/intprops.h, lib/isatty.c,
      lib/itold.c, lib/localcharset.c, lib/localcharset.h, lib/lstat.c,
      lib/malloc.c, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c,
      lib/mempcpy.c, lib/mkstemp.c, lib/mkstemps.c, lib/msvc-inval.c,
      lib/msvc-inval.h, lib/msvc-nothrow.c, lib/msvc-nothrow.h,
      lib/pathmax.h, lib/printf-args.c, lib/printf-args.h,
      lib/printf-parse.c, lib/printf-parse.h, lib/progname.c,
      lib/progname.h, lib/quote.h, lib/quotearg.c, lib/quotearg.h,
      lib/rawmemchr.c, lib/ref-add.sin, lib/ref-del.sin,
      lib/secure_getenv.c, lib/size_max.h, lib/sleep.c, lib/stat.c,
      lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h, lib/stdint.in.h,
      lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c, lib/strcasecmp.c,
      lib/strchrnul.c, lib/streq.h, lib/strerror-override.c,
      lib/strerror-override.h, lib/strerror.c, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sys_stat.in.h, lib/sys_time.in.h,
      lib/sys_types.in.h, lib/sys_wait.in.h, lib/sysexits.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.in.h,
      lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h, lib/vsnprintf.c,
      lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc-oversized.h, lib/xalloc.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/configmake.m4, m4/dirname.m4, m4/double-slash-root.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/glibc21.m4, m4/gnulib-cache.m4,
      m4/gnulib-common.m4, m4/gnulib-comp.m4, m4/gnulib-tool.m4,
      m4/hard-locale.m4, m4/include_next.m4, m4/intmax_t.m4,
      m4/inttypes_h.m4, m4/isatty.m4, m4/largefile.m4, m4/localcharset.m4,
      m4/locale-fr.m4, m4/locale-ja.m4, m4/locale-zh.m4, m4/longlong.m4,
      m4/lstat.m4, m4/malloc.m4, m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4,
      m4/mbstate_t.m4, m4/memchr.m4, m4/mempcpy.m4, m4/mkstemp.m4,
      m4/mkstemps.m4, m4/mmap-anon.m4, m4/msvc-inval.m4, m4/msvc-nothrow.m4,
      m4/multiarch.m4, m4/nocrash.m4, m4/off_t.m4, m4/pathmax.m4,
      m4/printf.m4, m4/quote.m4, m4/quotearg.m4, m4/rawmemchr.m4,
      m4/secure_getenv.m4, m4/size_max.m4, m4/sleep.m4, m4/ssize_t.m4,
      m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4, m4/stddef_h.m4,
      m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4, m4/stdlib_h.m4,
      m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4, m4/strerror.m4,
      m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4, m4/strnlen.m4,
      m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4,
      tools/snippet/arg-nonnull.h, tools/snippet/c++defs.h,
      tools/snippet/warn-on-use.h: Update.
      * lib/getprogname.c, lib/getprogname.h, lib/limits.in.h, lib/minmax.h,
      m4/getprogname.m4, m4/limits-h.m4, m4/minmax.m4: New files.
      4fd29778
  5. 12 Feb, 2017 1 commit
  6. 01 Feb, 2017 1 commit
  7. 07 Oct, 2016 1 commit
  8. 29 Jul, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      update gnulib · f6c7ed54
      Alexandre Duret-Lutz authored
      This comes from gnulib 348402f2aac342bc925b7aaea9ee3cc353f427a9 plus
      a custom patch to support compilation of arpg in C++11.
      
      * lib/hard-locale.c, lib/hard-locale.h, m4/hard-locale.m4, m4/ltargz.m4:
      New files.
      * lib/Makefile.am, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c-ctype.h, lib/c-strcase.h, lib/c-strcasecmp.c,
      lib/c-strcaseeq.h, lib/c-strncasecmp.c, lib/config.charset,
      lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h, lib/errno.in.h,
      lib/error.c, lib/error.h, lib/exitfail.c, lib/exitfail.h,
      lib/fcntl.in.h, lib/float+.h, lib/float.c, lib/float.in.h, lib/getopt.c,
      lib/getopt.in.h, lib/getopt1.c, lib/getopt_int.h, lib/gettext.h,
      lib/gettimeofday.c, lib/hard-locale.h, lib/intprops.h, lib/isatty.c,
      lib/itold.c, lib/localcharset.c, lib/localcharset.h, lib/lstat.c,
      lib/malloc.c, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c, lib/mempcpy.c,
      lib/mkstemp.c, lib/mkstemps.c, lib/msvc-inval.c, lib/msvc-inval.h,
      lib/msvc-nothrow.c, lib/msvc-nothrow.h, lib/pathmax.h,
      lib/printf-args.c, lib/printf-args.h, lib/printf-parse.c,
      lib/printf-parse.h, lib/progname.c, lib/progname.h, lib/quote.h,
      lib/quotearg.c, lib/quotearg.h, lib/rawmemchr.c, lib/ref-add.sin,
      lib/ref-del.sin, lib/secure_getenv.c, lib/size_max.h, lib/sleep.c,
      lib/stat.c, lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h,
      lib/stdint.in.h, lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c,
      lib/strcasecmp.c, lib/strchrnul.c, lib/streq.h, lib/strerror-override.c,
      lib/strerror-override.h, lib/strerror.c, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sys_stat.in.h, lib/sys_time.in.h,
      lib/sys_types.in.h, lib/sys_wait.in.h, lib/sysexits.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.in.h,
      lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h, lib/vsnprintf.c,
      lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc-oversized.h, lib/xalloc.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/codeset.m4, m4/configmake.m4, m4/dirname.m4, m4/double-slash-root.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/glibc21.m4, m4/gnulib-cache.m4,
      m4/gnulib-common.m4, m4/gnulib-comp.m4, m4/gnulib-tool.m4,
      m4/include_next.m4, m4/intmax_t.m4, m4/inttypes_h.m4, m4/isatty.m4,
      m4/largefile.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/longlong.m4, m4/lstat.m4, m4/malloc.m4,
      m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4, m4/mbstate_t.m4,
      m4/memchr.m4, m4/mempcpy.m4, m4/mkstemp.m4, m4/mkstemps.m4,
      m4/mmap-anon.m4, m4/msvc-inval.m4, m4/msvc-nothrow.m4, m4/multiarch.m4,
      m4/nocrash.m4, m4/off_t.m4, m4/pathmax.m4, m4/printf.m4, m4/quote.m4,
      m4/quotearg.m4, m4/rawmemchr.m4, m4/secure_getenv.m4, m4/size_max.m4,
      m4/sleep.m4, m4/ssize_t.m4, m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4,
      m4/stddef_h.m4, m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4,
      m4/stdlib_h.m4, m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4,
      m4/strerror.m4, m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4,
      m4/strnlen.m4, m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4,
      tests/core/randtgba.cc, tools/snippet/arg-nonnull.h,
      tools/snippet/c++defs.h, tools/snippet/warn-on-use.h: Update.
      f6c7ed54
  9. 27 Jul, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      active -Wsuggest-override where supported · 64c70366
      Alexandre Duret-Lutz authored
      * m4/gccwarn.m4: Add the option.
      * bin/autfilt.cc, bin/common_output.hh, bin/dstar2tgba.cc,
      bin/ltl2tgba.cc, bin/ltl2tgta.cc, bin/ltlcross.cc, bin/ltldo.cc,
      bin/ltlfilt.cc, bin/ltlgrind.cc, spot/kripke/kripke.hh,
      spot/ltsmin/ltsmin.cc, spot/ta/ta.hh, spot/ta/tgtaproduct.hh,
      spot/taalgos/dot.cc, spot/taalgos/reachiter.hh,
      spot/taalgos/statessetbuilder.cc, spot/taalgos/stats.cc,
      spot/twa/twaproduct.cc, spot/twaalgos/emptiness.cc,
      spot/twaalgos/gtec/ce.cc, spot/twaalgos/lbtt.cc,
      spot/twaalgos/ndfs_result.hxx, spot/twaalgos/stats.hh,
      spot/twaalgos/tau03opt.cc, tests/core/ngraph.cc: Add suggested override
      qualifiers.
      64c70366
  10. 24 Jul, 2016 1 commit
  11. 16 Feb, 2016 1 commit
  12. 28 Nov, 2015 1 commit
  13. 10 Nov, 2015 2 commits
    • Alexandre Duret-Lutz's avatar
      Use -Bsymbolic-functions and -Bsymbolic · 86abd6c1
      Alexandre Duret-Lutz authored
      This avoids dynamic lookups to resolve symbols inside the library, but
      disallows symbol interposition.
      
      * m4/symbolic.m4: New file.
      * buddy/m4/symbolic.m4: New link.
      * configure.ac, buddy/configure.ac: Add AX_SYMBOLIC.
      * buddy/src/Makefile.am, iface/ltsmin/Makefile.am, src/Makefile.am,
      wrap/python/Makefile.am: Link with $(SYMBOLIC_LDFLAGS).
      86abd6c1
    • Alexandre Duret-Lutz's avatar
      Update gnulib. · 4a773382
      Alexandre Duret-Lutz authored
      * lib/Makefile.am, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c-ctype.c, lib/c-ctype.h, lib/c-strcase.h,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strncasecmp.c,
      lib/config.charset, lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/float+.h, lib/float.c,
      lib/float.in.h, lib/getopt.c, lib/getopt.in.h, lib/getopt1.c,
      lib/getopt_int.h, lib/gettext.h, lib/gettimeofday.c, lib/intprops.h,
      lib/isatty.c, lib/itold.c, lib/localcharset.c, lib/localcharset.h,
      lib/lstat.c, lib/malloc.c, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c,
      lib/mempcpy.c, lib/mkstemp.c, lib/mkstemps.c, lib/msvc-inval.c,
      lib/msvc-inval.h, lib/msvc-nothrow.c, lib/msvc-nothrow.h, lib/pathmax.h,
      lib/printf-args.c, lib/printf-args.h, lib/printf-parse.c,
      lib/printf-parse.h, lib/progname.c, lib/progname.h, lib/quote.h,
      lib/quotearg.c, lib/quotearg.h, lib/rawmemchr.c, lib/ref-add.sin,
      lib/ref-del.sin, lib/secure_getenv.c, lib/size_max.h, lib/sleep.c,
      lib/stat.c, lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h,
      lib/stdint.in.h, lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c,
      lib/strcasecmp.c, lib/strchrnul.c, lib/streq.h, lib/strerror-override.c,
      lib/strerror-override.h, lib/strerror.c, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sys_stat.in.h, lib/sys_time.in.h,
      lib/sys_types.in.h, lib/sys_wait.in.h, lib/sysexits.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.c,
      lib/unistd.in.h, lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h,
      lib/vsnprintf.c, lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc-oversized.h, lib/xalloc.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/codeset.m4, m4/configmake.m4, m4/dirname.m4, m4/double-slash-root.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/glibc21.m4, m4/gnulib-cache.m4,
      m4/gnulib-common.m4, m4/gnulib-comp.m4, m4/gnulib-tool.m4,
      m4/include_next.m4, m4/intmax_t.m4, m4/inttypes_h.m4, m4/isatty.m4,
      m4/largefile.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/longlong.m4, m4/lstat.m4, m4/malloc.m4,
      m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4, m4/mbstate_t.m4,
      m4/memchr.m4, m4/mempcpy.m4, m4/mkstemp.m4, m4/mkstemps.m4,
      m4/mmap-anon.m4, m4/msvc-inval.m4, m4/msvc-nothrow.m4, m4/multiarch.m4,
      m4/nocrash.m4, m4/off_t.m4, m4/pathmax.m4, m4/printf.m4, m4/quote.m4,
      m4/quotearg.m4, m4/rawmemchr.m4, m4/secure_getenv.m4, m4/size_max.m4,
      m4/sleep.m4, m4/ssize_t.m4, m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4,
      m4/stddef_h.m4, m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4,
      m4/stdlib_h.m4, m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4,
      m4/strerror.m4, m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4,
      m4/strnlen.m4, m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4,
      tools/snippet/arg-nonnull.h, tools/snippet/c++defs.h,
      tools/snippet/warn-on-use.h: Update.
      4a773382
  14. 21 Oct, 2015 1 commit
  15. 03 Oct, 2015 3 commits
    • Alexandre Duret-Lutz's avatar
      c8785a28
    • Alexandre Duret-Lutz's avatar
      Add noexcept to various constructors related to graphs. · 54935cb9
      Alexandre Duret-Lutz authored
      * m4/gccwarn.m4: Enable -Wnoexcept.
      * src/graph/graph.hh, src/twa/acc.hh, src/twa/twagraph.hh: Add noexcept
      to various constructors.
      54935cb9
    • Alexandre Duret-Lutz's avatar
      Enable -Wmissing-declarations in development mode. · 20365e53
      Alexandre Duret-Lutz authored
      * m4/gccwarn.m4: Add -Wmissing-declarations.
      * iface/ltsmin/ltsmin.cc, iface/ltsmin/modelcheck.cc,
      src/bin/common_trans.cc, src/bin/genltl.cc, src/bin/ltlgrind.cc,
      src/tests/acc.cc, src/tests/bitvect.cc, src/tests/checkpsl.cc,
      src/tests/checkta.cc, src/tests/complementation.cc,
      src/tests/consterm.cc, src/tests/emptchk.cc, src/tests/equalsf.cc,
      src/tests/graph.cc, src/tests/ikwiad.cc, src/tests/intvcmp2.cc,
      src/tests/intvcomp.cc, src/tests/kind.cc, src/tests/length.cc,
      src/tests/ltlprod.cc, src/tests/ltlrel.cc, src/tests/ngraph.cc,
      src/tests/randtgba.cc, src/tests/readltl.cc, src/tests/reduc.cc,
      src/tests/syntimpl.cc, src/tests/tostring.cc, src/tests/twagraph.cc,
      src/tl/contain.cc, src/twaalgos/dtgbacomp.cc, src/twaalgos/minimize.cc:
      Add "static" and move in anonymous namespace when appropriate.
      20365e53
  16. 30 Sep, 2015 1 commit
  17. 26 Sep, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      nullptr cleanup for -Wzero-as-null-pointer-constant · 1729a79a
      Alexandre Duret-Lutz authored
      Fixes #106.
      
      * m4/gccwarn.m4: Use -Wzero-as-null-pointer-constant if supported.
      * src/bin/autfilt.cc, src/bin/common_aoutput.cc,
      src/bin/common_finput.cc, src/bin/common_finput.hh,
      src/bin/common_output.cc, src/bin/common_output.hh,
      src/bin/common_post.cc, src/bin/common_r.hh, src/bin/common_range.hh,
      src/bin/common_setup.cc, src/bin/common_trans.cc, src/bin/dstar2tgba.cc,
      src/bin/genltl.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc,
      src/bin/ltlcross.cc, src/bin/ltldo.cc, src/bin/ltlfilt.cc,
      src/bin/ltlgrind.cc, src/bin/randaut.cc, src/bin/randltl.cc,
      src/bin/spot-x.cc, src/kripke/kripkeexplicit.cc, src/ltlast/formula.cc,
      src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh,
      src/ltlvisit/relabel.cc, src/ltlvisit/relabel.hh,
      src/ltlvisit/simplify.cc, src/ltlvisit/snf.hh, src/misc/fixpool.hh,
      src/misc/mspool.hh, src/misc/hash.hh, src/misc/optionmap.cc,
      src/misc/satsolver.cc, src/misc/tmpfile.cc, src/misc/tmpfile.hh,
      src/priv/bddalloc.cc, src/ta/ta.hh, src/ta/taexplicit.cc,
      src/ta/taexplicit.hh, src/ta/taproduct.cc, src/ta/tgtaexplicit.hh,
      src/ta/tgtaproduct.cc, src/taalgos/minimize.cc,
      src/taalgos/reachiter.cc, src/taalgos/tgba2ta.cc,
      src/tests/complementation.cc, src/tests/ikwiad.cc,
      src/tests/randtgba.cc, src/tests/reduc.cc, src/twa/bdddict.cc,
      src/twa/bddprint.cc, src/twa/taatgba.cc, src/twa/twa.cc,
      src/twa/twagraph.hh, src/twa/twaproduct.cc,
      src/twa/twasafracomplement.cc, src/twaalgos/bfssteps.cc,
      src/twaalgos/compsusp.cc, src/twaalgos/dtgbasat.cc,
      src/twaalgos/emptiness.cc, src/twaalgos/gtec/ce.cc,
      src/twaalgos/gv04.cc, src/twaalgos/ltl2taa.cc,
      src/twaalgos/ltl2tgba_fm.cc, src/twaalgos/ltl2tgba_fm.hh,
      src/twaalgos/magic.cc, src/twaalgos/minimize.cc,
      src/twaalgos/ndfs_result.hxx, src/twaalgos/postproc.cc,
      src/twaalgos/postproc.hh, src/twaalgos/reachiter.cc,
      src/twaalgos/reducerun.cc, src/twaalgos/safety.hh,
      src/twaalgos/sccfilter.hh, src/twaalgos/se05.cc,
      src/twaalgos/simulation.cc, src/twaalgos/tau03.cc,
      src/twaalgos/tau03opt.cc, src/twaalgos/translate.cc,
      src/twaalgos/translate.hh, utf8/utf8/core.h,
      bench/stutter/stutter_invariance_formulas.cc, iface/ltsmin/ltsmin.cc,
      iface/ltsmin/modelcheck.cc: Use nullptr to fix the warning.
      1729a79a
  18. 30 Jun, 2015 1 commit
  19. 01 Apr, 2015 1 commit
  20. 30 Oct, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      buddy: rename libbdd to libbddx · ad8d2422
      Alexandre Duret-Lutz authored
      * buddy/src/bdd.h, buddy/src/bvec.h, buddy/src/fdd.h: Rename as...
      * buddy/src/bddx.h, buddy/src/bvecx.h, buddy/src/fddx.h: ... these.
      * buddy/src/Makefile.am: Build libbddx.la instead of libbdd.la.
      * buddy/examples/Makefile.def: Use it.
      * Makefile.am, buddy/src/bddtest.cxx, buddy/src/bvec.c,
      buddy/src/cppext.cxx, buddy/src/fdd.c, buddy/src/imatrix.h,
      buddy/src/kernel.h, buddy/examples/adder/adder.cxx,
      buddy/examples/bddcalc/parser_.h, buddy/examples/bddtest/bddtest.cxx,
      buddy/examples/cmilner/cmilner.c, buddy/examples/fdd/fdd.cxx,
      buddy/examples/milner/milner.cxx, buddy/examples/money/money.cxx,
      buddy/examples/queen/queen.cxx, buddy/examples/solitare/solitare.cxx,
      m4/buddy.m4, src/ltlvisit/apcollect.hh, src/ltlvisit/simplify.hh,
      src/misc/bddlt.hh, src/misc/bddop.hh, src/misc/minato.hh,
      src/priv/acccompl.hh, src/priv/accconv.hh, src/priv/accmap.hh,
      src/priv/bddalloc.cc, src/tgba/bdddict.hh, src/tgba/bddprint.hh,
      src/tgba/tgbamask.hh, src/tgba/tgbasafracomplement.cc,
      src/tgbaalgos/emptiness.hh, src/tgbaalgos/gtec/sccstack.hh,
      src/tgbaalgos/neverclaim.cc, src/tgbaalgos/powerset.cc,
      src/tgbaalgos/sccfilter.hh, src/tgbaalgos/sccinfo.hh,
      src/tgbaalgos/weight.hh, wrap/python/buddy.i: Adjust.
      * NEWS, README: Document it.
      ad8d2422
  21. 26 Oct, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      lib: remove the gethrxtime module · 15710e7b
      Alexandre Duret-Lutz authored
      Since we are now using std::chrono from C++11.
      
      * lib/gethrxtime.c, lib/gethrxtime.h, lib/gettime.c, lib/timespec.c,
      lib/timespec.h, lib/xtime.c, lib/xtime.h, m4/clock_time.m4,
      m4/gethrxtime.m4, m4/gettime.m4, m4/timespec.m4: Delete these files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Adjust.
      15710e7b
  22. 12 Feb, 2014 4 commits
  23. 18 Dec, 2013 1 commit
  24. 17 Dec, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      Upgrade to gnulib 6b8f1dd1a21ce49319795391e21adf645b64db3c. · 7cfda699
      Alexandre Duret-Lutz authored
      * m4/absolute-header.m4: New file.
      * lib/Makefile.am, lib/argp-fmtstream.h, lib/argp.h, lib/error.c,
      lib/gethrxtime.h, lib/intprops.h, lib/localcharset.c,
      lib/quotearg.c, lib/stdio.in.h, lib/strerror-override.h,
      lib/sys_time.in.h, lib/timespec.h, lib/unistd.in.h, lib/verify.h,
      lib/wctype.in.h, lib/xalloc.h, lib/xsize.h, lib/xtime.h,
      m4/configmake.m4, m4/extern-inline.m4, m4/gnulib-comp.m4,
      m4/include_next.m4, m4/unistd_h.m4: Update to today's gnulib.
      7cfda699
  25. 30 Sep, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      Add support for Bison 3.0. · 3c943d83
      Alexandre Duret-Lutz authored
      We still want to remain compatible with Bison 2.7 so instead of fixing
      all the new errors reported by 3.0 we silence some warning.  We should
      fix these for good once Bison 3.0 is more widespread.
      
      * m4/bison.m4: New file. Test if bison support -Wno-empty-rule and
      -Wno-deprecated.  Define BISON and BISON_EXTRA_FLAGS.
      * configure.ac: Do not test for yacc, use the above test instead.
      * src/dstarparse/Makefile.am, src/eltlparse/Makefile.am,
      src/kripkeparse/Makefile.am, src/ltlparse/Makefile.am,
      src/neverparse/Makefile.am, src/tgbaparse/Makefile.am: Use BISON
      and BISON_EXTRA_FLAGS.
      * src/ltlparse/ltlparse.yy: Fix or and remove useless %right/%nonassoc
      settings.
      * src/eltlparse/eltlparse.yy: Likewise, and remove "%pure-parser".
      3c943d83
  26. 26 Sep, 2013 1 commit
  27. 21 Aug, 2013 1 commit
  28. 29 Jul, 2013 7 commits
    • Alexandre Duret-Lutz's avatar
      gnulib: import module mkstemps · c0e7f9de
      Alexandre Duret-Lutz authored
      * lib/mkstemps.c, m4/mkstemps.m4: New files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      c0e7f9de
    • Alexandre Duret-Lutz's avatar
      Fix gnulib to not replace gmtime() and localtime() · 16b7206d
      Alexandre Duret-Lutz authored
      It cause issues when <ctime> latter undefine the gmtime/localtime macros
      to access the real function.
      
      * lib/Makefile.am, lib/time.in.h, m4/gettimeofday.m4, m4/time_h.m4:
      These changes are mostly based on the patch posted in
      http://permalink.gmane.org/gmane.comp.lib.gnulib.bugs/29229 but
      with the prototype of gmtime() and localtime() fixed.
      16b7206d
    • Alexandre Duret-Lutz's avatar
      Update to gnulib 312af25ba220ccff068245f0dc698e9bcc8f03f8 · 96f32c73
      Alexandre Duret-Lutz authored
      * lib/.gitignore, lib/c-ctype.h, lib/msvc-inval.c, lib/stdalign.in.h,
      lib/vasnprintf.c, lib/verify.h, m4/extern-inline.m4, m4/stdalign.m4:
      Update.
      96f32c73
    • Alexandre Duret-Lutz's avatar
      gnulib: add module stpcpy · ab3a4f54
      Alexandre Duret-Lutz authored
      * lib/stpcpy.c, m4/stpcpy.m4: New files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      ab3a4f54
    • Alexandre Duret-Lutz's avatar
      gnulib: Add modules argmatch and isatty. · 35129e5a
      Alexandre Duret-Lutz authored
      * lib/argmatch.c, lib/argmatch.h, lib/c-ctype.c, lib/c-ctype.h,
      lib/config.charset, lib/c-strcasecmp.c, lib/c-strcaseeq.h,
      lib/c-strcase.h, lib/c-strncasecmp.c, lib/exitfail.c, lib/exitfail.h,
      lib/isatty.c, lib/localcharset.c, lib/localcharset.h, lib/mbrtowc.c,
      lib/mbsinit.c, lib/quotearg.c, lib/quotearg.h, lib/quote.h,
      lib/ref-add.sin, lib/ref-del.sin, lib/streq.h, lib/wctype-h.c,
      lib/wctype.in.h, lib/xalloc-die.c, lib/xalloc.h, lib/xalloc-oversized.h,
      lib/xmalloc.c, m4/codeset.m4, m4/configmake.m4, m4/glibc21.m4,
      m4/isatty.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/mbrtowc.m4, m4/mbsinit.m4, m4/mbstate_t.m4,
      m4/quotearg.m4, m4/quote.m4, m4/wctype_h.m4, m4/xalloc.m4: New files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      35129e5a
    • Alexandre Duret-Lutz's avatar
      gnulib: Upgrade and build as a libtool library. · f8cdaf0c
      Alexandre Duret-Lutz authored
      * lib/Makefile.am lib/alloca.in.h lib/argp-ba.c lib/argp-eexst.c
      lib/argp-fmtstream.c lib/argp-fmtstream.h lib/argp-fs-xinl.c
      lib/argp-help.c lib/argp-namefrob.h lib/argp-parse.c lib/argp-pin.c
      lib/argp-pv.c lib/argp-pvh.c lib/argp-xinl.c lib/argp.h lib/asnprintf.c
      lib/basename-lgpl.c lib/dirname-lgpl.c lib/dirname.h lib/dosname.h
      lib/errno.in.h lib/error.c lib/error.h lib/fcntl.in.h lib/float+.h
      lib/float.c lib/float.in.h lib/gethrxtime.c lib/gethrxtime.h
      lib/getopt.c lib/getopt.in.h lib/getopt1.c lib/getopt_int.h
      lib/gettext.h lib/gettime.c lib/gettimeofday.c lib/intprops.h
      lib/itold.c lib/lstat.c lib/malloc.c lib/memchr.c lib/mempcpy.c
      lib/mkstemp.c lib/msvc-inval.c lib/msvc-inval.h lib/msvc-nothrow.c
      lib/msvc-nothrow.h lib/pathmax.h lib/printf-args.c lib/printf-args.h
      lib/printf-parse.c lib/printf-parse.h lib/progname.c lib/progname.h
      lib/rawmemchr.c lib/size_max.h lib/sleep.c lib/stat.c lib/stdalign.in.h
      lib/stdbool.in.h lib/stddef.in.h lib/stdint.in.h lib/stdio.in.h
      lib/stdlib.in.h lib/strcasecmp.c lib/strchrnul.c lib/strerror-override.c
      lib/strerror-override.h lib/strerror.c lib/string.in.h lib/strings.in.h
      lib/stripslash.c lib/strncasecmp.c lib/strndup.c lib/strnlen.c
      lib/sys_stat.in.h lib/sys_time.in.h lib/sys_types.in.h lib/sys_wait.in.h
      lib/sysexits.in.h lib/tempname.c lib/tempname.h lib/time.in.h
      lib/timespec.h lib/unistd.in.h lib/vasnprintf.c lib/vasnprintf.h
      lib/verify.h lib/vsnprintf.c lib/wchar.in.h lib/xsize.h lib/xtime.h
      m4/00gnulib.m4 m4/alloca.m4 m4/argp.m4 m4/clock_time.m4 m4/dirname.m4
      m4/double-slash-root.m4 m4/errno_h.m4 m4/error.m4 m4/exponentd.m4
      m4/extensions.m4 m4/extern-inline.m4 m4/fcntl-o.m4 m4/fcntl_h.m4
      m4/float_h.m4 m4/gethrxtime.m4 m4/getopt.m4 m4/gettime.m4
      m4/gettimeofday.m4 m4/gnulib-cache.m4 m4/gnulib-common.m4
      m4/gnulib-comp.m4 m4/gnulib-tool.m4 m4/include_next.m4 m4/intmax_t.m4
      m4/inttypes_h.m4 m4/largefile.m4 m4/longlong.m4 m4/lstat.m4 m4/malloc.m4
      m4/math_h.m4 m4/memchr.m4 m4/mempcpy.m4 m4/mkstemp.m4 m4/mmap-anon.m4
      m4/msvc-inval.m4 m4/msvc-nothrow.m4 m4/multiarch.m4 m4/nocrash.m4
      m4/off_t.m4 m4/pathmax.m4 m4/printf.m4 m4/rawmemchr.m4 m4/size_max.m4
      m4/sleep.m4 m4/ssize_t.m4 m4/stat.m4 m4/stdalign.m4 m4/stdbool.m4
      m4/stddef_h.m4 m4/stdint.m4 m4/stdint_h.m4 m4/stdio_h.m4 m4/stdlib_h.m4
      m4/strcase.m4 m4/strchrnul.m4 m4/strerror.m4 m4/string_h.m4
      m4/strings_h.m4 m4/strndup.m4 m4/strnlen.m4 m4/sys_socket_h.m4
      m4/sys_stat_h.m4 m4/sys_time_h.m4 m4/sys_types_h.m4 m4/sys_wait_h.m4
      m4/sysexits.m4 m4/tempname.m4 m4/time_h.m4 m4/timespec.m4 m4/unistd_h.m4
      m4/vasnprintf.m4 m4/vsnprintf.m4 m4/warn-on-use.m4 m4/wchar_h.m4
      m4/wchar_t.m4 m4/wint_t.m4 m4/xsize.m4 tools/snippet/arg-nonnull.h
      tools/snippet/c++defs.h tools/snippet/warn-on-use.h: Upgrade to
      gnulib 9ceceed274f83094127f9ff0bf061293c9fe1e7f.
      * m4/secure_getenv.m4, lib/secure_getenv.c, lib/unistd.c,
      lib/xtime.c: New files.
      * src/bin/Makefile.am: Link with the libtool library.
      f8cdaf0c
    • Alexandre Duret-Lutz's avatar
      Enable -fvisibility=hidden for src/misc/. · 2ef8917b
      Alexandre Duret-Lutz authored
      * configure.ac: Check for -fvisibility support.
      * m4/ax_check_compile_flag.m4: New file.
      * src/misc/common.hh: New file.
      * src/misc/Makefile.am: Add common.hh, and adjust to use -fvisibility.
      * src/misc/bareword.hh, src/misc/escape.hh, src/misc/formater.hh,
      src/misc/intvcmp2.hh, src/misc/intvcomp.hh, src/misc/memusage.hh,
      src/misc/minato.hh, src/misc/optionmap.hh, src/misc/random.hh,
      src/misc/timer.hh, src/misc/version.hh, src/misc/bddop.hh: Include
      common.hh and add SPOT_API tags.
      * src/misc/acccompl.hh, src/misc/accconv.hh: Prepare for upcoming
      move.
      * src/sanity/style.test: Ignore SPOT_API tags.
      * wrap/python/Makefile.am: Ignore SPOT_API.
      * wrap/python/spot.i: Do not emit binding for bddalloc.hh.
      * wrap/python/tests/minato.py: Do not use bdd_allocator.
      2ef8917b