Commit ca5f7b8
Merge subtree update for toolchain nightly-2025-08-01 (model-checking#441)
This is an automated PR to merge library subtree updates from 2025-07-31
(rust-lang/rust@3048886) to 2025-08-01
(rust-lang/rust@adcb3d3), inclusive.
This is a clean merge, no conflicts were detected. **Do not remove or
edit the following annotations:**
git-subtree-dir: library
git-subtree-split: 158ca24
---------
Signed-off-by: xizheyin <[email protected]>
Signed-off-by: Ayush Singh <[email protected]>
Co-authored-by: Ralf Jung <[email protected]>
Co-authored-by: Marijn Schouten <[email protected]>
Co-authored-by: Josh Triplett <[email protected]>
Co-authored-by: Matthias Krüger <[email protected]>
Co-authored-by: Folkert de Vries <[email protected]>
Co-authored-by: okaneco <[email protected]>
Co-authored-by: Folkert de Vries <[email protected]>
Co-authored-by: Sayantan Chakraborty <[email protected]>
Co-authored-by: nazo6 <[email protected]>
Co-authored-by: bors <[email protected]>
Co-authored-by: Jakub Beránek <[email protected]>
Co-authored-by: Orson Peters <[email protected]>
Co-authored-by: León Orell Valerian Liehr <[email protected]>
Co-authored-by: xizheyin <[email protected]>
Co-authored-by: Deadbeef <[email protected]>
Co-authored-by: René Kijewski <[email protected]>
Co-authored-by: Nik Revenco <[email protected]>
Co-authored-by: The Miri Cronjob Bot <[email protected]>
Co-authored-by: Tim (Theemathas) Chirananthavat <[email protected]>
Co-authored-by: Chris Denton <[email protected]>
Co-authored-by: Samuel Tardieu <[email protected]>
Co-authored-by: Travis Cross <[email protected]>
Co-authored-by: Amanieu d'Antras <[email protected]>
Co-authored-by: Oli Scherer <[email protected]>
Co-authored-by: David Mládek <[email protected]>
Co-authored-by: SunkenPotato <[email protected]>
Co-authored-by: Cameron Steffen <[email protected]>
Co-authored-by: Martin Ombura Jr <[email protected]>
Co-authored-by: Madhav Madhusoodanan <[email protected]>
Co-authored-by: sayantn <[email protected]>
Co-authored-by: Trevor Gross <[email protected]>
Co-authored-by: WANG Rui <[email protected]>
Co-authored-by: Luigi Sartor Piucco <[email protected]>
Co-authored-by: Julien THILLARD <[email protected]>
Co-authored-by: The rustc-josh-sync Cronjob Bot <[email protected]>
Co-authored-by: usamoi <[email protected]>
Co-authored-by: Rémy Rakic <[email protected]>
Co-authored-by: Nurzhan Sakén <[email protected]>
Co-authored-by: ltdk <[email protected]>
Co-authored-by: bjorn3 <[email protected]>
Co-authored-by: Guillaume Gomez <[email protected]>
Co-authored-by: Evgenii Zheltonozhskii <[email protected]>
Co-authored-by: roblabla <[email protected]>
Co-authored-by: 许杰友 Jieyou Xu (Joe) <[email protected]>
Co-authored-by: Ayush Singh <[email protected]>
Co-authored-by: Kornel <[email protected]>
Co-authored-by: Jonas Platte <[email protected]>
Co-authored-by: Alex Crichton <[email protected]>
Co-authored-by: Zachary S <[email protected]>
Co-authored-by: Jeremy Smart <[email protected]>
Co-authored-by: Ivan Tadeu Ferreira Antunes Filho <[email protected]>
Co-authored-by: Alisa Sireneva <[email protected]>
Co-authored-by: Trevor Gross <[email protected]>
Co-authored-by: Jacob Pratt <[email protected]>
Co-authored-by: Scott McMurray <[email protected]>
Co-authored-by: xonx <[email protected]>
Co-authored-by: Yosh <[email protected]>
Co-authored-by: joboet <[email protected]>
Co-authored-by: Stuart Cook <[email protected]>
Co-authored-by: Connor Tsui <[email protected]>
Co-authored-by: Aandreba <[email protected]>
Co-authored-by: Lucas Werkmeister <[email protected]>
Co-authored-by: Balt <[email protected]>
Co-authored-by: Tsukasa OI <[email protected]>
Co-authored-by: gitbot <git@bot>
Co-authored-by: Michael Tautschnig <[email protected]>
Co-authored-by: Felipe R. Monteiro <[email protected]>1 parent bba1224 commit ca5f7b8
File tree
16 files changed
+477
-68
lines changed- library
- alloc/src
- collections
- vec_deque
- vec
- std_detect
- src/detect
- arch
- os
- linux
- tests
- test/src
- scripts
- kani-std-analysis
- tool_config
- verifast-proofs/alloc/collections
- linked_list.rs-negative
- original
- verified
- linked_list.rs
- original
- verified
16 files changed
+477
-68
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
825 | 825 | | |
826 | 826 | | |
827 | 827 | | |
828 | | - | |
| 828 | + | |
829 | 829 | | |
830 | 830 | | |
831 | 831 | | |
| |||
844 | 844 | | |
845 | 845 | | |
846 | 846 | | |
| 847 | + | |
| 848 | + | |
| 849 | + | |
| 850 | + | |
| 851 | + | |
| 852 | + | |
| 853 | + | |
| 854 | + | |
| 855 | + | |
| 856 | + | |
| 857 | + | |
| 858 | + | |
| 859 | + | |
| 860 | + | |
| 861 | + | |
| 862 | + | |
| 863 | + | |
| 864 | + | |
| 865 | + | |
| 866 | + | |
| 867 | + | |
| 868 | + | |
847 | 869 | | |
848 | | - | |
| 870 | + | |
849 | 871 | | |
850 | 872 | | |
851 | 873 | | |
| 874 | + | |
852 | 875 | | |
853 | 876 | | |
854 | 877 | | |
| |||
876 | 899 | | |
877 | 900 | | |
878 | 901 | | |
879 | | - | |
| 902 | + | |
880 | 903 | | |
881 | 904 | | |
882 | 905 | | |
| |||
893 | 916 | | |
894 | 917 | | |
895 | 918 | | |
| 919 | + | |
| 920 | + | |
| 921 | + | |
| 922 | + | |
| 923 | + | |
| 924 | + | |
| 925 | + | |
| 926 | + | |
| 927 | + | |
| 928 | + | |
| 929 | + | |
| 930 | + | |
| 931 | + | |
| 932 | + | |
| 933 | + | |
| 934 | + | |
| 935 | + | |
| 936 | + | |
| 937 | + | |
| 938 | + | |
| 939 | + | |
| 940 | + | |
896 | 941 | | |
897 | | - | |
| 942 | + | |
898 | 943 | | |
899 | 944 | | |
900 | 945 | | |
| 946 | + | |
901 | 947 | | |
902 | 948 | | |
903 | 949 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
185 | 185 | | |
186 | 186 | | |
187 | 187 | | |
188 | | - | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
189 | 192 | | |
190 | | - | |
| 193 | + | |
191 | 194 | | |
192 | | - | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
193 | 198 | | |
194 | 199 | | |
195 | 200 | | |
| |||
1891 | 1896 | | |
1892 | 1897 | | |
1893 | 1898 | | |
| 1899 | + | |
| 1900 | + | |
| 1901 | + | |
| 1902 | + | |
| 1903 | + | |
| 1904 | + | |
| 1905 | + | |
| 1906 | + | |
| 1907 | + | |
| 1908 | + | |
| 1909 | + | |
| 1910 | + | |
| 1911 | + | |
| 1912 | + | |
| 1913 | + | |
| 1914 | + | |
| 1915 | + | |
| 1916 | + | |
| 1917 | + | |
| 1918 | + | |
1894 | 1919 | | |
1895 | 1920 | | |
1896 | 1921 | | |
1897 | 1922 | | |
1898 | 1923 | | |
1899 | 1924 | | |
1900 | | - | |
1901 | | - | |
1902 | | - | |
1903 | | - | |
| 1925 | + | |
| 1926 | + | |
1904 | 1927 | | |
1905 | 1928 | | |
1906 | 1929 | | |
| |||
1919 | 1942 | | |
1920 | 1943 | | |
1921 | 1944 | | |
| 1945 | + | |
| 1946 | + | |
| 1947 | + | |
| 1948 | + | |
| 1949 | + | |
| 1950 | + | |
| 1951 | + | |
| 1952 | + | |
| 1953 | + | |
| 1954 | + | |
| 1955 | + | |
| 1956 | + | |
| 1957 | + | |
| 1958 | + | |
| 1959 | + | |
| 1960 | + | |
| 1961 | + | |
| 1962 | + | |
| 1963 | + | |
| 1964 | + | |
1922 | 1965 | | |
1923 | 1966 | | |
1924 | 1967 | | |
1925 | 1968 | | |
1926 | | - | |
| 1969 | + | |
1927 | 1970 | | |
| 1971 | + | |
1928 | 1972 | | |
1929 | 1973 | | |
1930 | 1974 | | |
| |||
2010 | 2054 | | |
2011 | 2055 | | |
2012 | 2056 | | |
2013 | | - | |
| 2057 | + | |
2014 | 2058 | | |
2015 | 2059 | | |
2016 | 2060 | | |
| |||
2032 | 2076 | | |
2033 | 2077 | | |
2034 | 2078 | | |
| 2079 | + | |
| 2080 | + | |
| 2081 | + | |
| 2082 | + | |
| 2083 | + | |
| 2084 | + | |
| 2085 | + | |
| 2086 | + | |
| 2087 | + | |
| 2088 | + | |
| 2089 | + | |
| 2090 | + | |
| 2091 | + | |
| 2092 | + | |
| 2093 | + | |
| 2094 | + | |
| 2095 | + | |
| 2096 | + | |
| 2097 | + | |
| 2098 | + | |
| 2099 | + | |
| 2100 | + | |
| 2101 | + | |
| 2102 | + | |
| 2103 | + | |
| 2104 | + | |
| 2105 | + | |
| 2106 | + | |
| 2107 | + | |
2035 | 2108 | | |
| 2109 | + | |
2036 | 2110 | | |
2037 | 2111 | | |
2038 | 2112 | | |
| |||
2045 | 2119 | | |
2046 | 2120 | | |
2047 | 2121 | | |
2048 | | - | |
2049 | 2122 | | |
| 2123 | + | |
2050 | 2124 | | |
2051 | 2125 | | |
2052 | 2126 | | |
2053 | 2127 | | |
2054 | 2128 | | |
2055 | 2129 | | |
2056 | | - | |
2057 | 2130 | | |
| 2131 | + | |
2058 | 2132 | | |
2059 | 2133 | | |
2060 | 2134 | | |
| |||
0 commit comments