[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / libstdc++-v3 / include / ext / 
treeda740ca311672aa03dbe411d80e014f89f636a70
drwxr-xr-x   ..
-rw-r--r-- 19255 algorithm
-rw-r--r-- 3972 aligned_buffer.h
-rw-r--r-- 6139 alloc_traits.h
-rw-r--r-- 3784 atomicity.h
-rw-r--r-- 31997 bitmap_allocator.h
-rw-r--r-- 4447 cast.h
-rw-r--r-- 6570 cmath
-rw-r--r-- 16353 codecvt_specializations.h
-rw-r--r-- 7542 concurrence.h
-rw-r--r-- 5883 debug_allocator.h
-rw-r--r-- 2247 enc_filebuf.h
-rw-r--r-- 6392 extptr_allocator.h
-rw-r--r-- 14288 functional
-rw-r--r-- 4031 iterator
-rw-r--r-- 6138 malloc_allocator.h
-rw-r--r-- 7173 memory
-rw-r--r-- 23628 mt_allocator.h
-rw-r--r-- 2186 new_allocator.h
-rw-r--r-- 4739 numeric
-rw-r--r-- 8227 numeric_traits.h
drwxr-xr-x - pb_ds
-rw-r--r-- 5556 pod_char_traits.h
-rw-r--r-- 20051 pointer.h
-rw-r--r-- 8965 pool_allocator.h
-rw-r--r-- 113183 random
-rw-r--r-- 60330 random.tcc
-rw-r--r-- 3278 rb_tree
-rw-r--r-- 23759 rc_string_base.h
-rw-r--r-- 89633 rope
-rw-r--r-- 48905 ropeimpl.h
-rw-r--r-- 29900 slist
-rw-r--r-- 16393 sso_string_base.h
-rw-r--r-- 5688 stdio_filebuf.h
-rw-r--r-- 8762 stdio_sync_filebuf.h
-rw-r--r-- 3597 string_conversions.h
-rw-r--r-- 25981 throw_allocator.h
-rw-r--r-- 6627 type_traits.h
-rw-r--r-- 16480 typelist.h
-rw-r--r-- 110632 vstring.h
-rw-r--r-- 23614 vstring.tcc
-rw-r--r-- 3141 vstring_fwd.h
-rw-r--r-- 5885 vstring_util.h