Index of /muntsos/toolchain/libaws/src/


../                                                13-Jan-2024 14:35                   -
COPYING                                            12-Nov-2021 11:30               35147
aws-attachments.adb                                15-Jan-2021 18:26               22519
aws-attachments.ads                                15-Jan-2021 18:26                9415
aws-client-hotplug.adb                             15-Jan-2021 18:26                5356
aws-client-hotplug.ads                             15-Jan-2021 18:26                3382
aws-client-http_utils.adb                          15-Jan-2021 18:26               48855
aws-client-http_utils.ads                          15-Jan-2021 18:26                7832
aws-client.adb                                     15-Jan-2021 18:26               44011
aws-client.ads                                     15-Jan-2021 18:26               27234
aws-communication-client.adb                       15-Jan-2021 18:26                3153
aws-communication-client.ads                       15-Jan-2021 18:26                2844
aws-communication-server.adb                       15-Jan-2021 18:26                5515
aws-communication-server.ads                       15-Jan-2021 18:26                3158
aws-communication.adb                              15-Jan-2021 18:26                3068
aws-communication.ads                              15-Jan-2021 18:26                3204
aws-config-ini.adb                                 15-Jan-2021 18:26                6546
aws-config-ini.ads                                 15-Jan-2021 18:26                3130
aws-config-set.adb                                 15-Jan-2021 18:26               23453
aws-config-set.ads                                 15-Jan-2021 18:26               19012
aws-config-utils.adb                               15-Jan-2021 18:26                7286
aws-config-utils.ads                               15-Jan-2021 18:26                3139
aws-config.adb                                     15-Jan-2021 18:26               25755
aws-config.ads                                     15-Jan-2021 18:26               34256
aws-containers-key_value.ads                       15-Jan-2021 18:26                2358
aws-containers-memory_streams.ads                  15-Jan-2021 18:26                2644
aws-containers-string_vectors.ads                  15-Jan-2021 18:26                2356
aws-containers-tables-set.ads                      15-Jan-2021 18:26                2811
aws-containers-tables.adb                          15-Jan-2021 18:26               14159
aws-containers-tables.ads                          15-Jan-2021 18:26                8679
aws-containers.ads                                 15-Jan-2021 18:26                2288
aws-cookie.adb                                     15-Jan-2021 18:26                9242
aws-cookie.ads                                     15-Jan-2021 18:26                7761
aws-default.ads                                    15-Jan-2021 18:26                8985
aws-digest.adb                                     15-Jan-2021 18:26                7902
aws-digest.ads                                     15-Jan-2021 18:26                3927
aws-dispatchers-callback.adb                       15-Jan-2021 18:26                2952
aws-dispatchers-callback.ads                       15-Jan-2021 18:26                3122
aws-dispatchers.adb                                15-Jan-2021 18:26                3847
aws-dispatchers.ads                                15-Jan-2021 18:26                3825
aws-exceptions.ads                                 15-Jan-2021 18:26                3598
aws-headers-set.adb                                15-Jan-2021 18:26                2439
aws-headers-set.ads                                15-Jan-2021 18:26                3430
aws-headers-values.adb                             15-Jan-2021 18:26               13775
aws-headers-values.ads                             15-Jan-2021 18:26                4866
aws-headers.adb                                    15-Jan-2021 18:26                8280
aws-headers.ads                                    15-Jan-2021 18:26                4826
aws-hotplug-get_status.adb                         15-Jan-2021 18:26                2973
aws-hotplug-get_status.ads                         15-Jan-2021 18:26                2473
aws-hotplug.adb                                    15-Jan-2021 18:26                7588
aws-hotplug.ads                                    15-Jan-2021 18:26                4784
aws-log.adb                                        15-Jan-2021 18:26               23589
aws-log.ads                                        15-Jan-2021 18:26                9753
aws-messages.adb                                   15-Jan-2021 18:26               24755
aws-messages.ads                                   15-Jan-2021 18:26               17726
aws-mime.adb                                       15-Jan-2021 18:26               15875
aws-mime.ads                                       15-Jan-2021 18:26                9118
aws-net-acceptors.adb                              15-Jan-2021 18:26               20433
aws-net-acceptors.ads                              15-Jan-2021 18:26                9183
aws-net-buffered.adb                               15-Jan-2021 18:26               12995
aws-net-buffered.ads                               15-Jan-2021 18:26                6459
aws-net-generic_sets.adb                           15-Jan-2021 18:26               11578
aws-net-generic_sets.ads                           15-Jan-2021 18:26                9560
aws-net-log-callbacks.adb                          15-Jan-2021 18:26                8603
aws-net-log-callbacks.ads                          15-Jan-2021 18:26                3528
aws-net-log.adb                                    15-Jan-2021 18:26                6102
aws-net-log.ads                                    15-Jan-2021 18:26                4745
aws-net-memory.adb                                 15-Jan-2021 18:26                8052
aws-net-memory.ads                                 15-Jan-2021 18:26                7113
aws-net-poll_events-g_poll.adb                     15-Jan-2021 18:26                5145
aws-net-poll_events-g_poll.ads                     15-Jan-2021 18:26                2701
aws-net-poll_events-wait.adb                       15-Jan-2021 18:26                2698
aws-net-poll_events.adb                            15-Jan-2021 18:26                9568
aws-net-poll_events.ads                            15-Jan-2021 18:26                3881
aws-net-sets.ads                                   15-Jan-2021 18:26                2382
aws-net-ssl-certificate-impl.adb                   15-Jan-2021 18:26               12164
aws-net-ssl-certificate-impl.ads                   15-Jan-2021 18:26                2971
aws-net-ssl-certificate.adb                        15-Jan-2021 18:26                3908
aws-net-ssl-certificate.ads                        15-Jan-2021 18:26                7583
aws-net-ssl-rsa_dh_generators.adb                  15-Jan-2021 18:26                5252
aws-net-ssl-rsa_dh_generators.ads                  15-Jan-2021 18:26                2920
aws-net-ssl.adb                                    15-Jan-2021 18:26               72296
aws-net-ssl.ads                                    15-Jan-2021 18:26               16543
aws-net-std.adb                                    07-Dec-2023 17:07               27510
aws-net-std.ads                                    15-Jan-2021 18:26                8339
aws-net-stream_io.adb                              15-Jan-2021 18:26                3654
aws-net-stream_io.ads                              15-Jan-2021 18:26                3420
aws-net-websocket-handshake_error.adb              15-Jan-2021 18:26                3046
aws-net-websocket-handshake_error.ads              15-Jan-2021 18:26                3115
aws-net-websocket-protocol-draft76.adb             15-Jan-2021 18:26                8944
aws-net-websocket-protocol-draft76.ads             15-Jan-2021 18:26                3773
aws-net-websocket-protocol-rfc6455.adb             15-Jan-2021 18:26               25850
aws-net-websocket-protocol-rfc6455.ads             15-Jan-2021 18:26                4376
aws-net-websocket-protocol.ads                     15-Jan-2021 18:26                4098
aws-net-websocket-registry-control.adb             15-Jan-2021 18:26                2551
aws-net-websocket-registry-control.ads             15-Jan-2021 18:26                2484
aws-net-websocket-registry-utils.adb               15-Jan-2021 18:26                2747
aws-net-websocket-registry-utils.ads               15-Jan-2021 18:26                2747
aws-net-websocket-registry.adb                     15-Jan-2021 18:26               48848
aws-net-websocket-registry.ads                     15-Jan-2021 18:26                8849
aws-net-websocket.adb                              15-Jan-2021 18:26               19432
aws-net-websocket.ads                              15-Jan-2021 18:26               16134
aws-net.adb                                        15-Jan-2021 18:26               20165
aws-net.ads                                        15-Jan-2021 18:26               19984
aws-os_lib.ads-aarch64-muntsos-linux-gnu           07-Dec-2023 17:07               15108
aws-os_lib.ads-arm-muntsos-linux-gnueabihf         07-Dec-2023 17:07               15112
aws-parameters-set.adb                             15-Jan-2021 18:26                2783
aws-parameters-set.ads                             15-Jan-2021 18:26                4737
aws-parameters.adb                                 15-Jan-2021 18:26                9788
aws-parameters.ads                                 15-Jan-2021 18:26                4711
aws-pop.adb                                        15-Jan-2021 18:26               23952
aws-pop.ads                                        15-Jan-2021 18:26                9738
aws-resources-embedded.adb                         15-Jan-2021 18:26                7580
aws-resources-embedded.ads                         15-Jan-2021 18:26                3840
aws-resources-files.adb                            15-Jan-2021 18:26                6197
aws-resources-files.ads                            15-Jan-2021 18:26                3061
aws-resources-streams-disk-once.adb                15-Jan-2021 18:26                2474
aws-resources-streams-disk-once.ads                15-Jan-2021 18:26                2707
aws-resources-streams-disk.adb                     15-Jan-2021 18:26                5649
aws-resources-streams-disk.ads                     15-Jan-2021 18:26                3739
aws-resources-streams-memory-zlib.adb              15-Jan-2021 18:26                5868
aws-resources-streams-memory-zlib.ads              15-Jan-2021 18:26                4883
aws-resources-streams-memory.adb                   15-Jan-2021 18:26                4365
aws-resources-streams-memory.ads                   15-Jan-2021 18:26                4699
aws-resources-streams-pipe.adb                     15-Jan-2021 18:26                5151
aws-resources-streams-pipe.ads                     15-Jan-2021 18:26                4024
aws-resources-streams-zlib.adb                     15-Jan-2021 18:26                7200
aws-resources-streams-zlib.ads                     15-Jan-2021 18:26                5569
aws-resources-streams.adb                          15-Jan-2021 18:26                2886
aws-resources-streams.ads                          15-Jan-2021 18:26                3843
aws-resources.adb                                  15-Jan-2021 18:26                7100
aws-resources.ads                                  15-Jan-2021 18:26                7919
aws-response-set.adb                               15-Jan-2021 18:26               15801
aws-response-set.ads                               15-Jan-2021 18:26                7681
aws-response.adb                                   15-Jan-2021 18:26               21946
aws-response.ads                                   15-Jan-2021 18:26               19859
aws-server-get_status.adb                          15-Jan-2021 18:26                2487
aws-server-get_status.ads                          15-Jan-2021 18:26                2410
aws-server-hotplug.adb                             15-Jan-2021 18:26               12792
aws-server-hotplug.ads                             15-Jan-2021 18:26                3751
aws-server-http_utils.adb                          15-Jan-2021 18:26               73657
aws-server-http_utils.ads                          15-Jan-2021 18:26                4946
aws-server-log.adb                                 15-Jan-2021 18:26                7206
aws-server-log.ads                                 15-Jan-2021 18:26                5106
aws-server-protocol_handler.adb                    15-Jan-2021 18:26               15035
aws-server-push.adb                                15-Jan-2021 18:26               65156
aws-server-push.ads                                15-Jan-2021 18:26               17635
aws-server-status.adb                              15-Jan-2021 18:26               19755
aws-server-status.ads                              15-Jan-2021 18:26                4431
aws-server.adb                                     15-Jan-2021 18:26               37678
aws-server.ads                                     15-Jan-2021 18:26               21795
aws-services-callbacks.adb                         15-Jan-2021 18:26                3159
aws-services-callbacks.ads                         15-Jan-2021 18:26                2925
aws-services-directory.adb                         15-Jan-2021 18:26               19602
aws-services-directory.ads                         15-Jan-2021 18:26                5649
aws-services-dispatchers-linker.adb                15-Jan-2021 18:26                4422
aws-services-dispatchers-linker.ads                15-Jan-2021 18:26                3320
aws-services-dispatchers-method.adb                15-Jan-2021 18:26                6074
aws-services-dispatchers-method.ads                15-Jan-2021 18:26                4147
aws-services-dispatchers-timer.adb                 15-Jan-2021 18:26               18799
aws-services-dispatchers-timer.ads                 15-Jan-2021 18:26                7791
aws-services-dispatchers-transient_pages.adb       15-Jan-2021 18:26                4510
aws-services-dispatchers-transient_pages.ads       15-Jan-2021 18:26                3362
aws-services-dispatchers-uri.adb                   15-Jan-2021 18:26               10191
aws-services-dispatchers-uri.ads                   15-Jan-2021 18:26                5424
aws-services-dispatchers-virtual_host.adb          15-Jan-2021 18:26                8318
aws-services-dispatchers-virtual_host.ads          15-Jan-2021 18:26                4665
aws-services-dispatchers.ads                       15-Jan-2021 18:26                3741
aws-services-download.adb                          15-Jan-2021 18:26               20426
aws-services-download.ads                          15-Jan-2021 18:26                4682
aws-services-page_server.adb                       15-Jan-2021 18:26                6167
aws-services-page_server.ads                       15-Jan-2021 18:26                3916
aws-services-split_pages-alpha-bounded.adb         15-Jan-2021 18:26                6615
aws-services-split_pages-alpha-bounded.ads         15-Jan-2021 18:26                3925
aws-services-split_pages-alpha.adb                 15-Jan-2021 18:26                8466
aws-services-split_pages-alpha.ads                 15-Jan-2021 18:26                4837
aws-services-split_pages-shared.adb                15-Jan-2021 18:26                3258
aws-services-split_pages-shared.ads                15-Jan-2021 18:26                2719
aws-services-split_pages-uniform-alpha.adb         15-Jan-2021 18:26                6771
aws-services-split_pages-uniform-alpha.ads         15-Jan-2021 18:26                4680
aws-services-split_pages-uniform-overlapping.adb   15-Jan-2021 18:26                2835
aws-services-split_pages-uniform-overlapping.ads   15-Jan-2021 18:26                2917
aws-services-split_pages-uniform.adb               15-Jan-2021 18:26                5251
aws-services-split_pages-uniform.ads               15-Jan-2021 18:26                3622
aws-services-split_pages.adb                       15-Jan-2021 18:26                7316
aws-services-split_pages.ads                       15-Jan-2021 18:26                6112
aws-services-transient_pages-control.adb           15-Jan-2021 18:26                3212
aws-services-transient_pages-control.ads           15-Jan-2021 18:26                2795
aws-services-transient_pages.adb                   15-Jan-2021 18:26                8640
aws-services-transient_pages.ads                   15-Jan-2021 18:26                3811
aws-services-web_block-context.adb                 15-Jan-2021 18:26                8099
aws-services-web_block-context.ads                 15-Jan-2021 18:26                4929
aws-services-web_block-registry.adb                15-Jan-2021 18:26               24839
aws-services-web_block-registry.ads                15-Jan-2021 18:26                7370
aws-services-web_block.ads                         15-Jan-2021 18:26                2343
aws-services-web_mail.adb                          15-Jan-2021 18:26               22094
aws-services-web_mail.ads                          15-Jan-2021 18:26                5407
aws-services.ads                                   15-Jan-2021 18:26                2402
aws-session-control.adb                            15-Jan-2021 18:26                3578
aws-session-control.ads                            15-Jan-2021 18:26                2753
aws-session.adb                                    15-Jan-2021 18:26               33147
aws-session.ads                                    15-Jan-2021 18:26               10584
aws-smtp-authentication-plain.adb                  15-Jan-2021 18:26                5393
aws-smtp-authentication-plain.ads                  15-Jan-2021 18:26                3490
aws-smtp-authentication.ads                        15-Jan-2021 18:26                3086
aws-smtp-client.adb                                15-Jan-2021 18:26               21615
aws-smtp-client.ads                                15-Jan-2021 18:26                9550
aws-smtp-messages-set.adb                          15-Jan-2021 18:26                2692
aws-smtp-messages-set.ads                          15-Jan-2021 18:26                2551
aws-smtp-messages.adb                              15-Jan-2021 18:26                2647
aws-smtp-messages.ads                              15-Jan-2021 18:26                3248
aws-smtp-server.adb                                15-Jan-2021 18:26                8417
aws-smtp-server.ads                                15-Jan-2021 18:26                3086
aws-smtp.adb                                       15-Jan-2021 18:26                9893
aws-smtp.ads                                       15-Jan-2021 18:26                7301
aws-status-set.adb                                 15-Jan-2021 18:26               25691
aws-status-set.ads                                 15-Jan-2021 18:26                7277
aws-status-translate_set.adb                       15-Jan-2021 18:26                2907
aws-status-translate_set.ads                       15-Jan-2021 18:26                2514
aws-status-translate_table.adb                     15-Jan-2021 18:26                2813
aws-status-translate_table.ads                     15-Jan-2021 18:26                2581
aws-status.adb                                     15-Jan-2021 18:26               24163
aws-status.ads                                     15-Jan-2021 18:26               16548
aws-templates.ads                                  15-Jan-2021 18:26                2285
aws-translator-conversion.adb                      15-Jan-2021 18:26                7474
aws-translator.adb                                 15-Jan-2021 18:26               18533
aws-translator.ads                                 15-Jan-2021 18:26                6921
aws-url-raise_url_error.adb                        15-Jan-2021 18:26                2387
aws-url-raise_url_error.ads                        15-Jan-2021 18:26                2432
aws-url-set.adb                                    15-Jan-2021 18:26               17406
aws-url-set.ads                                    15-Jan-2021 18:26                3250
aws-url.adb                                        15-Jan-2021 18:26               20385
aws-url.ads                                        15-Jan-2021 18:26               10658
aws-utils-streams.adb                              15-Jan-2021 18:26                4383
aws-utils-streams.ads                              15-Jan-2021 18:26                3893
aws-utils.adb                                      15-Jan-2021 18:26               30547
aws-utils.ads                                      15-Jan-2021 18:26               17506
aws.ads                                            15-Jan-2021 18:26                2454
memory_streams.adb                                 15-Jan-2021 18:26               14508
memory_streams.ads                                 15-Jan-2021 18:26                5320
ssl-thin.ads                                       15-Jan-2021 18:26               74176
ssl.ads                                            15-Jan-2021 18:26                2476
templates_parser-cached_files.adb                  15-Jan-2021 18:26               10541
templates_parser-configuration.ads                 15-Jan-2021 18:26                2851
templates_parser-data.adb                          15-Jan-2021 18:26               31403
templates_parser-debug.adb                         15-Jan-2021 18:26                3845
templates_parser-debug.ads                         15-Jan-2021 18:26                2526
templates_parser-definitions.adb                   15-Jan-2021 18:26                5087
templates_parser-expr.adb                          15-Jan-2021 18:26               24991
templates_parser-filter.adb                        15-Jan-2021 18:26               55417
templates_parser-input.adb                         15-Jan-2021 18:26                6335
templates_parser-input.ads                         15-Jan-2021 18:26                3403
templates_parser-macro.adb                         15-Jan-2021 18:26               19719
templates_parser-print_tree.adb                    15-Jan-2021 18:26                7685
templates_parser-query.adb                         15-Jan-2021 18:26                3274
templates_parser-query.ads                         15-Jan-2021 18:26                2902
templates_parser-simplifier.adb                    15-Jan-2021 18:26                9681
templates_parser-utils.adb                         15-Jan-2021 18:26               14645
templates_parser-utils.ads                         15-Jan-2021 18:26                4158
templates_parser-version.adb                       15-Jan-2021 18:26                 167
templates_parser.adb                               15-Jan-2021 18:26              212905
templates_parser.ads                               15-Jan-2021 18:26               26711
templates_parser_tasking.adb                       15-Jan-2021 18:26                3656
templates_parser_tasking.ads                       15-Jan-2021 18:26                2636
with_everything.adb                                15-Jan-2021 18:26                3584
wrappers.c                                         15-Jan-2021 18:26                4139
zlib-streams.adb                                   15-Jan-2021 18:26                5878
zlib-streams.ads                                   15-Jan-2021 18:26                4000
zlib-thin.adb                                      15-Jan-2021 18:26                3316
zlib-thin.ads                                      15-Jan-2021 18:26               12587
zlib.adb                                           12-Nov-2021 11:30               19906
zlib.ads                                           15-Jan-2021 18:26               13293