Update deps to 6x faster Fenwick library

Changes

3 changed files (+5/-5)

• Cargo.lock
  • @@ -23,7 +23,7 @@
    [[package]] name = "dafny_runtime" version = "0.1.0" - source = "git+https://git.unnamed.website/sdc#86d50fa0fba5e4112ca0e9e9e72ddffc7b2bc211" + source = "git+https://git.unnamed.website/sdc#30cdbd77a30aed8d7c454489d70014b24a89d23c" dependencies = [ "itertools", "num",
  • @@ -51,7 +51,7 @@
    [[package]] name = "fenwick" version = "0.1.0" - source = "git+https://git.unnamed.website/sdc#86d50fa0fba5e4112ca0e9e9e72ddffc7b2bc211" + source = "git+https://git.unnamed.website/sdc#30cdbd77a30aed8d7c454489d70014b24a89d23c" dependencies = [ "dafny_runtime", ]
• Cargo.toml
  • @@ -5,8 +5,8 @@ edition = "2021"
    default-run = "sdrs" [dependencies] - dafny_runtime = { git = "https://git.unnamed.website/sdc", version = "0.1.0" } - fenwick = { git = "https://git.unnamed.website/sdc", version = "0.1.0" } + dafny_runtime = { version = "0.1.0", git = "https://git.unnamed.website/sdc" } + fenwick = { version = "0.1.0", git = "https://git.unnamed.website/sdc" } rand = "0.9.0" rusqlite = "0.34.0"
• src/fenwicktest.rs
  • @@ -16,7 +16,7 @@ let obj = fenwick::_allocate_object();
    fenwick::_ctor(&obj, &seq); let ft = dafny_runtime::rd!(obj); - const T: usize = 1 << 15; + const T: usize = 1 << 20; let test: Vec<_> = rand::random_iter::<i32>() .zip(rand::random_iter::<i32>())