jruoho ba5cac7848 Formally verify PR standards/44777.

2011-04-10 10:49:43 +00:00

..

sys

…

d_bitstring_8.out

…

d_bitstring_27.out

…

d_bitstring_32.out

…

d_bitstring_49.out

…

d_bitstring_64.out

…

d_bitstring_67.out

…

Makefile

Formally verify PR standards/44777.

2011-04-10 10:49:43 +00:00

Makefile.inc

…

t_bitstring.c

…

t_glob.c

Verify that PR standards/21401 is no longer an issue.

2011-04-10 08:35:47 +00:00

t_inttypes.c

…

t_limits.c

…

t_netdb.c

Formally verify PR standards/44777.

2011-04-10 10:49:43 +00:00

t_paths.c

…

t_stdint.c

…

t_types.c

Fix comments.

2011-04-10 08:11:34 +00:00