Skip to content

Commit

Permalink
Added module updates?
Browse files Browse the repository at this point in the history
  • Loading branch information
@JonathanHenson
JonathanHenson committed Apr 15, 2019
1 parent c6b9845 commit 6d948c0
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion aws-c-common
Submodule aws-c-common updated 78 files
+0 −75 .cbmc-batch/array_list_proofs.c
+0 −60 .cbmc-batch/byte_buf_proofs.c
+0 −0 .cbmc-batch/include/aws/common/config.h
+36 −0 .cbmc-batch/include/proof_helpers/make_common_data_structures.h
+29 −0 .cbmc-batch/include/proof_helpers/nondet.h
+0 −2 .cbmc-batch/jobs/Makefile
+212 −0 .cbmc-batch/jobs/Makefile.common
+27 −0 .cbmc-batch/jobs/aws_add_size_checked/Makefile
+49 −0 .cbmc-batch/jobs/aws_add_size_checked/aws_add_size_checked_harness.c
+4 −0 .cbmc-batch/jobs/aws_add_size_checked/cbmc-batch.yaml
+27 −0 .cbmc-batch/jobs/aws_add_size_saturating/Makefile
+39 −0 .cbmc-batch/jobs/aws_add_size_saturating/aws_add_size_saturating_harness.c
+4 −0 .cbmc-batch/jobs/aws_add_size_saturating/cbmc-batch.yaml
+28 −8 .cbmc-batch/jobs/aws_array_list_init_dynamic/Makefile
+21 −0 .cbmc-batch/jobs/aws_array_list_init_dynamic/aws_array_list_init_dynamic_harness.c
+2 −2 .cbmc-batch/jobs/aws_array_list_init_dynamic/cbmc-batch.yaml
+28 −8 .cbmc-batch/jobs/aws_array_list_init_static/Makefile
+22 −0 .cbmc-batch/jobs/aws_array_list_init_static/aws_array_list_init_static_harness.c
+2 −2 .cbmc-batch/jobs/aws_array_list_init_static/cbmc-batch.yaml
+33 −8 .cbmc-batch/jobs/aws_array_list_push_back/Makefile
+15 −0 .cbmc-batch/jobs/aws_array_list_push_back/aws_array_list_push_back_harness.c
+2 −2 .cbmc-batch/jobs/aws_array_list_push_back/cbmc-batch.yaml
+33 −8 .cbmc-batch/jobs/aws_array_list_set_at/Makefile
+18 −0 .cbmc-batch/jobs/aws_array_list_set_at/aws_array_list_set_at_harness.c
+2 −2 .cbmc-batch/jobs/aws_array_list_set_at/cbmc-batch.yaml
+31 −8 .cbmc-batch/jobs/aws_byte_buf_append/Makefile
+23 −0 .cbmc-batch/jobs/aws_byte_buf_append/aws_byte_buf_append_harness.c
+2 −2 .cbmc-batch/jobs/aws_byte_buf_append/cbmc-batch.yaml
+29 −8 .cbmc-batch/jobs/aws_byte_buf_from_c_str/Makefile
+19 −0 .cbmc-batch/jobs/aws_byte_buf_from_c_str/aws_byte_buf_from_c_str_harness.c
+2 −2 .cbmc-batch/jobs/aws_byte_buf_from_c_str/cbmc-batch.yaml
+28 −8 .cbmc-batch/jobs/aws_byte_buf_init/Makefile
+14 −0 .cbmc-batch/jobs/aws_byte_buf_init/aws_byte_buf_init_harness.c
+2 −2 .cbmc-batch/jobs/aws_byte_buf_init/cbmc-batch.yaml
+27 −0 .cbmc-batch/jobs/aws_mul_size_checked/Makefile
+57 −0 .cbmc-batch/jobs/aws_mul_size_checked/aws_mul_size_checked_harness.c
+4 −0 .cbmc-batch/jobs/aws_mul_size_checked/cbmc-batch.yaml
+27 −0 .cbmc-batch/jobs/aws_mul_size_saturating/Makefile
+47 −0 .cbmc-batch/jobs/aws_mul_size_saturating/aws_mul_size_saturating_harness.c
+4 −0 .cbmc-batch/jobs/aws_mul_size_saturating/cbmc-batch.yaml
+0 −955 .cbmc-batch/patches/string.c
+0 −32 .cbmc-batch/proof_helpers.h
+43 −0 .cbmc-batch/source/make_common_data_structures.c
+33 −0 .cbmc-batch/stubs/error.c
+84 −0 .cbmc-batch/stubs/memcpy_override.c
+1 −0 .travis.yml
+8 −4 CMakeLists.txt
+2 −1 codebuild/create-projects.py
+1 −1 format-check.sh
+2 −1 include/aws/common/array_list.h
+51 −17 include/aws/common/array_list.inl
+19 −19 include/aws/common/atomics_gnu_old.inl
+14 −0 include/aws/common/byte_buf.h
+4 −2 include/aws/common/clock.h
+66 −0 include/aws/common/command_line_parser.h
+15 −0 include/aws/common/common.h
+56 −0 include/aws/common/environment.h
+6 −0 include/aws/common/error.h
+71 −39 include/aws/common/math.fallback.inl
+60 −6 include/aws/common/math.gcc_overflow.inl
+94 −20 include/aws/common/math.gcc_x64_asm.inl
+75 −17 include/aws/common/math.h
+63 −9 include/aws/common/math.msvc.inl
+19 −9 source/array_list.c
+120 −0 source/command_line_parser.c
+12 −0 source/common.c
+10 −0 source/error.c
+1 −1 source/hash_table.c
+55 −0 source/posix/environment.c
+5 −1 source/string.c
+62 −0 source/windows/environment.c
+20 −4 tests/CMakeLists.txt
+2 −0 tests/array_list_test.c
+36 −1 tests/byte_buf_test.c
+22 −0 tests/clock_test.c
+163 −0 tests/command_line_parser_test.c
+54 −0 tests/environment_test.c
+310 −10 tests/math_test.c
2 changes: 1 addition & 1 deletion aws-c-io
Submodule aws-c-io updated 83 files
+1 −1 .clang-tidy
+66 −1 .gitignore
+44 −15 CMakeLists.txt
+16 −0 codebuild/ancient-linux-x64.yml
+16 −0 codebuild/ancient-linux-x86.yml
+5 −3 codebuild/common-posix.sh
+23 −0 codebuild/linux-libuv-x64.yml
+2 −6 include/aws/io/channel.h
+2 −6 include/aws/io/channel_bootstrap.h
+2 −6 include/aws/io/event_loop.h
+1 −1 include/aws/io/exports.h
+72 −0 include/aws/io/file_utils.h
+2 −6 include/aws/io/host_resolver.h
+3 −6 include/aws/io/io.h
+82 −0 include/aws/io/log_channel.h
+86 −0 include/aws/io/log_formatter.h
+83 −0 include/aws/io/log_writer.h
+299 −0 include/aws/io/logging.h
+2 −6 include/aws/io/message_pool.h
+2 −6 include/aws/io/pipe.h
+2 −17 include/aws/io/pki_utils.h
+5 −6 include/aws/io/socket.h
+2 −6 include/aws/io/socket_channel_handler.h
+204 −31 include/aws/io/tls_channel_handler.h
+132 −0 include/aws/io/uri.h
+100 −74 include/aws/testing/io_testing_channel.h
+3 −3 source/alpn_handler.c
+90 −0 source/bsd/kqueue_event_loop.c
+125 −5 source/channel.c
+247 −15 source/channel_bootstrap.c
+8 −0 source/darwin/darwin_pki_utils.c
+164 −87 source/darwin/secure_transport_tls_channel_handler.c
+103 −0 source/file_utils_shared.c
+151 −18 source/host_resolver.c
+3 −0 source/io.c
+161 −41 source/libuv/uv_event_loop.c
+85 −4 source/linux/epoll_event_loop.c
+257 −0 source/log_channel.c
+229 −0 source/log_formatter.c
+126 −0 source/log_writer.c
+377 −0 source/logging.c
+0 −1 source/message_pool.c
+10 −66 source/pki_utils.c
+44 −0 source/posix/file_utils.c
+6 −0 source/posix/host_resolver.c
+453 −24 source/posix/socket.c
+200 −44 source/s2n/s2n_tls_channel_handler.c
+70 −0 source/socket_channel_handler.c
+269 −31 source/tls_channel_handler.c
+426 −0 source/uri.c
+90 −0 source/windows/file_utils.c
+6 −0 source/windows/host_resolver.c
+78 −3 source/windows/iocp/iocp_event_loop.c
+676 −17 source/windows/iocp/socket.c
+412 −136 source/windows/secure_channel_tls_handler.c
+70 −16 source/windows/windows_pki_utils.c
+10 −0 source/windows/winsock_init.c
+60 −6 tests/CMakeLists.txt
+35 −21 tests/alpn_handler_test.c
+3 −3 tests/default_host_resolver_test.c
+0 −4 tests/event_loop_test.c
+34 −0 tests/file_utils_test.c
+26 −0 tests/io_testing_channel_test.c
+256 −0 tests/logging/log_channel_test.c
+241 −0 tests/logging/log_formatter_test.c
+171 −0 tests/logging/log_writer_test.c
+31 −0 tests/logging/logging_filter_debug_static_test.c
+31 −0 tests/logging/logging_filter_error_static_test.c
+31 −0 tests/logging/logging_filter_fatal_static_test.c
+31 −0 tests/logging/logging_filter_info_static_test.c
+31 −0 tests/logging/logging_filter_none_static_test.c
+29 −0 tests/logging/logging_filter_trace_static_test.c
+31 −0 tests/logging/logging_filter_warn_static_test.c
+39 −0 tests/logging/logging_general_test.c
+46 −0 tests/logging/logging_test_utilities.c
+65 −0 tests/logging/logging_test_utilities.h
+136 −0 tests/logging/pipeline_logger_test.c
+124 −0 tests/logging/test_logger.c
+45 −0 tests/logging/test_logger.h
+0 −4 tests/pipe_test.c
+1 −1 tests/socket_test.c
+36 −19 tests/tls_handler_test.c
+505 −0 tests/uri_test.c
2 changes: 1 addition & 1 deletion aws-c-mqtt
Submodule aws-c-mqtt updated 9 files
+1 −0 .gitignore
+4 −1 CMakeLists.txt
+34 −22 include/aws/mqtt/client.h
+8 −3 include/aws/mqtt/private/client_impl.h
+44 −26 source/client.c
+44 −14 source/client_channel_handler.c
+1 −1 source/packets.c
+19 −14 tests/aws_iot_client_test.c
+14 −11 tests/paho_client_test.c

0 comments on commit 6d948c0

Please sign in to comment.