Skip to content

Commit 679ff1f

Browse files
borsbors
committed
Update crate xlsynth-g8r 
1 parent 77540a4 commit 679ff1f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎xl/sy/xlsynth-g8r

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,3 +37,4 @@
3737
{"name":"xlsynth-g8r","vers":"0.0.135","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"clap","req":"^4.5.21","features":["derive"],"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":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1","features":["zlib-rs"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"half","req":"^2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libfuzzer-sys","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"maplit","req":"^1.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_xoshiro","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.135","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"746ada16d3f405c490c935f4f385fe18884b7e14a7cebbd8c44b06d3410b547f","features":{"default":[],"with-boolector":["boolector"]},"yanked":false}
3838
{"name":"xlsynth-g8r","vers":"0.0.136","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"clap","req":"^4.5.21","features":["derive"],"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":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1","features":["zlib-rs"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"half","req":"^2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libfuzzer-sys","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"maplit","req":"^1.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_xoshiro","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.136","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9e798e23ab01f542b55ae9a46b61882c7300103a1f5f54105c62fbd5f4b7249a","features":{"default":[],"with-boolector":["boolector"]},"yanked":false}
3939
{"name":"xlsynth-g8r","vers":"0.0.137","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"clap","req":"^4.5.21","features":["derive"],"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":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1","features":["zlib-rs"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"half","req":"^2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libfuzzer-sys","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"maplit","req":"^1.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_xoshiro","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.137","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"669710c3b3eb96802f7bbad3789ec44ce86db27165b407da8c510f8d1723a8db","features":{"default":[],"has-boolector":[]},"features2":{"with-boolector-built":["dep:boolector","boolector/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector","has-boolector"]},"yanked":false,"v":2}
40+
{"name":"xlsynth-g8r","vers":"0.0.138","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arbitrary","req":"^1.3","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"blake3","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"clap","req":"^4.5.21","features":["derive"],"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":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1","features":["zlib-rs"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"half","req":"^2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libfuzzer-sys","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"maplit","req":"^1.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_xoshiro","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.138","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1cd0d6c7ff7b76be820b634d9a61bb3aa186b1ed9d904d707baa41860eda5e9a","features":{"default":[],"has-boolector":[]},"features2":{"with-boolector-built":["dep:boolector","boolector/vendor-lgl","has-boolector"],"with-boolector-system":["dep:boolector","has-boolector"]},"yanked":false,"v":2}

0 commit comments

Comments
 (0)