{"name":"synth-verify","vers":"0.6.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.6.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a79128b8ccf5c958f922c1000a9c1fd3cd17844d7185750b08232509fa006c4","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-24T18:05:11Z"}
{"name":"synth-verify","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"861d27d22c77685f160086b75cac7ff47d1a61c8a90376c6fe2c7c2cd30ef1a6","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-25T06:05:11Z"}
{"name":"synth-verify","vers":"0.8.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"91809de646896123cdd98230011382d19ac0a905a0bd6a47fb29629db2e268f1","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-26T20:10:46Z"}
{"name":"synth-verify","vers":"0.9.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8259ad4d9f9774593d5bd01f2ef904dac3ba0d46c724896db92a263e87439468","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-27T18:05:18Z"}
{"name":"synth-verify","vers":"0.10.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"61fbaba8afe1213762772c6230c05cf4a614aec72ddb96e6d83674f00a57d515","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-29T06:14:11Z"}
{"name":"synth-verify","vers":"0.11.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d751cdd67c59cd4487dac1aedfa9131fd5347bef7d2911e4d5398d523ac8a157","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-29T19:09:56Z"}
{"name":"synth-verify","vers":"0.11.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e1ff22cbb7a70ee464881130f8d2f206618c78d996b85da7c98e71e58255fbb3","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T04:00:24Z"}
{"name":"synth-verify","vers":"0.11.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4bcd175654c1d09885376f08e6bc4b46afc2ba9749117e11ca33b976e8b844c3","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T04:40:38Z"}
{"name":"synth-verify","vers":"0.11.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e78a6690e3efb2a8e9f88357c5209058300d596f4fa8998de54ff7a534a7e57","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T05:40:04Z"}
{"name":"synth-verify","vers":"0.11.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e83c7d928cae1844f78971d941153fa79c777edfb6aa8e4ecef015a91789ce5","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T09:15:35Z"}
{"name":"synth-verify","vers":"0.11.5","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0d8553f448266b1335f49f6307bf38890cad32cc2a52a94a81f089b2fe6077e0","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T10:09:16Z"}
{"name":"synth-verify","vers":"0.11.6","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8a7ddafeec117f485791dd1388b721ac8fdae9afe7568d3088e5864656a6d5cb","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T11:00:55Z"}
{"name":"synth-verify","vers":"0.11.7","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7f20629913abe5096d5b677b355f36d967d3b66e67b59134aa6df5f44f73bd90","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T13:07:00Z"}
{"name":"synth-verify","vers":"0.11.8","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c743d82591a6593d2a188b5818c374acd135e18a974806fd7bfb5ebea4b101dd","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T14:31:56Z"}
{"name":"synth-verify","vers":"0.11.9","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"94224c37c595d35f75df94cb71d09ee013f2980712129b5804c5154fc46ad02f","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T15:26:26Z"}
{"name":"synth-verify","vers":"0.11.10","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b5d3b4d72b5a4b81a2d20a35638dd46db5b06abc79e0345e62d897a9bb671aa9","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T21:12:17Z"}
{"name":"synth-verify","vers":"0.11.11","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"64e8da19bff8e15a0dc96a536d47f8e02ea2afcf183ae9acf578c12df60d62b9","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-30T22:05:12Z"}
{"name":"synth-verify","vers":"0.11.12","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"838ff60fbc84ab3416d40e689e2e4c62abc681a55d669f48d9b99b6e80278f7c","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-31T08:24:16Z"}
{"name":"synth-verify","vers":"0.11.13","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.13","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a80e9ed41bde63669fcd3312d92d52f76749653e07ca737b06a8cde84cdb3eff","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-31T17:42:15Z"}
{"name":"synth-verify","vers":"0.11.14","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f7f6270252ee308a4ab5c0806e48d1396a4781fd46183db503fee2f730554ad2","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-05-31T20:13:34Z"}
{"name":"synth-verify","vers":"0.11.15","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1d8ca32416986f4b8569ed3427f35d954959ea63d8b47ebe4cb4348da3b2e42c","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-01T23:18:52Z"}
{"name":"synth-verify","vers":"0.11.16","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.16","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2669b6ead5644a4d4e542bb27c896e46430b04aa073c1a2dad543cb4aeb3c62b","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-02T16:10:02Z"}
{"name":"synth-verify","vers":"0.11.17","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"174ad8b3c7a53ddabe151174447f121923d26157a6a7ae2ea5f3dabe9cceba1d","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-02T18:15:40Z"}
{"name":"synth-verify","vers":"0.11.18","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.18","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"50e71f3f394d5ef96247b1497b043bcfa7c7996fc11e35208742b380fcbe4e37","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-02T18:46:18Z"}
{"name":"synth-verify","vers":"0.11.19","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f8b0c742d706f5ef2b04bc83b10a3ac736e898cc7cea43ca43c86c2c75af48d3","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-02T19:58:22Z"}
{"name":"synth-verify","vers":"0.11.20","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5e7c822fde630d8e2c4dac8be9bec3896be92a85b392730144122685fb9e32c2","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-02T21:13:55Z"}
{"name":"synth-verify","vers":"0.11.21","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.21","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9e3c511c59f408f22925d141f653da6d286a50ad3f9bc6247056d9128d7f8d6a","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-03T05:55:20Z"}
{"name":"synth-verify","vers":"0.11.22","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"48e0d1b912fe6babc84ab6ded98592451d03bc362cc8fbc5230c122343847094","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-03T07:18:24Z"}
{"name":"synth-verify","vers":"0.11.23","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.23","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.23","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.23","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.23","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5c04cefb1752236ab3821e67290dfe3a3f7836e10440617f8ed7d5c67b35072a","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-03T08:06:57Z"}
{"name":"synth-verify","vers":"0.11.24","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.24","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"155c46968232c7409ff3ecb8ff2e1a416ca3213b8abe3b64c7d68eb2e96a6736","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-03T09:57:02Z"}
{"name":"synth-verify","vers":"0.11.25","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3caa55523e18028832c8ed9bbcdad4da57c639bb455ac47ffb3a76a1191f7ffb","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-03T10:24:31Z"}
{"name":"synth-verify","vers":"0.11.26","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"96322dfc70ce416ef893554cbe8bf8b00dc583bb2f3d61518e9993ba17efd5dc","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-03T11:51:59Z"}
{"name":"synth-verify","vers":"0.11.27","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.27","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a0be1d07cb6519fc6c90121ccac91da189754ef0276a91da6da731d7cb4c1ab8","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-03T13:22:39Z"}
{"name":"synth-verify","vers":"0.11.28","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.28","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"321aa1992517fc679e21b4d860981f8079517de0c8fdb2403e99fc947324f259","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-04T08:40:10Z"}
{"name":"synth-verify","vers":"0.11.29","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.29","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b8005d33ac439b016edc2571e0c40f03202523059185c131ed94e87c2f8c476b","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-04T15:57:56Z"}
{"name":"synth-verify","vers":"0.11.30","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.30","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"997dd1d4cb5d9122fcfde6171661f44bc45c141a477efbf62df96978a14b5202","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-05T04:24:24Z"}
{"name":"synth-verify","vers":"0.11.31","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"129e9e357af70d4385a95bd80c70b11035f0f52d447bae13509bb2bdd6b5020a","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-05T05:39:36Z"}
{"name":"synth-verify","vers":"0.11.32","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ff86684bb8095550c7c96ea10244befdb728b187d1ccec9920d6fe2ed45aa65d","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-05T12:27:56Z"}
{"name":"synth-verify","vers":"0.11.33","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.33","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b29abaa8494cd77b8f123a10c8bec0b29e7a989535f134017085ee79621a2246","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-05T12:55:17Z"}
{"name":"synth-verify","vers":"0.11.34","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.34","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"871409b556d1e80d1c7653564d0f0de6ebaaed1cee06a7cf1f5ddd197862d509","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-05T13:44:39Z"}
{"name":"synth-verify","vers":"0.11.35","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.35","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4952cfd1e6c40966befc2fb41739dc471ae62c1531a757294e6dba0a9563beae","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-09T20:58:40Z"}
{"name":"synth-verify","vers":"0.11.36","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.36","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.36","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.36","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.36","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7facd28451522d8e9838a666257a135a9f5cdd9d5e3fac96b4cc984edfbd0d35","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-11T00:26:36Z"}
{"name":"synth-verify","vers":"0.11.37","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.37","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.37","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.37","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.37","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"db4d83dfb0dd017f3950c599695f15f0bee7575e3705855e04ffe644e1210765","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-11T02:45:00Z"}
{"name":"synth-verify","vers":"0.11.38","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.38","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2feddbdc2102b18c85b7eb84549ee8863b61e1baa7b2a6f8ee8cae01473e6de9","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-11T08:35:11Z"}
{"name":"synth-verify","vers":"0.11.39","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.39","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6830a547e722eea481a9c82c612d74954fb4b035ab9433e0db3fd29c10cf2953","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-11T12:22:02Z"}
{"name":"synth-verify","vers":"0.11.40","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e186798c595aa00c1ea3d1efd02f04412221a4899aaa37577cc969a7e680ad06","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-11T15:22:27Z"}
{"name":"synth-verify","vers":"0.11.42","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.42","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ffd03f1041fe3918806b0d33ccc36c8706d89fb9acb1d9516aebaf765357dbf0","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-13T22:47:10Z"}
{"name":"synth-verify","vers":"0.11.43","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.43","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c1b0b8c977eae6a7c4c0e55e02323102d2bc179803ad14b1043c057bf752e8f0","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-14T09:49:44Z"}
{"name":"synth-verify","vers":"0.11.44","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.44","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f7867dd177d04483522da021b88246d3b1b34706ed7cb4fe29895d41b9f0fb85","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-14T15:25:58Z"}
{"name":"synth-verify","vers":"0.11.45","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.45","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.45","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.45","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.45","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"32b0b16057eb760ea6719c15f01e4aa64f1757bade98ace329926f556ed453e3","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-14T18:17:09Z"}
{"name":"synth-verify","vers":"0.11.46","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.46","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d44583f0a3bdb6c18133eaf3f3294dd58cced7174ccc79c94842e4e2ae3b09b4","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-17T20:15:06Z"}
{"name":"synth-verify","vers":"0.11.47","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.47","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.47","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.47","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.47","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"02b001ecf4a2ae38049b08d9d069821e6801af3839f656f6e5d0952f12da07b3","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-18T05:28:46Z"}
{"name":"synth-verify","vers":"0.11.48","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.48","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.48","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.48","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.48","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"213adc891e3e5ca2c065909c4bb3438c0f99cebc6c47fbc2713fda280385f9fa","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-18T22:25:32Z"}
{"name":"synth-verify","vers":"0.11.49","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.49","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7dd419103e6f5f84d9b203b0eebd7b4b9bd8f41178991939e3173efb1c8453b4","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-19T11:06:21Z"}
{"name":"synth-verify","vers":"0.11.50","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.50","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"584716368805cae544e1f9a4c9e066cc7c23d96025032fc802547e1a170f417a","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-19T22:58:02Z"}
{"name":"synth-verify","vers":"0.11.51","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.11.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.11.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.51","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"af286f4fa1ec38fd96a595e87286a63b4a0a1a254b78ffe713d6099256dd1da1","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-22T09:00:50Z"}
{"name":"synth-verify","vers":"0.12.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.12.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4fe2310b50c8a29928e66da72e606a9d5887298925b696da4b4fb75121a4df09","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-23T00:04:20Z"}
{"name":"synth-verify","vers":"0.13.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.13.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"09121a25b4da6803d15b57ef78aa77729ceddcd6524d8a62d7e0bc72bb945c84","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-24T04:37:35Z"}
{"name":"synth-verify","vers":"0.14.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"666e447d6266dea0e640892ff2aed7026aa433ef3ffd9b4a436e7ad408f8c48a","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-24T11:17:30Z"}
{"name":"synth-verify","vers":"0.15.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.15.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f2c19fcd583a01f88a7491b5e65bb02bf05a458d7b47068537984c26afba610e","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-24T17:14:01Z"}
{"name":"synth-verify","vers":"0.15.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.15.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"22c464fdaf9672903e58725f4e9e20218cfc1796f3b340d11ed7c7e44409be2e","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-24T21:38:38Z"}
{"name":"synth-verify","vers":"0.16.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.16.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9308d60b1057ac01d72f41cd13f44344f3b94d29dfe1409b8166ac9b0e18eff8","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-26T05:49:27Z"}
{"name":"synth-verify","vers":"0.17.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.17.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9c4b1ab5e34418f48747938c78a16cc673765fb3d74dd262ca4a01fcd723ffc4","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-26T20:12:01Z"}
{"name":"synth-verify","vers":"0.18.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.18.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"10883530f3fe70cfc8232b37e0f3e93c8bd58dd7cdd1cd8958afcfe7cd070fa0","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-06-30T20:41:12Z"}
{"name":"synth-verify","vers":"0.18.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.18.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"049c1601471f92bd2dcc7c6af740b606722209a7432c4d7c33fa878a677533a9","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-01T04:45:44Z"}
{"name":"synth-verify","vers":"0.19.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.19.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"efdfabf959e1dd2d943e31a446ec855ef20592b0b11c0d9040e13c0887256393","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-01T22:04:32Z"}
{"name":"synth-verify","vers":"0.20.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a787a5058d9626167a79b3415e0198a78656041705ad93fe4b53ec09284edc66","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-02T00:39:00Z"}
{"name":"synth-verify","vers":"0.21.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.21.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ab4e9e005185e093bcb3942c9c03101014298bab14570416bb2f50a65e341bc8","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-02T09:05:24Z"}
{"name":"synth-verify","vers":"0.22.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.22.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3081356e5dde03b8b055fe8b49561f69f2f51bd813c9d7c4d9f8ac3f420f1545","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-02T11:29:12Z"}
{"name":"synth-verify","vers":"0.22.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.22.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c839d623767ef6eb7607725fd544fb00b68763a483a812828caaf0a4c3e9c7a6","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-02T13:03:10Z"}
{"name":"synth-verify","vers":"0.23.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.23.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8c266b10c7fefa1180adf634a4bdd657e14865f776630e3e5a1ba1345f1ecf08","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-02T17:04:44Z"}
{"name":"synth-verify","vers":"0.24.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.24.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"29327d91109356528c5ca8d8ead1576c37788c56e9519ccda8cbc0ddf221603d","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-02T21:08:44Z"}
{"name":"synth-verify","vers":"0.25.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.25.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4ca1a0e2a4c8fb31b44a0e0b73537157b4e7a4b05c41f659feaa82d7738d6016","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-03T00:43:31Z"}
{"name":"synth-verify","vers":"0.26.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.26.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"704736b622e20e91708f7116a476bd7baaf262e11112edc5d37f6c325be8c797","features":{"arm":["synth-synthesis"],"default":["z3-solver","arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-03T02:06:58Z"}
{"name":"synth-verify","vers":"0.27.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.27.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c9424f63c5f320d81ab02b8285e7b3dbe0bdd33e572d150bfef5351f4ce9d5ed","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-03T09:09:19Z"}
{"name":"synth-verify","vers":"0.28.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.28.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"84da59bc84f416ca1bd306358e2068d0eacad82eca410ecf108e02cc8eaa4c4a","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-03T10:17:01Z"}
{"name":"synth-verify","vers":"0.29.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.29.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9d9f2028016481e9bde40087e5ee7841ae315079a66481def5b525f18dffc8c1","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-03T14:31:02Z"}
{"name":"synth-verify","vers":"0.30.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.30.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"83c10754641e3dc34770177fc699d56e61258d3c495dd490965d1ba2cbc047dd","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-03T15:49:41Z"}
{"name":"synth-verify","vers":"0.30.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.30.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c5c5a1c2420ea024bde06559d48d08fd62600b0e43d9c02f93fb8bc742305421","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-03T17:38:18Z"}
{"name":"synth-verify","vers":"0.30.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.30.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"28dcb97d4de6a662a06d3aa9fd7ca9920459753370ebf4137425cbc235ae3a71","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-07T23:21:10Z"}
{"name":"synth-verify","vers":"0.31.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.31.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3d15c0988db6f257552feb72730c5d87b204a0a703c4f64fe81fd9bbe37a9a61","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T01:01:38Z"}
{"name":"synth-verify","vers":"0.32.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.32.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5edb49703a4e2953339558cac20f202181d56b3929874ecd3dbbe9a9e214c3cb","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T02:43:44Z"}
{"name":"synth-verify","vers":"0.32.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.32.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9d0c65a42e014f29bbd31fd0b0ce716588ec51db75f2099d565ff994495db247","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T06:32:35Z"}
{"name":"synth-verify","vers":"0.33.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.33.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1e3c7d1884d4d93bc247d35177c39c6ea44fba04e07881fac63f2c3cc99402ea","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T12:33:02Z"}
{"name":"synth-verify","vers":"0.33.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.33.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2f4e99e331fd17e7367eafc32af2dfde1550cdc82dd04381a019805fb63f5fe4","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T14:14:20Z"}
{"name":"synth-verify","vers":"0.34.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.34.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2559ffc5be0be6e986f44f6cd2b0443490e32e3a8fb851790d4655233feba9da","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T17:12:49Z"}
{"name":"synth-verify","vers":"0.35.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.35.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b671f52822dd8f3b71cf4a4bfdda086e4f72e9e083dc1b8a0175bf51633a4b3f","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T20:37:40Z"}
{"name":"synth-verify","vers":"0.36.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.36.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"371145e562e1486e8f58ff2b3654563d2f10b8e3411d371838155b59d28411a2","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T22:18:27Z"}
{"name":"synth-verify","vers":"0.37.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.37.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"26b2f9e2bb91f479de2895eba615fb5fbb9342ca48ec51f00fbdb80ed794a1d1","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-08T22:36:37Z"}
{"name":"synth-verify","vers":"0.37.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.37.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f00c7368b4f21445f121d903ae54db810a59170ba313410b35c9d09ce31c3887","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-10T11:01:26Z"}
{"name":"synth-verify","vers":"0.38.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.38.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9055d6e37db48d9c27e7e8158c1769b1f7677b134a3d8e0bceda9e355e9c0bd9","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-10T18:12:51Z"}
{"name":"synth-verify","vers":"0.39.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.39.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","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":"2e116af629f81b2aaa6b5c414891d83b1ed0726676369e1e15c4ac2c3dfb5483","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-10T22:18:21Z"}
{"name":"synth-verify","vers":"0.39.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ordeal","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"synth-cfg","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-opt","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.39.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","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":"cf2088c7567d38762bf6712c65b149e807ade8df91562649b4a990a0bc04fdb9","features":{"arm":["synth-synthesis"],"default":["arm"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2026-07-10T23:42:17Z"}