contract-check 0.3.7__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (21) hide show
  1. contract_check-0.3.7/Cargo.lock +548 -0
  2. contract_check-0.3.7/Cargo.toml +20 -0
  3. contract_check-0.3.7/LICENSE +201 -0
  4. contract_check-0.3.7/PKG-INFO +213 -0
  5. contract_check-0.3.7/README.md +187 -0
  6. contract_check-0.3.7/bindings/python-contracts-rs/Cargo.toml +23 -0
  7. contract_check-0.3.7/bindings/python-contracts-rs/src/lib.rs +381 -0
  8. contract_check-0.3.7/crates/rust-contract-checks/Cargo.toml +29 -0
  9. contract_check-0.3.7/crates/rust-contract-checks/README.md +187 -0
  10. contract_check-0.3.7/crates/rust-contract-checks/src/config.rs +62 -0
  11. contract_check-0.3.7/crates/rust-contract-checks/src/lib.rs +46 -0
  12. contract_check-0.3.7/crates/rust-contract-checks/src/metadata.rs +65 -0
  13. contract_check-0.3.7/crates/rust-contract-checks/src/report.rs +173 -0
  14. contract_check-0.3.7/crates/rust-contract-checks/src/runtime.rs +82 -0
  15. contract_check-0.3.7/crates/rust-contract-checks-macros/Cargo.toml +19 -0
  16. contract_check-0.3.7/crates/rust-contract-checks-macros/src/lib.rs +699 -0
  17. contract_check-0.3.7/pyproject.toml +54 -0
  18. contract_check-0.3.7/python/python_contracts_rs/__init__.py +63 -0
  19. contract_check-0.3.7/python/python_contracts_rs/_native.pyi +45 -0
  20. contract_check-0.3.7/python/python_contracts_rs/contracts.py +1226 -0
  21. contract_check-0.3.7/python/python_contracts_rs/py.typed +1 -0
