relulayer 0.2.0__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 (43) hide show
  1. relulayer-0.2.0/10-kernel/relulayer-core/Cargo.lock +477 -0
  2. relulayer-0.2.0/10-kernel/relulayer-core/Cargo.toml +24 -0
  3. relulayer-0.2.0/10-kernel/relulayer-core/audit_repo_topology.sh +205 -0
  4. relulayer-0.2.0/10-kernel/relulayer-core/build.rs +18 -0
  5. relulayer-0.2.0/10-kernel/relulayer-core/cbindgen.toml +8 -0
  6. relulayer-0.2.0/10-kernel/relulayer-core/deep_topology_audit.py +124 -0
  7. relulayer-0.2.0/10-kernel/relulayer-core/fix_and_run_kani.sh +316 -0
  8. relulayer-0.2.0/10-kernel/relulayer-core/include/relulayer.h +91 -0
  9. relulayer-0.2.0/10-kernel/relulayer-core/run_kani_verification_and_commit.sh +15 -0
  10. relulayer-0.2.0/10-kernel/relulayer-core/sanitize_and_verify.py +505 -0
  11. relulayer-0.2.0/10-kernel/relulayer-core/src/benchmark_harness.rs +71 -0
  12. relulayer-0.2.0/10-kernel/relulayer-core/src/core_math.rs +158 -0
  13. relulayer-0.2.0/10-kernel/relulayer-core/src/kani_multivar_proofs.rs +171 -0
  14. relulayer-0.2.0/10-kernel/relulayer-core/src/kani_proofs.rs +110 -0
  15. relulayer-0.2.0/10-kernel/relulayer-core/src/lib.rs +25 -0
  16. relulayer-0.2.0/10-kernel/relulayer-core/src/multivar_4d.rs +697 -0
  17. relulayer-0.2.0/10-kernel/relulayer-core/src/pendulum_sim.rs +73 -0
  18. relulayer-0.2.0/10-kernel/relulayer-core/tests/test_multivar_4d.rs +248 -0
  19. relulayer-0.2.0/10-kernel/relulayer-security/Cargo.lock +150 -0
  20. relulayer-0.2.0/10-kernel/relulayer-security/Cargo.toml +36 -0
  21. relulayer-0.2.0/10-kernel/relulayer-security/build.rs +32 -0
  22. relulayer-0.2.0/10-kernel/relulayer-security/src/boundary.rs +228 -0
  23. relulayer-0.2.0/10-kernel/relulayer-security/src/crypto.rs +398 -0
  24. relulayer-0.2.0/10-kernel/relulayer-security/src/kani_proofs.rs +175 -0
  25. relulayer-0.2.0/10-kernel/relulayer-security/src/lib.rs +68 -0
  26. relulayer-0.2.0/10-kernel/relulayer-security/src/limits.rs +46 -0
  27. relulayer-0.2.0/10-kernel/relulayer-security/src/sha.rs +127 -0
  28. relulayer-0.2.0/10-kernel/relulayer-security/tests/red_team_harness.py +485 -0
  29. relulayer-0.2.0/Cargo.lock +771 -0
  30. relulayer-0.2.0/Cargo.toml +19 -0
  31. relulayer-0.2.0/LICENSE-APACHE +17 -0
  32. relulayer-0.2.0/LICENSE-MIT +21 -0
  33. relulayer-0.2.0/PKG-INFO +228 -0
  34. relulayer-0.2.0/README.md +195 -0
  35. relulayer-0.2.0/crates/relulayer-py/Cargo.toml +22 -0
  36. relulayer-0.2.0/crates/relulayer-py/examples/gym_step_interceptor.py +21 -0
  37. relulayer-0.2.0/crates/relulayer-py/src/governor.rs +78 -0
  38. relulayer-0.2.0/crates/relulayer-py/src/lib.rs +306 -0
  39. relulayer-0.2.0/crates/relulayer-py/tests/bench_simulation_loop.py +43 -0
  40. relulayer-0.2.0/pyproject.toml +52 -0
  41. relulayer-0.2.0/python/relulayer/__init__.py +20 -0
  42. relulayer-0.2.0/python/relulayer/__init__.pyi +42 -0
  43. relulayer-0.2.0/python/relulayer/py.typed +0 -0
