mirsa 0.2.0

rust mir static analysis
1
2
3
4
5
6
7
8

{"reason":"compiler-artifact","package_id":"path+file:///home/wentao/mirsa/crates/core#0.1.0","manifest_path":"/home/wentao/mirsa/crates/core/Cargo.toml","target":{"kind":["lib"],"crate_types":["lib"],"name":"core","src_path":"/home/wentao/mirsa/crates/core/src/lib.rs","edition":"2024","doc":true,"doctest":true,"test":true},"profile":{"opt_level":"0","debuginfo":2,"debug_assertions":true,"overflow_checks":true,"test":false},"features":[],"filenames":["/home/wentao/mirsa/target/debug/deps/libcore-6b711b4aa89c8e8a.rmeta"],"executable":null,"fresh":true}
{"reason":"compiler-artifact","package_id":"path+file:///home/wentao/mirsa/crates/domains#0.1.0","manifest_path":"/home/wentao/mirsa/crates/domains/Cargo.toml","target":{"kind":["lib"],"crate_types":["lib"],"name":"domains","src_path":"/home/wentao/mirsa/crates/domains/src/lib.rs","edition":"2024","doc":true,"doctest":true,"test":true},"profile":{"opt_level":"0","debuginfo":2,"debug_assertions":true,"overflow_checks":true,"test":false},"features":[],"filenames":["/home/wentao/mirsa/target/debug/deps/libdomains-9bc667e2715a4d36.rmeta"],"executable":null,"fresh":true}
{"reason":"compiler-artifact","package_id":"path+file:///home/wentao/mirsa/crates/driver#0.1.0","manifest_path":"/home/wentao/mirsa/crates/driver/Cargo.toml","target":{"kind":["bin"],"crate_types":["bin"],"name":"driver","src_path":"/home/wentao/mirsa/crates/driver/src/main.rs","edition":"2024","doc":true,"doctest":false,"test":true},"profile":{"opt_level":"0","debuginfo":2,"debug_assertions":true,"overflow_checks":true,"test":false},"features":[],"filenames":["/home/wentao/mirsa/target/debug/deps/libdriver-895e4d6e9bd797bf.rmeta"],"executable":null,"fresh":true}
{"reason":"compiler-artifact","package_id":"path+file:///home/wentao/mirsa/crates/driver#0.1.0","manifest_path":"/home/wentao/mirsa/crates/driver/Cargo.toml","target":{"kind":["bin"],"crate_types":["bin"],"name":"driver","src_path":"/home/wentao/mirsa/crates/driver/src/main.rs","edition":"2024","doc":true,"doctest":false,"test":true},"profile":{"opt_level":"0","debuginfo":2,"debug_assertions":true,"overflow_checks":true,"test":true},"features":[],"filenames":["/home/wentao/mirsa/target/debug/deps/libdriver-bc2ff11f0afa0e9b.rmeta"],"executable":null,"fresh":true}
{"reason":"compiler-artifact","package_id":"path+file:///home/wentao/mirsa/crates/domains#0.1.0","manifest_path":"/home/wentao/mirsa/crates/domains/Cargo.toml","target":{"kind":["lib"],"crate_types":["lib"],"name":"domains","src_path":"/home/wentao/mirsa/crates/domains/src/lib.rs","edition":"2024","doc":true,"doctest":true,"test":true},"profile":{"opt_level":"0","debuginfo":2,"debug_assertions":true,"overflow_checks":true,"test":true},"features":[],"filenames":["/home/wentao/mirsa/target/debug/deps/libdomains-fec4a0c4b3c5deeb.rmeta"],"executable":null,"fresh":true}
{"reason":"compiler-artifact","package_id":"path+file:///home/wentao/mirsa#0.1.0","manifest_path":"/home/wentao/mirsa/Cargo.toml","target":{"kind":["example"],"crate_types":["bin"],"name":"simple","src_path":"/home/wentao/mirsa/examples/simple.rs","edition":"2021","doc":false,"doctest":false,"test":false},"profile":{"opt_level":"0","debuginfo":2,"debug_assertions":true,"overflow_checks":true,"test":false},"features":[],"filenames":["/home/wentao/mirsa/target/debug/examples/libsimple-a3701dc947a57992.rmeta"],"executable":null,"fresh":true}
{"reason":"compiler-artifact","package_id":"path+file:///home/wentao/mirsa/crates/core#0.1.0","manifest_path":"/home/wentao/mirsa/crates/core/Cargo.toml","target":{"kind":["lib"],"crate_types":["lib"],"name":"core","src_path":"/home/wentao/mirsa/crates/core/src/lib.rs","edition":"2024","doc":true,"doctest":true,"test":true},"profile":{"opt_level":"0","debuginfo":2,"debug_assertions":true,"overflow_checks":true,"test":true},"features":[],"filenames":["/home/wentao/mirsa/target/debug/deps/libcore-d7f49ba2c9df4a99.rmeta"],"executable":null,"fresh":true}
{"reason":"build-finished","success":true}