contract_check-0.3.7/Cargo.lock ADDED
@@ -0,0 +1,548 @@
1
+ # This file is automatically @generated by Cargo.
2
+ # It is not intended for manual editing.
3
+ version = 3
4
+
5
+ [[package]]
6
+ name = "aho-corasick"
7
+ version = "1.1.4"
8
+ source = "registry+https://github.com/rust-lang/crates.io-index"
9
+ checksum = "ddd31a130427c27518df266943a5308ed92d4b226cc639f5a8f1002816174301"
10
+ dependencies = [
11
+ "memchr",
12
+ ]
13
+
14
+ [[package]]
15
+ name = "alloca"
16
+ version = "0.4.0"
17
+ source = "registry+https://github.com/rust-lang/crates.io-index"
18
+ checksum = "e5a7d05ea6aea7e9e64d25b9156ba2fee3fdd659e34e41063cd2fc7cd020d7f4"
19
+ dependencies = [
20
+ "cc",
21
+ ]
22
+
23
+ [[package]]
24
+ name = "anes"
25
+ version = "0.1.6"
26
+ source = "registry+https://github.com/rust-lang/crates.io-index"
27
+ checksum = "4b46cbb362ab8752921c97e041f5e366ee6297bd428a31275b9fcf1e380f7299"
28
+
29
+ [[package]]
30
+ name = "anstyle"
31
+ version = "1.0.14"
32
+ source = "registry+https://github.com/rust-lang/crates.io-index"
33
+ checksum = "940b3a0ca603d1eade50a4846a2afffd5ef57a9feac2c0e2ec2e14f9ead76000"
34
+
35
+ [[package]]
36
+ name = "autocfg"
37
+ version = "1.5.0"
38
+ source = "registry+https://github.com/rust-lang/crates.io-index"
39
+ checksum = "c08606f8c3cbf4ce6ec8e28fb0014a2c086708fe954eaa885384a6165172e7e8"
40
+
41
+ [[package]]
42
+ name = "cast"
43
+ version = "0.3.0"
44
+ source = "registry+https://github.com/rust-lang/crates.io-index"
45
+ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5"
46
+
47
+ [[package]]
48
+ name = "cc"
49
+ version = "1.2.57"
50
+ source = "registry+https://github.com/rust-lang/crates.io-index"
51
+ checksum = "7a0dd1ca384932ff3641c8718a02769f1698e7563dc6974ffd03346116310423"
52
+ dependencies = [
53
+ "find-msvc-tools",
54
+ "shlex",
55
+ ]
56
+
57
+ [[package]]
58
+ name = "cfg-if"
59
+ version = "1.0.4"
60
+ source = "registry+https://github.com/rust-lang/crates.io-index"
61
+ checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
62
+
63
+ [[package]]
64
+ name = "ciborium"
65
+ version = "0.2.2"
66
+ source = "registry+https://github.com/rust-lang/crates.io-index"
67
+ checksum = "42e69ffd6f0917f5c029256a24d0161db17cea3997d185db0d35926308770f0e"
68
+ dependencies = [
69
+ "ciborium-io",
70
+ "ciborium-ll",
71
+ "serde",
72
+ ]
73
+
74
+ [[package]]
75
+ name = "ciborium-io"
76
+ version = "0.2.2"
77
+ source = "registry+https://github.com/rust-lang/crates.io-index"
78
+ checksum = "05afea1e0a06c9be33d539b876f1ce3692f4afea2cb41f740e7743225ed1c757"
79
+
80
+ [[package]]
81
+ name = "ciborium-ll"
82
+ version = "0.2.2"
83
+ source = "registry+https://github.com/rust-lang/crates.io-index"
84
+ checksum = "57663b653d948a338bfb3eeba9bb2fd5fcfaecb9e199e87e1eda4d9e8b240fd9"
85
+ dependencies = [
86
+ "ciborium-io",
87
+ "half",
88
+ ]
89
+
90
+ [[package]]
91
+ name = "clap"
92
+ version = "4.6.0"
93
+ source = "registry+https://github.com/rust-lang/crates.io-index"
94
+ checksum = "b193af5b67834b676abd72466a96c1024e6a6ad978a1f484bd90b85c94041351"
95
+ dependencies = [
96
+ "clap_builder",
97
+ ]
98
+
99
+ [[package]]
100
+ name = "clap_builder"
101
+ version = "4.6.0"
102
+ source = "registry+https://github.com/rust-lang/crates.io-index"
103
+ checksum = "714a53001bf66416adb0e2ef5ac857140e7dc3a0c48fb28b2f10762fc4b5069f"
104
+ dependencies = [
105
+ "anstyle",
106
+ "clap_lex",
107
+ ]
108
+
109
+ [[package]]
110
+ name = "clap_lex"
111
+ version = "1.1.0"
112
+ source = "registry+https://github.com/rust-lang/crates.io-index"
113
+ checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9"
114
+
115
+ [[package]]
116
+ name = "criterion"
117
+ version = "0.8.2"
118
+ source = "registry+https://github.com/rust-lang/crates.io-index"
119
+ checksum = "950046b2aa2492f9a536f5f4f9a3de7b9e2476e575e05bd6c333371add4d98f3"
120
+ dependencies = [
121
+ "alloca",
122
+ "anes",
123
+ "cast",
124
+ "ciborium",
125
+ "clap",
126
+ "criterion-plot",
127
+ "itertools",
128
+ "num-traits",
129
+ "oorandom",
130
+ "page_size",
131
+ "regex",
132
+ "serde",
133
+ "serde_json",
134
+ "tinytemplate",
135
+ "walkdir",
136
+ ]
137
+
138
+ [[package]]
139
+ name = "criterion-plot"
140
+ version = "0.8.2"
141
+ source = "registry+https://github.com/rust-lang/crates.io-index"
142
+ checksum = "d8d80a2f4f5b554395e47b5d8305bc3d27813bacb73493eb1001e8f76dae29ea"
143
+ dependencies = [
144
+ "cast",
145
+ "itertools",
146
+ ]
147
+
148
+ [[package]]
149
+ name = "crunchy"
150
+ version = "0.2.4"
151
+ source = "registry+https://github.com/rust-lang/crates.io-index"
152
+ checksum = "460fbee9c2c2f33933d720630a6a0bac33ba7053db5344fac858d4b8952d77d5"
153
+
154
+ [[package]]
155
+ name = "either"
156
+ version = "1.15.0"
157
+ source = "registry+https://github.com/rust-lang/crates.io-index"
158
+ checksum = "48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719"
159
+
160
+ [[package]]
161
+ name = "find-msvc-tools"
162
+ version = "0.1.9"
163
+ source = "registry+https://github.com/rust-lang/crates.io-index"
164
+ checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
165
+
166
+ [[package]]
167
+ name = "half"
168
+ version = "2.7.1"
169
+ source = "registry+https://github.com/rust-lang/crates.io-index"
170
+ checksum = "6ea2d84b969582b4b1864a92dc5d27cd2b77b622a8d79306834f1be5ba20d84b"
171
+ dependencies = [
172
+ "cfg-if",
173
+ "crunchy",
174
+ "zerocopy",
175
+ ]
176
+
177
+ [[package]]
178
+ name = "heck"
179
+ version = "0.5.0"
180
+ source = "registry+https://github.com/rust-lang/crates.io-index"
181
+ checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
182
+
183
+ [[package]]
184
+ name = "itertools"
185
+ version = "0.13.0"
186
+ source = "registry+https://github.com/rust-lang/crates.io-index"
187
+ checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186"
188
+ dependencies = [
189
+ "either",
190
+ ]
191
+
192
+ [[package]]
193
+ name = "itoa"
194
+ version = "1.0.18"
195
+ source = "registry+https://github.com/rust-lang/crates.io-index"
196
+ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
197
+
198
+ [[package]]
199
+ name = "libc"
200
+ version = "0.2.183"
201
+ source = "registry+https://github.com/rust-lang/crates.io-index"
202
+ checksum = "b5b646652bf6661599e1da8901b3b9522896f01e736bad5f723fe7a3a27f899d"
203
+
204
+ [[package]]
205
+ name = "memchr"
206
+ version = "2.8.0"
207
+ source = "registry+https://github.com/rust-lang/crates.io-index"
208
+ checksum = "f8ca58f447f06ed17d5fc4043ce1b10dd205e060fb3ce5b979b8ed8e59ff3f79"
209
+
210
+ [[package]]
211
+ name = "num-traits"
212
+ version = "0.2.19"
213
+ source = "registry+https://github.com/rust-lang/crates.io-index"
214
+ checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
215
+ dependencies = [
216
+ "autocfg",
217
+ ]
218
+
219
+ [[package]]
220
+ name = "once_cell"
221
+ version = "1.21.4"
222
+ source = "registry+https://github.com/rust-lang/crates.io-index"
223
+ checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
224
+
225
+ [[package]]
226
+ name = "oorandom"
227
+ version = "11.1.5"
228
+ source = "registry+https://github.com/rust-lang/crates.io-index"
229
+ checksum = "d6790f58c7ff633d8771f42965289203411a5e5c68388703c06e14f24770b41e"
230
+
231
+ [[package]]
232
+ name = "page_size"
233
+ version = "0.6.0"
234
+ source = "registry+https://github.com/rust-lang/crates.io-index"
235
+ checksum = "30d5b2194ed13191c1999ae0704b7839fb18384fa22e49b57eeaa97d79ce40da"
236
+ dependencies = [
237
+ "libc",
238
+ "winapi",
239
+ ]
240
+
241
+ [[package]]
242
+ name = "portable-atomic"
243
+ version = "1.13.1"
244
+ source = "registry+https://github.com/rust-lang/crates.io-index"
245
+ checksum = "c33a9471896f1c69cecef8d20cbe2f7accd12527ce60845ff44c153bb2a21b49"
246
+
247
+ [[package]]
248
+ name = "proc-macro2"
249
+ version = "1.0.106"
250
+ source = "registry+https://github.com/rust-lang/crates.io-index"
251
+ checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
252
+ dependencies = [
253
+ "unicode-ident",
254
+ ]
255
+
256
+ [[package]]
257
+ name = "pyo3"
258
+ version = "0.28.2"
259
+ source = "registry+https://github.com/rust-lang/crates.io-index"
260
+ checksum = "cf85e27e86080aafd5a22eae58a162e133a589551542b3e5cee4beb27e54f8e1"
261
+ dependencies = [
262
+ "libc",
263
+ "once_cell",
264
+ "portable-atomic",
265
+ "pyo3-build-config",
266
+ "pyo3-ffi",
267
+ "pyo3-macros",
268
+ ]
269
+
270
+ [[package]]
271
+ name = "pyo3-build-config"
272
+ version = "0.28.2"
273
+ source = "registry+https://github.com/rust-lang/crates.io-index"
274
+ checksum = "8bf94ee265674bf76c09fa430b0e99c26e319c945d96ca0d5a8215f31bf81cf7"
275
+ dependencies = [
276
+ "target-lexicon",
277
+ ]
278
+
279
+ [[package]]
280
+ name = "pyo3-ffi"
281
+ version = "0.28.2"
282
+ source = "registry+https://github.com/rust-lang/crates.io-index"
283
+ checksum = "491aa5fc66d8059dd44a75f4580a2962c1862a1c2945359db36f6c2818b748dc"
284
+ dependencies = [
285
+ "libc",
286
+ "pyo3-build-config",
287
+ ]
288
+
289
+ [[package]]
290
+ name = "pyo3-macros"
291
+ version = "0.28.2"
292
+ source = "registry+https://github.com/rust-lang/crates.io-index"
293
+ checksum = "f5d671734e9d7a43449f8480f8b38115df67bef8d21f76837fa75ee7aaa5e52e"
294
+ dependencies = [
295
+ "proc-macro2",
296
+ "pyo3-macros-backend",
297
+ "quote",
298
+ "syn",
299
+ ]
300
+
301
+ [[package]]
302
+ name = "pyo3-macros-backend"
303
+ version = "0.28.2"
304
+ source = "registry+https://github.com/rust-lang/crates.io-index"
305
+ checksum = "22faaa1ce6c430a1f71658760497291065e6450d7b5dc2bcf254d49f66ee700a"
306
+ dependencies = [
307
+ "heck",
308
+ "proc-macro2",
309
+ "pyo3-build-config",
310
+ "quote",
311
+ "syn",
312
+ ]
313
+
314
+ [[package]]
315
+ name = "python-contracts-rs-bindings"
316
+ version = "0.3.7"
317
+ dependencies = [
318
+ "pyo3",
319
+ "rust-contract-checks",
320
+ ]
321
+
322
+ [[package]]
323
+ name = "quote"
324
+ version = "1.0.45"
325
+ source = "registry+https://github.com/rust-lang/crates.io-index"
326
+ checksum = "41f2619966050689382d2b44f664f4bc593e129785a36d6ee376ddf37259b924"
327
+ dependencies = [
328
+ "proc-macro2",
329
+ ]
330
+
331
+ [[package]]
332
+ name = "regex"
333
+ version = "1.12.3"
334
+ source = "registry+https://github.com/rust-lang/crates.io-index"
335
+ checksum = "e10754a14b9137dd7b1e3e5b0493cc9171fdd105e0ab477f51b72e7f3ac0e276"
336
+ dependencies = [
337
+ "aho-corasick",
338
+ "memchr",
339
+ "regex-automata",
340
+ "regex-syntax",
341
+ ]
342
+
343
+ [[package]]
344
+ name = "regex-automata"
345
+ version = "0.4.14"
346
+ source = "registry+https://github.com/rust-lang/crates.io-index"
347
+ checksum = "6e1dd4122fc1595e8162618945476892eefca7b88c52820e74af6262213cae8f"
348
+ dependencies = [
349
+ "aho-corasick",
350
+ "memchr",
351
+ "regex-syntax",
352
+ ]
353
+
354
+ [[package]]
355
+ name = "regex-syntax"
356
+ version = "0.8.10"
357
+ source = "registry+https://github.com/rust-lang/crates.io-index"
358
+ checksum = "dc897dd8d9e8bd1ed8cdad82b5966c3e0ecae09fb1907d58efaa013543185d0a"
359
+
360
+ [[package]]
361
+ name = "rust-contract-checks"
362
+ version = "0.3.7"
363
+ dependencies = [
364
+ "criterion",
365
+ "rust-contract-checks-macros",
366
+ ]
367
+
368
+ [[package]]
369
+ name = "rust-contract-checks-macros"
370
+ version = "0.3.7"
371
+ dependencies = [
372
+ "proc-macro2",
373
+ "quote",
374
+ "syn",
375
+ ]
376
+
377
+ [[package]]
378
+ name = "same-file"
379
+ version = "1.0.6"
380
+ source = "registry+https://github.com/rust-lang/crates.io-index"
381
+ checksum = "93fc1dc3aaa9bfed95e02e6eadabb4baf7e3078b0bd1b4d7b6b0b68378900502"
382
+ dependencies = [
383
+ "winapi-util",
384
+ ]
385
+
386
+ [[package]]
387
+ name = "serde"
388
+ version = "1.0.228"
389
+ source = "registry+https://github.com/rust-lang/crates.io-index"
390
+ checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e"
391
+ dependencies = [
392
+ "serde_core",
393
+ "serde_derive",
394
+ ]
395
+
396
+ [[package]]
397
+ name = "serde_core"
398
+ version = "1.0.228"
399
+ source = "registry+https://github.com/rust-lang/crates.io-index"
400
+ checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad"
401
+ dependencies = [
402
+ "serde_derive",
403
+ ]
404
+
405
+ [[package]]
406
+ name = "serde_derive"
407
+ version = "1.0.228"
408
+ source = "registry+https://github.com/rust-lang/crates.io-index"
409
+ checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79"
410
+ dependencies = [
411
+ "proc-macro2",
412
+ "quote",
413
+ "syn",
414
+ ]
415
+
416
+ [[package]]
417
+ name = "serde_json"
418
+ version = "1.0.149"
419
+ source = "registry+https://github.com/rust-lang/crates.io-index"
420
+ checksum = "83fc039473c5595ace860d8c4fafa220ff474b3fc6bfdb4293327f1a37e94d86"
421
+ dependencies = [
422
+ "itoa",
423
+ "memchr",
424
+ "serde",
425
+ "serde_core",
426
+ "zmij",
427
+ ]
428
+
429
+ [[package]]
430
+ name = "shlex"
431
+ version = "1.3.0"
432
+ source = "registry+https://github.com/rust-lang/crates.io-index"
433
+ checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
434
+
435
+ [[package]]
436
+ name = "syn"
437
+ version = "2.0.117"
438
+ source = "registry+https://github.com/rust-lang/crates.io-index"
439
+ checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
440
+ dependencies = [
441
+ "proc-macro2",
442
+ "quote",
443
+ "unicode-ident",
444
+ ]
445
+
446
+ [[package]]
447
+ name = "target-lexicon"
448
+ version = "0.13.5"
449
+ source = "registry+https://github.com/rust-lang/crates.io-index"
450
+ checksum = "adb6935a6f5c20170eeceb1a3835a49e12e19d792f6dd344ccc76a985ca5a6ca"
451
+
452
+ [[package]]
453
+ name = "tinytemplate"
454
+ version = "1.2.1"
455
+ source = "registry+https://github.com/rust-lang/crates.io-index"
456
+ checksum = "be4d6b5f19ff7664e8c98d03e2139cb510db9b0a60b55f8e8709b689d939b6bc"
457
+ dependencies = [
458
+ "serde",
459
+ "serde_json",
460
+ ]
461
+
462
+ [[package]]
463
+ name = "unicode-ident"
464
+ version = "1.0.24"
465
+ source = "registry+https://github.com/rust-lang/crates.io-index"
466
+ checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
467
+
468
+ [[package]]
469
+ name = "walkdir"
470
+ version = "2.5.0"
471
+ source = "registry+https://github.com/rust-lang/crates.io-index"
472
+ checksum = "29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b"
473
+ dependencies = [
474
+ "same-file",
475
+ "winapi-util",
476
+ ]
477
+
478
+ [[package]]
479
+ name = "winapi"
480
+ version = "0.3.9"
481
+ source = "registry+https://github.com/rust-lang/crates.io-index"
482
+ checksum = "5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419"
483
+ dependencies = [
484
+ "winapi-i686-pc-windows-gnu",
485
+ "winapi-x86_64-pc-windows-gnu",
486
+ ]
487
+
488
+ [[package]]
489
+ name = "winapi-i686-pc-windows-gnu"
490
+ version = "0.4.0"
491
+ source = "registry+https://github.com/rust-lang/crates.io-index"
492
+ checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6"
493
+
494
+ [[package]]
495
+ name = "winapi-util"
496
+ version = "0.1.11"
497
+ source = "registry+https://github.com/rust-lang/crates.io-index"
498
+ checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
499
+ dependencies = [
500
+ "windows-sys",
501
+ ]
502
+
503
+ [[package]]
504
+ name = "winapi-x86_64-pc-windows-gnu"
505
+ version = "0.4.0"
506
+ source = "registry+https://github.com/rust-lang/crates.io-index"
507
+ checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
508
+
509
+ [[package]]
510
+ name = "windows-link"
511
+ version = "0.2.1"
512
+ source = "registry+https://github.com/rust-lang/crates.io-index"
513
+ checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
514
+
515
+ [[package]]
516
+ name = "windows-sys"
517
+ version = "0.61.2"
518
+ source = "registry+https://github.com/rust-lang/crates.io-index"
519
+ checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
520
+ dependencies = [
521
+ "windows-link",
522
+ ]
523
+
524
+ [[package]]
525
+ name = "zerocopy"
526
+ version = "0.8.47"
527
+ source = "registry+https://github.com/rust-lang/crates.io-index"
528
+ checksum = "efbb2a062be311f2ba113ce66f697a4dc589f85e78a4aea276200804cea0ed87"
529
+ dependencies = [
530
+ "zerocopy-derive",
531
+ ]
532
+
533
+ [[package]]
534
+ name = "zerocopy-derive"
535
+ version = "0.8.47"
536
+ source = "registry+https://github.com/rust-lang/crates.io-index"
537
+ checksum = "0e8bc7269b54418e7aeeef514aa68f8690b8c0489a06b0136e5f57c4c5ccab89"
538
+ dependencies = [
539
+ "proc-macro2",
540
+ "quote",
541
+ "syn",
542
+ ]
543
+
544
+ [[package]]
545
+ name = "zmij"
546
+ version = "1.0.21"
547
+ source = "registry+https://github.com/rust-lang/crates.io-index"
548
+ checksum = "b8848ee67ecc8aedbaf3e4122217aff892639231befc6a1b58d29fff4c2cabaa"
contract_check-0.3.7/Cargo.toml ADDED
@@ -0,0 +1,20 @@
1
+ [workspace]
2
+ members = ["bindings/python-contracts-rs", "crates/rust-contract-checks", "crates/rust-contract-checks-macros"]
3
+ resolver = "2"
4
+
5
+ [workspace.package]
6
+ version = "0.3.7"
7
+ edition = "2021"
8
+ license = "MIT"
9
+ repository = "https://github.com/sotanengel/py-contract-check"
10
+ rust-version = "1.81"
11
+
12
+ [workspace.lints.rust]
13
+ unsafe_code = "forbid"
14
+ missing_docs = "warn"
15
+
16
+ [workspace.lints.clippy]
17
+ dbg_macro = "deny"
18
+ expect_used = "deny"
19
+ todo = "deny"
20
+ unwrap_used = "deny"