Index of /muntsos/toolchain/libaws/src/


../                                                30-Jan-2019 00:02                   -
aws-attachments.adb                                01-Oct-2017 01:11               22190
aws-attachments.ads                                01-Oct-2017 01:11                9049
aws-client-hotplug.adb                             01-Oct-2017 01:11                5356
aws-client-hotplug.ads                             01-Oct-2017 01:11                3382
aws-client-http_utils.adb                          01-Oct-2017 01:11               46197
aws-client-http_utils.ads                          01-Oct-2017 01:11                7852
aws-client.adb                                     01-Oct-2017 01:11               40387
aws-client.ads                                     01-Oct-2017 01:11               26451
aws-communication-client.adb                       01-Oct-2017 01:11                3153
aws-communication-client.ads                       01-Oct-2017 01:11                2844
aws-communication-server.adb                       01-Oct-2017 01:11                5515
aws-communication-server.ads                       01-Oct-2017 01:11                3158
aws-communication.adb                              01-Oct-2017 01:11                3068
aws-communication.ads                              01-Oct-2017 01:11                3204
aws-config-ini.adb                                 01-Oct-2017 01:11                6362
aws-config-ini.ads                                 01-Oct-2017 01:11                2920
aws-config-set.adb                                 01-Oct-2017 01:11               21828
aws-config-set.ads                                 01-Oct-2017 01:11               18131
aws-config-utils.adb                               01-Oct-2017 01:11                7286
aws-config-utils.ads                               01-Oct-2017 01:11                3139
aws-config.adb                                     01-Oct-2017 01:11               23593
aws-config.ads                                     01-Oct-2017 01:11               31517
aws-containers-key_value.ads                       01-Oct-2017 01:11                2358
aws-containers-memory_streams.ads                  01-Oct-2017 01:11                2644
aws-containers-string_vectors.ads                  01-Oct-2017 01:11                2356
aws-containers-tables-set.ads                      01-Oct-2017 01:11                2811
aws-containers-tables.adb                          01-Oct-2017 01:11               14232
aws-containers-tables.ads                          01-Oct-2017 01:11                8361
aws-containers.ads                                 01-Oct-2017 01:11                2288
aws-cookie.adb                                     01-Oct-2017 01:11                8665
aws-cookie.ads                                     01-Oct-2017 01:11                7553
aws-default.ads                                    01-Oct-2017 01:11                8364
aws-digest.adb                                     01-Oct-2017 01:11                7902
aws-digest.ads                                     01-Oct-2017 01:11                3927
aws-dispatchers-callback.adb                       01-Oct-2017 01:11                2952
aws-dispatchers-callback.ads                       01-Oct-2017 01:11                3122
aws-dispatchers.adb                                01-Oct-2017 01:11                3847
aws-dispatchers.ads                                01-Oct-2017 01:11                3825
aws-exceptions.ads                                 01-Oct-2017 01:11                3598
aws-headers-set.adb                                01-Oct-2017 01:11                2439
aws-headers-set.ads                                01-Oct-2017 01:11                3430
aws-headers-values.adb                             01-Oct-2017 01:11               13775
aws-headers-values.ads                             01-Oct-2017 01:11                4866
aws-headers.adb                                    01-Oct-2017 01:11                8268
aws-headers.ads                                    01-Oct-2017 01:11                4826
aws-hotplug-get_status.adb                         01-Oct-2017 01:11                2973
aws-hotplug-get_status.ads                         01-Oct-2017 01:11                2473
aws-hotplug.adb                                    01-Oct-2017 01:11                7588
aws-hotplug.ads                                    01-Oct-2017 01:11                4784
aws-log.adb                                        01-Oct-2017 01:11               23589
aws-log.ads                                        01-Oct-2017 01:11                9753
aws-messages.adb                                   01-Oct-2017 01:11               24785
aws-messages.ads                                   01-Oct-2017 01:11               17284
aws-mime.adb                                       01-Oct-2017 01:11               15875
aws-mime.ads                                       01-Oct-2017 01:11                9118
aws-net-acceptors.adb                              01-Oct-2017 01:11               20259
aws-net-acceptors.ads                              01-Oct-2017 01:11                9089
aws-net-buffered.adb                               01-Oct-2017 01:11               12995
aws-net-buffered.ads                               01-Oct-2017 01:11                6459
aws-net-generic_sets.adb                           01-Oct-2017 01:11               11578
aws-net-generic_sets.ads                           01-Oct-2017 01:11                9560
aws-net-log-callbacks.adb                          01-Oct-2017 01:11                8603
aws-net-log-callbacks.ads                          01-Oct-2017 01:11                3528
aws-net-log.adb                                    01-Oct-2017 01:11                6102
aws-net-log.ads                                    01-Oct-2017 01:11                4745
aws-net-memory.adb                                 01-Oct-2017 01:11                8052
aws-net-memory.ads                                 01-Oct-2017 01:11                7069
aws-net-poll_events-g_poll.adb                     01-Oct-2017 01:11                5240
aws-net-poll_events-g_poll.ads                     01-Oct-2017 01:11                2701
aws-net-poll_events-wait.adb                       01-Oct-2017 01:11                2698
aws-net-poll_events.adb                            01-Oct-2017 01:11                9585
aws-net-poll_events.ads                            01-Oct-2017 01:11                3881
aws-net-sets.ads                                   01-Oct-2017 01:11                2382
aws-net-ssl-certificate-impl__dummy.adb            01-Oct-2017 01:11                2994
aws-net-ssl-certificate-impl__dummy.ads            01-Oct-2017 01:11                2612
aws-net-ssl-certificate-impl__gnutls.adb           01-Oct-2017 01:11               12301
aws-net-ssl-certificate-impl__gnutls.ads           01-Oct-2017 01:11                3221
aws-net-ssl-certificate-impl__openssl.adb          01-Oct-2017 01:11               12164
aws-net-ssl-certificate-impl__openssl.ads          01-Oct-2017 01:11                2971
aws-net-ssl-certificate.adb                        01-Oct-2017 01:11                3908
aws-net-ssl-certificate.ads                        01-Oct-2017 01:11                7583
aws-net-ssl-rsa_dh_generators.adb                  01-Oct-2017 01:11                5252
aws-net-ssl-rsa_dh_generators.ads                  01-Oct-2017 01:11                2920
aws-net-ssl.ads                                    01-Oct-2017 01:11               16100
aws-net-ssl__dummy.adb                             01-Oct-2017 01:11               11656
aws-net-ssl__gnutls.adb                            01-Oct-2017 01:11               70423
aws-net-ssl__openssl.adb                           01-Oct-2017 01:11               72160
aws-net-std.adb                                    01-Oct-2017 01:11               25921
aws-net-std.ads                                    01-Oct-2017 01:11                8175
aws-net-stream_io.adb                              01-Oct-2017 01:11                3654
aws-net-stream_io.ads                              01-Oct-2017 01:11                3420
aws-net-websocket-handshake_error.adb              01-Oct-2017 01:11                3046
aws-net-websocket-handshake_error.ads              01-Oct-2017 01:11                3111
aws-net-websocket-protocol-draft76.adb             01-Oct-2017 01:11                8333
aws-net-websocket-protocol-draft76.ads             01-Oct-2017 01:11                3601
aws-net-websocket-protocol-rfc6455.adb             01-Oct-2017 01:11               21494
aws-net-websocket-protocol-rfc6455.ads             01-Oct-2017 01:11                4010
aws-net-websocket-protocol.ads                     01-Oct-2017 01:11                3488
aws-net-websocket-registry-control.adb             01-Oct-2017 01:11                2551
aws-net-websocket-registry-control.ads             01-Oct-2017 01:11                2484
aws-net-websocket-registry-utils.adb               01-Oct-2017 01:11                2747
aws-net-websocket-registry-utils.ads               01-Oct-2017 01:11                2747
aws-net-websocket-registry.adb                     01-Oct-2017 01:11               39695
aws-net-websocket-registry.ads                     01-Oct-2017 01:11                7223
aws-net-websocket.adb                              01-Oct-2017 01:11               11879
aws-net-websocket.ads                              01-Oct-2017 01:11               12347
aws-net.adb                                        01-Oct-2017 01:11               19660
aws-net.ads                                        01-Oct-2017 01:11               19821
aws-os_lib.ads                                     01-Oct-2017 01:11               14954
aws-parameters-set.adb                             01-Oct-2017 01:11                2783
aws-parameters-set.ads                             01-Oct-2017 01:11                4737
aws-parameters.adb                                 01-Oct-2017 01:11                9256
aws-parameters.ads                                 01-Oct-2017 01:11                4397
aws-pop.adb                                        01-Oct-2017 01:11               23872
aws-pop.ads                                        01-Oct-2017 01:11                9738
aws-resources-embedded.adb                         01-Oct-2017 01:11                7580
aws-resources-embedded.ads                         01-Oct-2017 01:11                3840
aws-resources-files.adb                            01-Oct-2017 01:11                6286
aws-resources-files.ads                            01-Oct-2017 01:11                3061
aws-resources-streams-disk-once.adb                01-Oct-2017 01:11                2474
aws-resources-streams-disk-once.ads                01-Oct-2017 01:11                2707
aws-resources-streams-disk.adb                     01-Oct-2017 01:11                5681
aws-resources-streams-disk.ads                     01-Oct-2017 01:11                3739
aws-resources-streams-memory-zlib.adb              01-Oct-2017 01:11                5868
aws-resources-streams-memory-zlib.ads              01-Oct-2017 01:11                4883
aws-resources-streams-memory.adb                   01-Oct-2017 01:11                4365
aws-resources-streams-memory.ads                   01-Oct-2017 01:11                4699
aws-resources-streams-pipe.adb                     01-Oct-2017 01:11                5151
aws-resources-streams-pipe.ads                     01-Oct-2017 01:11                4024
aws-resources-streams-zlib.adb                     01-Oct-2017 01:11                7200
aws-resources-streams-zlib.ads                     01-Oct-2017 01:11                5569
aws-resources-streams.adb                          01-Oct-2017 01:11                2886
aws-resources-streams.ads                          01-Oct-2017 01:11                3856
aws-resources.adb                                  01-Oct-2017 01:11                7113
aws-resources.ads                                  01-Oct-2017 01:11                7919
aws-response-set.adb                               01-Oct-2017 01:11               15746
aws-response-set.ads                               01-Oct-2017 01:11                7681
aws-response.adb                                   01-Oct-2017 01:11               21885
aws-response.ads                                   01-Oct-2017 01:11               19775
aws-server-get_status.adb                          01-Oct-2017 01:11                2487
aws-server-get_status.ads                          01-Oct-2017 01:11                2410
aws-server-hotplug.adb                             01-Oct-2017 01:11               12778
aws-server-hotplug.ads                             01-Oct-2017 01:11                3751
aws-server-http_utils.adb                          01-Oct-2017 01:11               71924
aws-server-http_utils.adb.orig                     01-Oct-2017 01:11               72024
aws-server-http_utils.ads                          01-Oct-2017 01:11                4946
aws-server-log.adb                                 01-Oct-2017 01:11                7206
aws-server-log.ads                                 01-Oct-2017 01:11                5106
aws-server-protocol_handler.adb                    01-Oct-2017 01:11               14984
aws-server-push.adb                                01-Oct-2017 01:11               65222
aws-server-push.ads                                01-Oct-2017 01:11               17635
aws-server-status.adb                              01-Oct-2017 01:11               19793
aws-server-status.ads                              01-Oct-2017 01:11                4431
aws-server.adb                                     01-Oct-2017 01:11               36583
aws-server.ads                                     01-Oct-2017 01:11               21599
aws-services-callbacks.adb                         01-Oct-2017 01:11                3159
aws-services-callbacks.ads                         01-Oct-2017 01:11                2938
aws-services-directory.adb                         01-Oct-2017 01:11               19602
aws-services-directory.ads                         01-Oct-2017 01:11                5649
aws-services-dispatchers-linker.adb                01-Oct-2017 01:11                4422
aws-services-dispatchers-linker.ads                01-Oct-2017 01:11                3320
aws-services-dispatchers-method.adb                01-Oct-2017 01:11                6074
aws-services-dispatchers-method.ads                01-Oct-2017 01:11                4147
aws-services-dispatchers-timer.adb                 01-Oct-2017 01:11               18799
aws-services-dispatchers-timer.ads                 01-Oct-2017 01:11                7791
aws-services-dispatchers-transient_pages.adb       01-Oct-2017 01:11                4510
aws-services-dispatchers-transient_pages.ads       01-Oct-2017 01:11                3362
aws-services-dispatchers-uri.adb                   01-Oct-2017 01:11               10191
aws-services-dispatchers-uri.ads                   01-Oct-2017 01:11                5424
aws-services-dispatchers-virtual_host.adb          01-Oct-2017 01:11                8318
aws-services-dispatchers-virtual_host.ads          01-Oct-2017 01:11                4665
aws-services-dispatchers.ads                       01-Oct-2017 01:11                3741
aws-services-download.adb                          01-Oct-2017 01:11               20426
aws-services-download.ads                          01-Oct-2017 01:11                4682
aws-services-page_server.adb                       01-Oct-2017 01:11                6167
aws-services-page_server.ads                       01-Oct-2017 01:11                3916
aws-services-split_pages-alpha-bounded.adb         01-Oct-2017 01:11                6615
aws-services-split_pages-alpha-bounded.ads         01-Oct-2017 01:11                3925
aws-services-split_pages-alpha.adb                 01-Oct-2017 01:11                8466
aws-services-split_pages-alpha.ads                 01-Oct-2017 01:11                4837
aws-services-split_pages-shared.adb                01-Oct-2017 01:11                3258
aws-services-split_pages-shared.ads                01-Oct-2017 01:11                2719
aws-services-split_pages-uniform-alpha.adb         01-Oct-2017 01:11                6771
aws-services-split_pages-uniform-alpha.ads         01-Oct-2017 01:11                4680
aws-services-split_pages-uniform-overlapping.adb   01-Oct-2017 01:11                2835
aws-services-split_pages-uniform-overlapping.ads   01-Oct-2017 01:11                2917
aws-services-split_pages-uniform.adb               01-Oct-2017 01:11                5251
aws-services-split_pages-uniform.ads               01-Oct-2017 01:11                3622
aws-services-split_pages.adb                       01-Oct-2017 01:11                7220
aws-services-split_pages.ads                       01-Oct-2017 01:11                6112
aws-services-transient_pages-control.adb           01-Oct-2017 01:11                3212
aws-services-transient_pages-control.ads           01-Oct-2017 01:11                2795
aws-services-transient_pages.adb                   01-Oct-2017 01:11                8640
aws-services-transient_pages.ads                   01-Oct-2017 01:11                3811
aws-services-web_block-context.adb                 01-Oct-2017 01:11                8099
aws-services-web_block-context.ads                 01-Oct-2017 01:11                4929
aws-services-web_block-registry.adb                01-Oct-2017 01:11               24839
aws-services-web_block-registry.ads                01-Oct-2017 01:11                7370
aws-services-web_block.ads                         01-Oct-2017 01:11                2343
aws-services-web_mail.adb                          01-Oct-2017 01:11               22107
aws-services-web_mail.ads                          01-Oct-2017 01:11                5407
aws-services.ads                                   01-Oct-2017 01:11                2402
aws-session-control.adb                            01-Oct-2017 01:11                3387
aws-session-control.ads                            01-Oct-2017 01:11                2753
aws-session.adb                                    01-Oct-2017 01:11               31114
aws-session.ads                                    01-Oct-2017 01:11               10301
aws-smtp-authentication-plain.adb                  01-Oct-2017 01:11                5393
aws-smtp-authentication-plain.ads                  01-Oct-2017 01:11                3490
aws-smtp-authentication.ads                        01-Oct-2017 01:11                3086
aws-smtp-client.adb                                01-Oct-2017 01:11               20415
aws-smtp-client.ads                                01-Oct-2017 01:11                8686
aws-smtp-messages-set.adb                          01-Oct-2017 01:11                2692
aws-smtp-messages-set.ads                          01-Oct-2017 01:11                2551
aws-smtp-messages.adb                              01-Oct-2017 01:11                2647
aws-smtp-messages.ads                              01-Oct-2017 01:11                3248
aws-smtp-server.adb                                01-Oct-2017 01:11                8760
aws-smtp-server.ads                                01-Oct-2017 01:11                3086
aws-smtp.adb                                       01-Oct-2017 01:11                9631
aws-smtp.ads                                       01-Oct-2017 01:11                7060
aws-status-set.adb                                 01-Oct-2017 01:11               23432
aws-status-set.ads                                 01-Oct-2017 01:11                7021
aws-status-translate_set.adb                       01-Oct-2017 01:11                2907
aws-status-translate_set.ads                       01-Oct-2017 01:11                2514
aws-status-translate_table.adb                     01-Oct-2017 01:11                2813
aws-status-translate_table.ads                     01-Oct-2017 01:11                2581
aws-status.adb                                     01-Oct-2017 01:11               23772
aws-status.ads                                     01-Oct-2017 01:11               16123
aws-templates.ads                                  01-Oct-2017 01:11                2285
aws-translator-conversion.adb                      01-Oct-2017 01:11                6608
aws-translator.adb                                 01-Oct-2017 01:11               18111
aws-translator.ads                                 01-Oct-2017 01:11                6763
aws-url-raise_url_error.adb                        01-Oct-2017 01:11                2387
aws-url-raise_url_error.ads                        01-Oct-2017 01:11                2432
aws-url-set.adb                                    01-Oct-2017 01:11               16173
aws-url-set.ads                                    01-Oct-2017 01:11                3044
aws-url.adb                                        01-Oct-2017 01:11               19241
aws-url.ads                                        01-Oct-2017 01:11               10251
aws-utils-streams.adb                              01-Oct-2017 01:11                4383
aws-utils-streams.ads                              01-Oct-2017 01:11                3893
aws-utils.adb                                      01-Oct-2017 01:11               30456
aws-utils.ads                                      01-Oct-2017 01:11               17485
aws.ads                                            01-Oct-2017 01:11                2454
memory_streams.adb                                 01-Oct-2017 01:11               14508
memory_streams.ads                                 01-Oct-2017 01:11                5320
ssl-thin__dummy.ads                                01-Oct-2017 01:11                2615
ssl-thin__gnutls.ads                               01-Oct-2017 01:11               62593
ssl-thin__openssl.ads                              01-Oct-2017 01:11               71315
ssl.ads                                            01-Oct-2017 01:11                2476
templates_parser-cached_files.adb                  01-Oct-2017 01:11               10541
templates_parser-configuration.ads                 01-Oct-2017 01:11                2851
templates_parser-data.adb                          01-Oct-2017 01:11               30938
templates_parser-debug.adb                         01-Oct-2017 01:11                3845
templates_parser-debug.ads                         01-Oct-2017 01:11                2526
templates_parser-definitions.adb                   01-Oct-2017 01:11                5087
templates_parser-expr.adb                          01-Oct-2017 01:11               24876
templates_parser-filter.adb                        01-Oct-2017 01:11               54700
templates_parser-input.adb                         01-Oct-2017 01:11                6335
templates_parser-input.ads                         01-Oct-2017 01:11                3403
templates_parser-macro.adb                         01-Oct-2017 01:11               19627
templates_parser-print_tree.adb                    01-Oct-2017 01:11                7161
templates_parser-query.adb                         01-Oct-2017 01:11                3274
templates_parser-query.ads                         01-Oct-2017 01:11                2902
templates_parser-simplifier.adb                    01-Oct-2017 01:11                9580
templates_parser-utils.adb                         01-Oct-2017 01:11               14645
templates_parser-utils.ads                         01-Oct-2017 01:11                4158
templates_parser.adb                               01-Oct-2017 01:11              197200
templates_parser.ads                               01-Oct-2017 01:11               25547
templates_parser_tasking.adb                       01-Oct-2017 01:11                3656
templates_parser_tasking.ads                       01-Oct-2017 01:11                2636
with_everything.adb                                01-Oct-2017 01:11                3584
wrappers.c                                         01-Oct-2017 01:11                2252
zlib-streams.adb                                   01-Oct-2017 01:11                5856
zlib-streams.ads                                   01-Oct-2017 01:11                3967
zlib-thin.adb                                      01-Oct-2017 01:11                3316
zlib-thin.ads                                      01-Oct-2017 01:11               15465
zlib.adb                                           01-Oct-2017 01:11               19897
zlib.ads                                           01-Oct-2017 01:11               13300