relulayer-0.2.0/10-kernel/relulayer-core/Cargo.lock ADDED
@@ -0,0 +1,477 @@
1
+ # This file is automatically @generated by Cargo.
2
+ # It is not intended for manual editing.
3
+ version = 4
4
+
5
+ [[package]]
6
+ name = "bare-metal"
7
+ version = "0.2.5"
8
+ source = "registry+https://github.com/rust-lang/crates.io-index"
9
+ checksum = "5deb64efa5bd81e31fcd1938615a6d98c82eafcbcd787162b6f63b91d6bac5b3"
10
+ dependencies = [
11
+ "rustc_version",
12
+ ]
13
+
14
+ [[package]]
15
+ name = "bitfield"
16
+ version = "0.13.2"
17
+ source = "registry+https://github.com/rust-lang/crates.io-index"
18
+ checksum = "46afbd2983a5d5a7bd740ccb198caf5b82f45c40c09c0eed36052d91cb92e719"
19
+
20
+ [[package]]
21
+ name = "bitflags"
22
+ version = "2.13.2"
23
+ source = "registry+https://github.com/rust-lang/crates.io-index"
24
+ checksum = "3ded4057c258ba199e2d26386d3af3780957ecaee6c4ef4041c6b4b8b97c0b06"
25
+
26
+ [[package]]
27
+ name = "cbindgen"
28
+ version = "0.28.0"
29
+ source = "registry+https://github.com/rust-lang/crates.io-index"
30
+ checksum = "eadd868a2ce9ca38de7eeafdcec9c7065ef89b42b32f0839278d55f35c54d1ff"
31
+ dependencies = [
32
+ "heck",
33
+ "indexmap",
34
+ "log",
35
+ "proc-macro2",
36
+ "quote",
37
+ "serde",
38
+ "serde_json",
39
+ "syn 2.0.119",
40
+ "tempfile",
41
+ "toml",
42
+ ]
43
+
44
+ [[package]]
45
+ name = "cfg-if"
46
+ version = "1.0.5"
47
+ source = "registry+https://github.com/rust-lang/crates.io-index"
48
+ checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600"
49
+
50
+ [[package]]
51
+ name = "cortex-m"
52
+ version = "0.7.9"
53
+ source = "registry+https://github.com/rust-lang/crates.io-index"
54
+ checksum = "844b9697e922c99847eed515c6eb6d101e7ce62ff556fcaec243798291427ee8"
55
+ dependencies = [
56
+ "bare-metal",
57
+ "bitfield",
58
+ "cortex-m-macros",
59
+ "critical-section",
60
+ "embedded-hal 0.2.7",
61
+ "embedded-hal 1.0.0",
62
+ "volatile-register",
63
+ ]
64
+
65
+ [[package]]
66
+ name = "cortex-m-macros"
67
+ version = "0.7.8"
68
+ source = "registry+https://github.com/rust-lang/crates.io-index"
69
+ checksum = "6d1922be58519ad40368fc4ca595a2cefa51a7abf947be3b0c90586dc7dbd0e2"
70
+ dependencies = [
71
+ "proc-macro2",
72
+ "quote",
73
+ "syn 2.0.119",
74
+ ]
75
+
76
+ [[package]]
77
+ name = "cortex-m-rt"
78
+ version = "0.7.7"
79
+ source = "registry+https://github.com/rust-lang/crates.io-index"
80
+ checksum = "f1f0f27b7ecbb9fad6702c8764d11d0b7245437de1575e34e39b2af95382f096"
81
+ dependencies = [
82
+ "cortex-m-rt-macros",
83
+ ]
84
+
85
+ [[package]]
86
+ name = "cortex-m-rt-macros"
87
+ version = "0.7.7"
88
+ source = "registry+https://github.com/rust-lang/crates.io-index"
89
+ checksum = "05cf9e0f899304705b85fda7b178fc383f2529ec2479693248b600e530d2327a"
90
+ dependencies = [
91
+ "proc-macro2",
92
+ "quote",
93
+ "syn 3.0.6",
94
+ ]
95
+
96
+ [[package]]
97
+ name = "critical-section"
98
+ version = "1.2.0"
99
+ source = "registry+https://github.com/rust-lang/crates.io-index"
100
+ checksum = "790eea4361631c5e7d22598ecd5723ff611904e3344ce8720784c93e3d83d40b"
101
+
102
+ [[package]]
103
+ name = "embedded-hal"
104
+ version = "0.2.7"
105
+ source = "registry+https://github.com/rust-lang/crates.io-index"
106
+ checksum = "35949884794ad573cf46071e41c9b60efb0cb311e3ca01f7af807af1debc66ff"
107
+ dependencies = [
108
+ "nb 0.1.3",
109
+ "void",
110
+ ]
111
+
112
+ [[package]]
113
+ name = "embedded-hal"
114
+ version = "1.0.0"
115
+ source = "registry+https://github.com/rust-lang/crates.io-index"
116
+ checksum = "361a90feb7004eca4019fb28352a9465666b24f840f5c3cddf0ff13920590b89"
117
+
118
+ [[package]]
119
+ name = "equivalent"
120
+ version = "1.0.2"
121
+ source = "registry+https://github.com/rust-lang/crates.io-index"
122
+ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
123
+
124
+ [[package]]
125
+ name = "errno"
126
+ version = "0.3.14"
127
+ source = "registry+https://github.com/rust-lang/crates.io-index"
128
+ checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
129
+ dependencies = [
130
+ "libc",
131
+ "windows-sys",
132
+ ]
133
+
134
+ [[package]]
135
+ name = "fastrand"
136
+ version = "2.5.0"
137
+ source = "registry+https://github.com/rust-lang/crates.io-index"
138
+ checksum = "da7c62ceae207dd37ea5b845da6a0696c799f85e97da1ab5b7910be3c1c80223"
139
+
140
+ [[package]]
141
+ name = "getrandom"
142
+ version = "0.4.3"
143
+ source = "registry+https://github.com/rust-lang/crates.io-index"
144
+ checksum = "300e883d756b2e4ec94e02791f39b04b522276138852cfc41d9fb7e904106099"
145
+ dependencies = [
146
+ "cfg-if",
147
+ "libc",
148
+ "r-efi",
149
+ ]
150
+
151
+ [[package]]
152
+ name = "hashbrown"
153
+ version = "0.17.1"
154
+ source = "registry+https://github.com/rust-lang/crates.io-index"
155
+ checksum = "ed5909b6e89a2db4456e54cd5f673791d7eca6732202bbf2a9cc504fe2f9b84a"
156
+
157
+ [[package]]
158
+ name = "heck"
159
+ version = "0.4.1"
160
+ source = "registry+https://github.com/rust-lang/crates.io-index"
161
+ checksum = "95505c38b4572b2d910cecb0281560f54b440a19336cbbcb27bf6ce6adc6f5a8"
162
+
163
+ [[package]]
164
+ name = "indexmap"
165
+ version = "2.14.2"
166
+ source = "registry+https://github.com/rust-lang/crates.io-index"
167
+ checksum = "cc4e190f5d26ca7051642629da2c52fc03bde85a03197c99408dcd291734c855"
168
+ dependencies = [
169
+ "equivalent",
170
+ "hashbrown",
171
+ ]
172
+
173
+ [[package]]
174
+ name = "itoa"
175
+ version = "1.0.18"
176
+ source = "registry+https://github.com/rust-lang/crates.io-index"
177
+ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
178
+
179
+ [[package]]
180
+ name = "libc"
181
+ version = "0.2.190"
182
+ source = "registry+https://github.com/rust-lang/crates.io-index"
183
+ checksum = "ce5d3ddc6d3fa000eb1536d85e147bfe31aacaba692ed6a876f95cb7c855be78"
184
+
185
+ [[package]]
186
+ name = "linux-raw-sys"
187
+ version = "0.12.1"
188
+ source = "registry+https://github.com/rust-lang/crates.io-index"
189
+ checksum = "32a66949e030da00e8c7d4434b251670a91556f4144941d37452769c25d58a53"
190
+
191
+ [[package]]
192
+ name = "log"
193
+ version = "0.4.34"
194
+ source = "registry+https://github.com/rust-lang/crates.io-index"
195
+ checksum = "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6"
196
+
197
+ [[package]]
198
+ name = "memchr"
199
+ version = "2.8.3"
200
+ source = "registry+https://github.com/rust-lang/crates.io-index"
201
+ checksum = "cf8baf1c55e62ffcace7a9f06f4bd9cd3f0c4beb022d3b367256b91b87513d98"
202
+
203
+ [[package]]
204
+ name = "nb"
205
+ version = "0.1.3"
206
+ source = "registry+https://github.com/rust-lang/crates.io-index"
207
+ checksum = "801d31da0513b6ec5214e9bf433a77966320625a37860f910be265be6e18d06f"
208
+ dependencies = [
209
+ "nb 1.1.0",
210
+ ]
211
+
212
+ [[package]]
213
+ name = "nb"
214
+ version = "1.1.0"
215
+ source = "registry+https://github.com/rust-lang/crates.io-index"
216
+ checksum = "8d5439c4ad607c3c23abf66de8c8bf57ba8adcd1f129e699851a6e43935d339d"
217
+
218
+ [[package]]
219
+ name = "once_cell"
220
+ version = "1.21.4"
221
+ source = "registry+https://github.com/rust-lang/crates.io-index"
222
+ checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
223
+
224
+ [[package]]
225
+ name = "proc-macro2"
226
+ version = "1.0.107"
227
+ source = "registry+https://github.com/rust-lang/crates.io-index"
228
+ checksum = "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"
229
+ dependencies = [
230
+ "unicode-ident",
231
+ ]
232
+
233
+ [[package]]
234
+ name = "quote"
235
+ version = "1.0.47"
236
+ source = "registry+https://github.com/rust-lang/crates.io-index"
237
+ checksum = "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"
238
+ dependencies = [
239
+ "proc-macro2",
240
+ ]
241
+
242
+ [[package]]
243
+ name = "r-efi"
244
+ version = "6.0.0"
245
+ source = "registry+https://github.com/rust-lang/crates.io-index"
246
+ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf"
247
+
248
+ [[package]]
249
+ name = "relulayer-core"
250
+ version = "0.1.0"
251
+ dependencies = [
252
+ "cbindgen",
253
+ "cortex-m",
254
+ "cortex-m-rt",
255
+ ]
256
+
257
+ [[package]]
258
+ name = "rustc_version"
259
+ version = "0.2.3"
260
+ source = "registry+https://github.com/rust-lang/crates.io-index"
261
+ checksum = "138e3e0acb6c9fb258b19b67cb8abd63c00679d2851805ea151465464fe9030a"
262
+ dependencies = [
263
+ "semver",
264
+ ]
265
+
266
+ [[package]]
267
+ name = "rustix"
268
+ version = "1.1.5"
269
+ source = "registry+https://github.com/rust-lang/crates.io-index"
270
+ checksum = "891efababe418670775f199f0d233d84843c227a0949a883ce15b37c78d6629d"
271
+ dependencies = [
272
+ "bitflags",
273
+ "errno",
274
+ "libc",
275
+ "linux-raw-sys",
276
+ "windows-sys",
277
+ ]
278
+
279
+ [[package]]
280
+ name = "semver"
281
+ version = "0.9.0"
282
+ source = "registry+https://github.com/rust-lang/crates.io-index"
283
+ checksum = "1d7eb9ef2c18661902cc47e535f9bc51b78acd254da71d375c2f6720d9a40403"
284
+ dependencies = [
285
+ "semver-parser",
286
+ ]
287
+
288
+ [[package]]
289
+ name = "semver-parser"
290
+ version = "0.7.0"
291
+ source = "registry+https://github.com/rust-lang/crates.io-index"
292
+ checksum = "388a1df253eca08550bef6c72392cfe7c30914bf41df5269b68cbd6ff8f570a3"
293
+
294
+ [[package]]
295
+ name = "serde"
296
+ version = "1.0.229"
297
+ source = "registry+https://github.com/rust-lang/crates.io-index"
298
+ checksum = "4148590afebada386688f18773da617792bf2ef03ffc1e4cbd2b1d45b023e0ba"
299
+ dependencies = [
300
+ "serde_core",
301
+ "serde_derive",
302
+ ]
303
+
304
+ [[package]]
305
+ name = "serde_core"
306
+ version = "1.0.229"
307
+ source = "registry+https://github.com/rust-lang/crates.io-index"
308
+ checksum = "67dca2c9c51e58a4791a4b1ed58308b39c64224d349a935ab5039aa360942a48"
309
+ dependencies = [
310
+ "serde_derive",
311
+ ]
312
+
313
+ [[package]]
314
+ name = "serde_derive"
315
+ version = "1.0.229"
316
+ source = "registry+https://github.com/rust-lang/crates.io-index"
317
+ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348"
318
+ dependencies = [
319
+ "proc-macro2",
320
+ "quote",
321
+ "syn 3.0.6",
322
+ ]
323
+
324
+ [[package]]
325
+ name = "serde_json"
326
+ version = "1.0.151"
327
+ source = "registry+https://github.com/rust-lang/crates.io-index"
328
+ checksum = "c841b55ecdae098c80dcae9cf767f6f8a0c2cdb3416bbef72181df4d0fe73f14"
329
+ dependencies = [
330
+ "itoa",
331
+ "memchr",
332
+ "serde",
333
+ "serde_core",
334
+ "zmij",
335
+ ]
336
+
337
+ [[package]]
338
+ name = "serde_spanned"
339
+ version = "0.6.9"
340
+ source = "registry+https://github.com/rust-lang/crates.io-index"
341
+ checksum = "bf41e0cfaf7226dca15e8197172c295a782857fcb97fad1808a166870dee75a3"
342
+ dependencies = [
343
+ "serde",
344
+ ]
345
+
346
+ [[package]]
347
+ name = "syn"
348
+ version = "2.0.119"
349
+ source = "registry+https://github.com/rust-lang/crates.io-index"
350
+ checksum = "872831b642d1a07999a962a351ed35b955ea2cfc8f3862091e2a240a84f17297"
351
+ dependencies = [
352
+ "proc-macro2",
353
+ "quote",
354
+ "unicode-ident",
355
+ ]
356
+
357
+ [[package]]
358
+ name = "syn"
359
+ version = "3.0.6"
360
+ source = "registry+https://github.com/rust-lang/crates.io-index"
361
+ checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee"
362
+ dependencies = [
363
+ "proc-macro2",
364
+ "quote",
365
+ "unicode-ident",
366
+ ]
367
+
368
+ [[package]]
369
+ name = "tempfile"
370
+ version = "3.27.0"
371
+ source = "registry+https://github.com/rust-lang/crates.io-index"
372
+ checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd"
373
+ dependencies = [
374
+ "fastrand",
375
+ "getrandom",
376
+ "once_cell",
377
+ "rustix",
378
+ "windows-sys",
379
+ ]
380
+
381
+ [[package]]
382
+ name = "toml"
383
+ version = "0.8.23"
384
+ source = "registry+https://github.com/rust-lang/crates.io-index"
385
+ checksum = "dc1beb996b9d83529a9e75c17a1686767d148d70663143c7854d8b4a09ced362"
386
+ dependencies = [
387
+ "serde",
388
+ "serde_spanned",
389
+ "toml_datetime",
390
+ "toml_edit",
391
+ ]
392
+
393
+ [[package]]
394
+ name = "toml_datetime"
395
+ version = "0.6.11"
396
+ source = "registry+https://github.com/rust-lang/crates.io-index"
397
+ checksum = "22cddaf88f4fbc13c51aebbf5f8eceb5c7c5a9da2ac40a13519eb5b0a0e8f11c"
398
+ dependencies = [
399
+ "serde",
400
+ ]
401
+
402
+ [[package]]
403
+ name = "toml_edit"
404
+ version = "0.22.27"
405
+ source = "registry+https://github.com/rust-lang/crates.io-index"
406
+ checksum = "41fe8c660ae4257887cf66394862d21dbca4a6ddd26f04a3560410406a2f819a"
407
+ dependencies = [
408
+ "indexmap",
409
+ "serde",
410
+ "serde_spanned",
411
+ "toml_datetime",
412
+ "toml_write",
413
+ "winnow",
414
+ ]
415
+
416
+ [[package]]
417
+ name = "toml_write"
418
+ version = "0.1.2"
419
+ source = "registry+https://github.com/rust-lang/crates.io-index"
420
+ checksum = "5d99f8c9a7727884afe522e9bd5edbfc91a3312b36a77b5fb8926e4c31a41801"
421
+
422
+ [[package]]
423
+ name = "unicode-ident"
424
+ version = "1.0.26"
425
+ source = "registry+https://github.com/rust-lang/crates.io-index"
426
+ checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954"
427
+
428
+ [[package]]
429
+ name = "vcell"
430
+ version = "0.1.3"
431
+ source = "registry+https://github.com/rust-lang/crates.io-index"
432
+ checksum = "77439c1b53d2303b20d9459b1ade71a83c716e3f9c34f3228c00e6f185d6c002"
433
+
434
+ [[package]]
435
+ name = "void"
436
+ version = "1.0.2"
437
+ source = "registry+https://github.com/rust-lang/crates.io-index"
438
+ checksum = "6a02e4885ed3bc0f2de90ea6dd45ebcbb66dacffe03547fadbb0eeae2770887d"
439
+
440
+ [[package]]
441
+ name = "volatile-register"
442
+ version = "0.2.2"
443
+ source = "registry+https://github.com/rust-lang/crates.io-index"
444
+ checksum = "de437e2a6208b014ab52972a27e59b33fa2920d3e00fe05026167a1c509d19cc"
445
+ dependencies = [
446
+ "vcell",
447
+ ]
448
+
449
+ [[package]]
450
+ name = "windows-link"
451
+ version = "0.2.1"
452
+ source = "registry+https://github.com/rust-lang/crates.io-index"
453
+ checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
454
+
455
+ [[package]]
456
+ name = "windows-sys"
457
+ version = "0.61.2"
458
+ source = "registry+https://github.com/rust-lang/crates.io-index"
459
+ checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
460
+ dependencies = [
461
+ "windows-link",
462
+ ]
463
+
464
+ [[package]]
465
+ name = "winnow"
466
+ version = "0.7.15"
467
+ source = "registry+https://github.com/rust-lang/crates.io-index"
468
+ checksum = "df79d97927682d2fd8adb29682d1140b343be4ac0f08fd68b7765d9c059d3945"
469
+ dependencies = [
470
+ "memchr",
471
+ ]
472
+
473
+ [[package]]
474
+ name = "zmij"
475
+ version = "1.0.23"
476
+ source = "registry+https://github.com/rust-lang/crates.io-index"
477
+ checksum = "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"
relulayer-0.2.0/10-kernel/relulayer-core/Cargo.toml ADDED
@@ -0,0 +1,24 @@
1
+ [package]
2
+ name = "relulayer-core"
3
+ version = "0.1.0"
4
+ edition = "2021"
5
+
6
+ [lib]
7
+ crate-type = ["rlib", "staticlib", "cdylib"]
8
+
9
+ [features]
10
+ default = ["std"]
11
+ # Enable standard-library support. Disable for `#![no_std]` production builds.
12
+ std = []
13
+ # Embedded target support (mutually exclusive with `std`).
14
+ embedded = ["cortex-m", "cortex-m-rt"]
15
+
16
+ [dependencies]
17
+ cortex-m = { version = "0.7", default-features = false, optional = true }
18
+ cortex-m-rt = { version = "0.7", optional = true }
19
+
20
+ [build-dependencies]
21
+ cbindgen = { version = "0.28", default-features = false }
22
+
23
+ [lints.rust]
24
+ unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }