{"name":"fortress-rollback","vers":"0.1.0","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serial_test","req":"^3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.43","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a329935cab92f3759294b95093b10d3d6e97a553f6cf8ad4b66f3757e02fe1f2","features":{"loom":[],"paranoid":[],"sync-send":[],"wasm-bindgen":[]},"features2":{"graphical-examples":["dep:macroquad"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2025-12-19T03:21:16Z","v":2}
{"name":"fortress-rollback","vers":"0.1.1","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serial_test","req":"^3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.43","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"104923eb75002ac3b042e1ec3b5297a625bfea649f42bbe245461de17234818d","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2025-12-19T23:28:50Z","v":2}
{"name":"fortress-rollback","vers":"0.1.2","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serial_test","req":"^3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.43","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"46ecb139cf853cc286f4e5f0dcf00e249481c9ea23f7bcdd998c6079ceb67265","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2025-12-20T00:35:11Z","v":2}
{"name":"fortress-rollback","vers":"0.2.0","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.43","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d342b139e22c0bef1698c5e8bef1b223e184a254604d8b8b2b53b3b90fd2aa4c","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2025-12-20T07:42:30Z","v":2}
{"name":"fortress-rollback","vers":"0.2.1","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.43","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c31240ac4d9385c1e551cc3aa79f00df09095e42d3dd417cf42399d344b68001","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2025-12-27T00:56:13Z","v":2}
{"name":"fortress-rollback","vers":"0.2.2","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"266e072a21bd09f2477701fe59ee743f9a01b6453211f3be687223f772f185ac","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-01-23T00:34:12Z","v":2}
{"name":"fortress-rollback","vers":"0.3.0","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eb8fe0e9d3f70bed16f0636a2a2242d00864bebdc15fed826b7a950d543b2961","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-01-29T04:23:27Z","v":2}
{"name":"fortress-rollback","vers":"0.4.0","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6674ffbddc3a17995325e3a4a339e6c8a6241ef840df4e3d1b9c37e3fabeaf17","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-01-30T21:37:15Z","v":2}
{"name":"fortress-rollback","vers":"0.4.1","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1066f6facec3302d8eb76ba397ac0957a013234a0889488a6792eb764dee595c","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-01-31T23:25:50Z","v":2}
{"name":"fortress-rollback","vers":"0.5.0","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ea1d94a9fa214b899c55a7c8498031b248b0fc68be6989e026afab993b02473d","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-02-06T01:00:05Z","v":2}
{"name":"fortress-rollback","vers":"0.6.0","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0c44747c868fccbfdcfbb745b50c73933cc8bd67710e057ac2d124bdf62fc0bb","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-02-07T19:16:04Z","v":2}
{"name":"fortress-rollback","vers":"0.7.0","deps":[{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.50","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4f4c48df4ca6c0ee08fca410355a4dd0aadc959e491329228a8bb3603483eec9","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-03-21T01:53:21Z","v":2}
{"name":"fortress-rollback","vers":"0.8.0","deps":[{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.50","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5abeec274989d6811eb42721367bd292294ab536397af00084304453693404aa","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-03-30T00:13:07Z","v":2}
{"name":"fortress-rollback","vers":"0.8.1","deps":[{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d07a73cb37f78f0169c7bf59d86df991b632f6ea7d80084d597462b69a012b11","features":{"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-05-16T18:00:20Z","v":2}
{"name":"fortress-rollback","vers":"0.9.0","deps":[{"name":"bincode","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.6","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"js-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_arch = \"wasm32\")","kind":"normal"},{"name":"loom","req":"^0.7","features":[],"optional":false,"default_features":true,"target":"cfg(loom)","kind":"normal"},{"name":"macroquad","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"parking_lot","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.13","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52","features":["net","io-util","sync","rt","macros","time"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-log","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"web-time","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"278fd064032f883fdcbdc58128d0f86ce2f787fefce1430771ca4a4fa548f240","features":{"hot-join":[],"loom":[],"paranoid":[],"sync-send":[]},"features2":{"graphical-examples":["dep:macroquad"],"json":["dep:serde_json"],"tokio":["dep:tokio"],"z3-verification":["dep:z3"],"z3-verification-bundled":["z3-verification","z3?/bundled"]},"yanked":false,"rust_version":"1.86","pubtime":"2026-06-22T21:59:46Z","v":2}