{"name":"machine-check-hw","vers":"0.5.0-alpha.3","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.5.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.5.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"56a32bed53d2d739314a81fd07312f7c25940263721f847c0a168942a1ad2f84","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-06-14T19:07:53Z"}
{"name":"machine-check-hw","vers":"0.5.0-alpha.4","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.5.0-alpha.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.5.0-alpha.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"12651a99f9128dc3b1eb85615585d09e91bce1ddf7db9a6d879b53cd9eba1549","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-06-15T13:02:13Z"}
{"name":"machine-check-hw","vers":"0.5.0-alpha.5","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.5.0-alpha.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.5.0-alpha.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"61b4d4676ce7fc1059b0f727d927d91d4827dedd87f0d019d6d6725fec3a3f20","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-06-15T17:10:59Z"}
{"name":"machine-check-hw","vers":"0.5.0","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c557720888198da9f477ea80870076d006058ce89f20e0702df167558b6c0b77","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-06-15T19:57:49Z"}
{"name":"machine-check-hw","vers":"0.6.0-alpha.2","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.6.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.6.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ca503c4e537f2648c25003f08f54c6a2557d79aec129c9ae296da66efbad2b67","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-08-25T17:17:10Z"}
{"name":"machine-check-hw","vers":"0.6.0-alpha.3","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.6.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.6.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0ba8d476ae8ae9b667708c7a48ff93eba9ce99417d3c86bd096b9a69473c45eb","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-08-25T18:43:19Z"}
{"name":"machine-check-hw","vers":"0.6.0","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1fb695351eb3de9a30e82d7dd61d955d6bc8dc397a94e96b3facb87ea630d3ef","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":true,"rust_version":"1.83","pubtime":"2025-08-26T00:43:17Z"}
{"name":"machine-check-hw","vers":"0.6.1-alpha.1","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.6.1-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.6.1-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c9b949eeecc09f9555e9a1a07f49ea84e1afa71eb9d7eec08f0f210218656ad2","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-09-10T13:14:32Z"}
{"name":"machine-check-hw","vers":"0.6.1","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.188","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"83c31af638e450d0b7cef454bc3a9381c700570bc0a3661e28957490003e31f8","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.83","pubtime":"2025-09-12T14:25:43Z"}
{"name":"machine-check-hw","vers":"0.7.0-alpha.2","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.7.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.7.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"90e25075a1d82f09e48b98e8910c443037a116a244445a6640760bde704c3cc9","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-10-28T16:38:13Z"}
{"name":"machine-check-hw","vers":"0.7.0-alpha.3","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.7.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.7.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"06a7e2abcf651d7db491f03df06dfbafbdaaa19537fe6a401276a509ca817937","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"Zeq_domain":["machine-check-compile/Zeq_domain"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-10-28T21:07:26Z"}
{"name":"machine-check-hw","vers":"0.7.0-alpha.4","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.7.0-alpha.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.7.0-alpha.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"022bb9bb5f7eb7ce9af35b4fe0dfc18f2d485e25ff7d51ccc846025b0cff8ed4","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"Zeq_domain":["machine-check-compile/Zeq_domain"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-10-28T22:16:53Z"}
{"name":"machine-check-hw","vers":"0.7.0-alpha.5","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.7.0-alpha.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.7.0-alpha.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eff97366669e084eab7c3424921a5137d89f4b5feb9e88ddf842a8822d7db121","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"Zeq_domain":["machine-check-compile/Zeq_domain"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-10-29T00:19:20Z"}
{"name":"machine-check-hw","vers":"0.7.0","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1763240f510fa3bfa24cbec1238fd579fe1c50c762aa34078011a13f28584e19","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"Zeq_domain":["machine-check-compile/Zeq_domain"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-10-29T00:45:00Z"}
{"name":"machine-check-hw","vers":"0.7.1","deps":[{"name":"btor2rs","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"camino","req":"^1.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-common","req":"=0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"machine-check-compile","req":"=0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.67","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.37","features":["visit-mut","extra-traits"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn-path","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempdir","req":"^0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bc72b31ee71e96fc4eec77fef002bcea68f732b34a88ae8bf8c906f9c8fb3fe6","features":{"Zdual_interval":["machine-check-compile/Zdual_interval"],"Zeq_domain":["machine-check-compile/Zeq_domain"],"gui":["machine-check-compile/gui"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-12-17T17:03:39Z"}