@@ -19,7 +19,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
19
19
checksum = " 3e61f2b7f93d2c7d2b08263acaa4a363b3e276806c68af6134c44f523bf1aacd"
20
20
dependencies = [
21
21
" compiler_builtins" ,
22
- " gimli" ,
22
+ " gimli 0.25.0 " ,
23
23
" rustc-std-workspace-alloc" ,
24
24
" rustc-std-workspace-core" ,
25
25
]
@@ -108,9 +108,9 @@ dependencies = [
108
108
109
109
[[package ]]
110
110
name = " anyhow"
111
- version = " 1.0.34 "
111
+ version = " 1.0.51 "
112
112
source = " registry+https://github.com/rust-lang/crates.io-index"
113
- checksum = " bf8dcb5b4bbaa28653b647d8c77bd4ed40183b48882e130c1f1ffb73de069fd7 "
113
+ checksum = " 8b26702f315f53b6071259e15dd9d64528213b44d61de1ec926eca7715d62203 "
114
114
115
115
[[package ]]
116
116
name = " array_tool"
@@ -191,7 +191,7 @@ name = "bookrunner"
191
191
version = " 0.1.0"
192
192
dependencies = [
193
193
" Inflector" ,
194
- " pulldown-cmark" ,
194
+ " pulldown-cmark 0.8.0 " ,
195
195
" rustdoc" ,
196
196
" serde" ,
197
197
" serde_json" ,
@@ -209,9 +209,7 @@ dependencies = [
209
209
" filetime" ,
210
210
" getopts" ,
211
211
" ignore" ,
212
- " lazy_static" ,
213
212
" libc" ,
214
- " merge" ,
215
213
" num_cpus" ,
216
214
" once_cell" ,
217
215
" opener" ,
@@ -404,7 +402,7 @@ version = "0.1.0"
404
402
dependencies = [
405
403
" directories" ,
406
404
" rustc-workspace-hack" ,
407
- " rustc_version 0.3.3 " ,
405
+ " rustc_version" ,
408
406
" serde" ,
409
407
" serde_json" ,
410
408
" vergen" ,
@@ -671,7 +669,7 @@ dependencies = [
671
669
" clippy_utils" ,
672
670
" if_chain" ,
673
671
" itertools 0.10.1" ,
674
- " pulldown-cmark" ,
672
+ " pulldown-cmark 0.9.0 " ,
675
673
" quine-mc_cluskey" ,
676
674
" regex-syntax" ,
677
675
" rustc-semver" ,
@@ -1223,6 +1221,12 @@ version = "0.1.2"
1223
1221
source = " registry+https://github.com/rust-lang/crates.io-index"
1224
1222
checksum = " e88a8acf291dafb59c2d96e8f59828f3838bb1a70398823ade51a84de6a6deed"
1225
1223
1224
+ [[package ]]
1225
+ name = " fallible-iterator"
1226
+ version = " 0.2.0"
1227
+ source = " registry+https://github.com/rust-lang/crates.io-index"
1228
+ checksum = " 4443176a9f2c162692bd3d352d745ef9413eec5782a80d8fd6f8a1ac692a07f7"
1229
+
1226
1230
[[package ]]
1227
1231
name = " filetime"
1228
1232
version = " 0.2.14"
@@ -1511,6 +1515,17 @@ dependencies = [
1511
1515
" rustc-std-workspace-core" ,
1512
1516
]
1513
1517
1518
+ [[package ]]
1519
+ name = " gimli"
1520
+ version = " 0.26.1"
1521
+ source = " registry+https://github.com/rust-lang/crates.io-index"
1522
+ checksum = " 78cc372d058dcf6d5ecd98510e7fbc9e5aec4d21de70f65fea8fecebcd881bd4"
1523
+ dependencies = [
1524
+ " fallible-iterator" ,
1525
+ " indexmap" ,
1526
+ " stable_deref_trait" ,
1527
+ ]
1528
+
1514
1529
[[package ]]
1515
1530
name = " git2"
1516
1531
version = " 0.13.23"
@@ -2018,9 +2033,9 @@ dependencies = [
2018
2033
2019
2034
[[package ]]
2020
2035
name = " libssh2-sys"
2021
- version = " 0.2.19 "
2036
+ version = " 0.2.23 "
2022
2037
source = " registry+https://github.com/rust-lang/crates.io-index"
2023
- checksum = " ca46220853ba1c512fc82826d0834d87b06bcd3c2a42241b7de72f3d2fe17056 "
2038
+ checksum = " b094a36eb4b8b8c8a7b4b8ae43b2944502be3e59cd87687595cf6b0a71b3f4ca "
2024
2039
dependencies = [
2025
2040
" cc" ,
2026
2041
" libc" ,
@@ -2218,7 +2233,7 @@ dependencies = [
2218
2233
" log" ,
2219
2234
" memchr" ,
2220
2235
" opener" ,
2221
- " pulldown-cmark" ,
2236
+ " pulldown-cmark 0.8.0 " ,
2222
2237
" regex" ,
2223
2238
" serde" ,
2224
2239
" serde_derive" ,
@@ -2285,28 +2300,6 @@ dependencies = [
2285
2300
" autocfg" ,
2286
2301
]
2287
2302
2288
- [[package ]]
2289
- name = " merge"
2290
- version = " 0.1.0"
2291
- source = " registry+https://github.com/rust-lang/crates.io-index"
2292
- checksum = " 10bbef93abb1da61525bbc45eeaff6473a41907d19f8f9aa5168d214e10693e9"
2293
- dependencies = [
2294
- " merge_derive" ,
2295
- " num-traits" ,
2296
- ]
2297
-
2298
- [[package ]]
2299
- name = " merge_derive"
2300
- version = " 0.1.0"
2301
- source = " registry+https://github.com/rust-lang/crates.io-index"
2302
- checksum = " 209d075476da2e63b4b29e72a2ef627b840589588e71400a25e3565c4f849d07"
2303
- dependencies = [
2304
- " proc-macro-error" ,
2305
- " proc-macro2" ,
2306
- " quote" ,
2307
- " syn" ,
2308
- ]
2309
-
2310
2303
[[package ]]
2311
2304
name = " minifier"
2312
2305
version = " 0.0.41"
@@ -2364,7 +2357,7 @@ dependencies = [
2364
2357
" measureme 9.1.2" ,
2365
2358
" rand 0.8.4" ,
2366
2359
" rustc-workspace-hack" ,
2367
- " rustc_version 0.4.0 " ,
2360
+ " rustc_version" ,
2368
2361
" shell-escape" ,
2369
2362
" smallvec" ,
2370
2363
]
@@ -2484,6 +2477,18 @@ dependencies = [
2484
2477
" rustc-std-workspace-core" ,
2485
2478
]
2486
2479
2480
+ [[package ]]
2481
+ name = " object"
2482
+ version = " 0.27.1"
2483
+ source = " registry+https://github.com/rust-lang/crates.io-index"
2484
+ checksum = " 67ac1d3f9a1d3616fd9a60c8d74296f22406a238b6a72f5cc1e6f314df4ffbf9"
2485
+ dependencies = [
2486
+ " crc32fast" ,
2487
+ " flate2" ,
2488
+ " indexmap" ,
2489
+ " memchr" ,
2490
+ ]
2491
+
2487
2492
[[package ]]
2488
2493
name = " odht"
2489
2494
version = " 0.3.1"
@@ -2934,6 +2939,17 @@ dependencies = [
2934
2939
" unicase" ,
2935
2940
]
2936
2941
2942
+ [[package ]]
2943
+ name = " pulldown-cmark"
2944
+ version = " 0.9.0"
2945
+ source = " registry+https://github.com/rust-lang/crates.io-index"
2946
+ checksum = " acd16514d1af5f7a71f909a44ef253cdb712a376d7ebc8ae4a471a9be9743548"
2947
+ dependencies = [
2948
+ " bitflags" ,
2949
+ " memchr" ,
2950
+ " unicase" ,
2951
+ ]
2952
+
2937
2953
[[package ]]
2938
2954
name = " punycode"
2939
2955
version = " 0.4.1"
@@ -3338,8 +3354,8 @@ dependencies = [
3338
3354
name = " rmc-link-restrictions"
3339
3355
version = " 0.1.0"
3340
3356
dependencies = [
3357
+ " cbmc" ,
3341
3358
" rmc_restrictions" ,
3342
- " rustc_data_structures" ,
3343
3359
" serde" ,
3344
3360
" serde_json" ,
3345
3361
]
@@ -3360,7 +3376,6 @@ name = "rmc_restrictions"
3360
3376
version = " 0.1.0"
3361
3377
dependencies = [
3362
3378
" cbmc" ,
3363
- " rustc_data_structures" ,
3364
3379
" serde" ,
3365
3380
]
3366
3381
@@ -3926,10 +3941,11 @@ dependencies = [
3926
3941
" itertools 0.9.0" ,
3927
3942
" jobserver" ,
3928
3943
" libc" ,
3929
- " object" ,
3944
+ " object 0.26.2 " ,
3930
3945
" pathdiff" ,
3931
3946
" regex" ,
3932
3947
" rustc_apfloat" ,
3948
+ " rustc_arena" ,
3933
3949
" rustc_ast" ,
3934
3950
" rustc_attr" ,
3935
3951
" rustc_data_structures" ,
@@ -3950,6 +3966,7 @@ dependencies = [
3950
3966
" smallvec" ,
3951
3967
" snap" ,
3952
3968
" tempfile" ,
3969
+ " thorin-dwp" ,
3953
3970
" tracing" ,
3954
3971
]
3955
3972
@@ -4009,7 +4026,6 @@ dependencies = [
4009
4026
name = " rustc_driver"
4010
4027
version = " 0.0.0"
4011
4028
dependencies = [
4012
- " atty" ,
4013
4029
" libc" ,
4014
4030
" rustc_ast" ,
4015
4031
" rustc_ast_pretty" ,
@@ -4023,6 +4039,7 @@ dependencies = [
4023
4039
" rustc_hir_pretty" ,
4024
4040
" rustc_interface" ,
4025
4041
" rustc_lint" ,
4042
+ " rustc_log" ,
4026
4043
" rustc_metadata" ,
4027
4044
" rustc_middle" ,
4028
4045
" rustc_parse" ,
@@ -4034,8 +4051,6 @@ dependencies = [
4034
4051
" rustc_target" ,
4035
4052
" rustc_typeck" ,
4036
4053
" tracing" ,
4037
- " tracing-subscriber" ,
4038
- " tracing-tree" ,
4039
4054
" winapi" ,
4040
4055
]
4041
4056
@@ -4153,6 +4168,7 @@ dependencies = [
4153
4168
" arrayvec" ,
4154
4169
" rustc_macros" ,
4155
4170
" rustc_serialize" ,
4171
+ " smallvec" ,
4156
4172
]
4157
4173
4158
4174
[[package ]]
@@ -4277,6 +4293,17 @@ dependencies = [
4277
4293
" libc" ,
4278
4294
]
4279
4295
4296
+ [[package ]]
4297
+ name = " rustc_log"
4298
+ version = " 0.0.0"
4299
+ dependencies = [
4300
+ " atty" ,
4301
+ " rustc_span" ,
4302
+ " tracing" ,
4303
+ " tracing-subscriber" ,
4304
+ " tracing-tree" ,
4305
+ ]
4306
+
4280
4307
[[package ]]
4281
4308
name = " rustc_macros"
4282
4309
version = " 0.1.0"
@@ -4777,15 +4804,6 @@ dependencies = [
4777
4804
" tracing" ,
4778
4805
]
4779
4806
4780
- [[package ]]
4781
- name = " rustc_version"
4782
- version = " 0.3.3"
4783
- source = " registry+https://github.com/rust-lang/crates.io-index"
4784
- checksum = " f0dfe2087c51c460008730de8b57e6a320782fbfb312e1f4d520e6c6fae155ee"
4785
- dependencies = [
4786
- " semver 0.11.0" ,
4787
- ]
4788
-
4789
4807
[[package ]]
4790
4808
name = " rustc_version"
4791
4809
version = " 0.4.0"
@@ -4803,7 +4821,7 @@ dependencies = [
4803
4821
" expect-test" ,
4804
4822
" itertools 0.9.0" ,
4805
4823
" minifier" ,
4806
- " pulldown-cmark" ,
4824
+ " pulldown-cmark 0.9.0 " ,
4807
4825
" rayon" ,
4808
4826
" regex" ,
4809
4827
" rustdoc-json-types" ,
@@ -5202,7 +5220,7 @@ dependencies = [
5202
5220
" hermit-abi" ,
5203
5221
" libc" ,
5204
5222
" miniz_oxide" ,
5205
- " object" ,
5223
+ " object 0.26.2 " ,
5206
5224
" panic_abort" ,
5207
5225
" panic_unwind" ,
5208
5226
" profiler_builtins" ,
@@ -5277,9 +5295,9 @@ checksum = "8ea5119cdb4c55b55d432abb513a0429384878c15dde60cc77b1c99de1a95a6a"
5277
5295
5278
5296
[[package ]]
5279
5297
name = " structopt"
5280
- version = " 0.3.16 "
5298
+ version = " 0.3.25 "
5281
5299
source = " registry+https://github.com/rust-lang/crates.io-index"
5282
- checksum = " de5472fb24d7e80ae84a7801b7978f95a19ec32cb1876faea59ab711eb901976 "
5300
+ checksum = " 40b9788f4202aa75c240ecc9c15c65185e6a39ccdeb0fd5d008b98825464c87c "
5283
5301
dependencies = [
5284
5302
" clap" ,
5285
5303
" lazy_static" ,
@@ -5288,9 +5306,9 @@ dependencies = [
5288
5306
5289
5307
[[package ]]
5290
5308
name = " structopt-derive"
5291
- version = " 0.4.9 "
5309
+ version = " 0.4.18 "
5292
5310
source = " registry+https://github.com/rust-lang/crates.io-index"
5293
- checksum = " 1e0eb37335aeeebe51be42e2dc07f031163fbabfa6ac67d7ea68b5c2f68d5f99 "
5311
+ checksum = " dcb5ae327f9cc13b68763b5749770cb9e048a99bd9dfdfa58d0cf05d5f64afe0 "
5294
5312
dependencies = [
5295
5313
" heck" ,
5296
5314
" proc-macro-error" ,
@@ -5469,24 +5487,36 @@ dependencies = [
5469
5487
5470
5488
[[package ]]
5471
5489
name = " thiserror"
5472
- version = " 1.0.20 "
5490
+ version = " 1.0.30 "
5473
5491
source = " registry+https://github.com/rust-lang/crates.io-index"
5474
- checksum = " 7dfdd070ccd8ccb78f4ad66bf1982dc37f620ef696c6b5028fe2ed83dd3d0d08 "
5492
+ checksum = " 854babe52e4df1653706b98fcfc05843010039b406875930a70e4d9644e5c417 "
5475
5493
dependencies = [
5476
5494
" thiserror-impl" ,
5477
5495
]
5478
5496
5479
5497
[[package ]]
5480
5498
name = " thiserror-impl"
5481
- version = " 1.0.20 "
5499
+ version = " 1.0.30 "
5482
5500
source = " registry+https://github.com/rust-lang/crates.io-index"
5483
- checksum = " bd80fc12f73063ac132ac92aceea36734f04a1d93c1240c6944e23a3b8841793 "
5501
+ checksum = " aa32fd3f627f367fe16f893e2597ae3c05020f8bba2666a4e6ea73d377e5714b "
5484
5502
dependencies = [
5485
5503
" proc-macro2" ,
5486
5504
" quote" ,
5487
5505
" syn" ,
5488
5506
]
5489
5507
5508
+ [[package ]]
5509
+ name = " thorin-dwp"
5510
+ version = " 0.1.1"
5511
+ source = " registry+https://github.com/rust-lang/crates.io-index"
5512
+ checksum = " 039d1fc0bfdb73910c2702893515580e38c192f47a987bc98ddd38a36f2d953a"
5513
+ dependencies = [
5514
+ " gimli 0.26.1" ,
5515
+ " indexmap" ,
5516
+ " object 0.27.1" ,
5517
+ " tracing" ,
5518
+ ]
5519
+
5490
5520
[[package ]]
5491
5521
name = " thread_local"
5492
5522
version = " 1.0.1"
@@ -5614,9 +5644,9 @@ checksum = "360dfd1d6d30e05fda32ace2c8c70e9c0a9da713275777f5a4dbb8a1893930c6"
5614
5644
5615
5645
[[package ]]
5616
5646
name = " tracing"
5617
- version = " 0.1.28 "
5647
+ version = " 0.1.29 "
5618
5648
source = " registry+https://github.com/rust-lang/crates.io-index"
5619
- checksum = " 84f96e095c0c82419687c20ddf5cb3eadb61f4e1405923c9dc8e53a1adacbda8 "
5649
+ checksum = " 375a639232caf30edfc78e8d89b2d4c375515393e7af7e16f01cd96917fb2105 "
5620
5650
dependencies = [
5621
5651
" cfg-if 1.0.0" ,
5622
5652
" pin-project-lite" ,
@@ -5626,9 +5656,9 @@ dependencies = [
5626
5656
5627
5657
[[package ]]
5628
5658
name = " tracing-attributes"
5629
- version = " 0.1.17 "
5659
+ version = " 0.1.18 "
5630
5660
source = " registry+https://github.com/rust-lang/crates.io-index"
5631
- checksum = " c4f915eb6abf914599c200260efced9203504c4c37380af10cdf3b7d36970650 "
5661
+ checksum = " f4f480b8f81512e825f337ad51e94c1eb5d3bbdf2b363dcd01e2b19a9ffe3f8e "
5632
5662
dependencies = [
5633
5663
" proc-macro2" ,
5634
5664
" quote" ,
0 commit comments