mirror of
https://github.com/aljazceru/turso.git
synced 2026-01-31 13:54:27 +01:00
a9694c87b1
This is a new deterministic simulator for Turso that focuses on finding
concurrency bugs.
You can run whopper with:
```console
penberg@vonneumann turso % SEED=1234 ./whopper/bin/run
Compiling turso_whopper v0.1.5-pre.3 (/Users/penberg/src/tursodatabase/turso/whopper)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.22s
seed = 1234
. I/U/D/C
. 44/19/11/2
. 68/33/21/2
| 104/51/29/3
| 121/69/41/3
╱|╲ 150/84/51/3
╱╲|╱╲ 184/97/59/3
╱╲╱|╲╱╲ 199/105/64/4
╱╲╱╲|╱╲╱╲ 206/115/69/5
╱╲╱╲╱|╲╱╲╱╲ 234/138/82/6
╱╲╱╲╱╲|╱╲╱╲╱╲ 269/164/91/7
```
95 lines
2.6 KiB
TOML
95 lines
2.6 KiB
TOML
# Copyright 2023-2025 the Limbo authors. All rights reserved. MIT license.
|
|
|
|
[workspace]
|
|
resolver = "2"
|
|
members = [
|
|
"bindings/dart/rust",
|
|
"bindings/java",
|
|
"bindings/javascript",
|
|
"bindings/python",
|
|
"bindings/rust",
|
|
"cli",
|
|
"core",
|
|
"extensions/completion",
|
|
"extensions/core",
|
|
"extensions/crypto",
|
|
"extensions/csv",
|
|
"extensions/ipaddr",
|
|
"extensions/percentile",
|
|
"extensions/regexp",
|
|
"extensions/tests",
|
|
"macros",
|
|
"simulator",
|
|
"sqlite3",
|
|
"stress",
|
|
"testing/sqlite_test_ext",
|
|
"tests",
|
|
"vendored/sqlite3-parser/sqlparser_bench",
|
|
"parser",
|
|
"sync/engine",
|
|
"sync/javascript",
|
|
"sql_generation",
|
|
"whopper",
|
|
]
|
|
exclude = ["perf/latency/limbo"]
|
|
|
|
[workspace.package]
|
|
version = "0.1.5"
|
|
authors = ["the Limbo authors"]
|
|
edition = "2021"
|
|
license = "MIT"
|
|
repository = "https://github.com/tursodatabase/turso"
|
|
|
|
[workspace.dependencies]
|
|
turso = { path = "bindings/rust", version = "0.1.5" }
|
|
turso_node = { path = "bindings/javascript", version = "0.1.5" }
|
|
limbo_completion = { path = "extensions/completion", version = "0.1.5" }
|
|
turso_core = { path = "core", version = "0.1.5" }
|
|
turso_sync_engine = { path = "sync/engine", version = "0.1.5" }
|
|
limbo_crypto = { path = "extensions/crypto", version = "0.1.5" }
|
|
limbo_csv = { path = "extensions/csv", version = "0.1.5" }
|
|
turso_ext = { path = "extensions/core", version = "0.1.5" }
|
|
turso_ext_tests = { path = "extensions/tests", version = "0.1.5" }
|
|
limbo_ipaddr = { path = "extensions/ipaddr", version = "0.1.5" }
|
|
turso_macros = { path = "macros", version = "0.1.5" }
|
|
limbo_percentile = { path = "extensions/percentile", version = "0.1.5" }
|
|
limbo_regexp = { path = "extensions/regexp", version = "0.1.5" }
|
|
turso_sqlite3_parser = { path = "vendored/sqlite3-parser", version = "0.1.5" }
|
|
limbo_uuid = { path = "extensions/uuid", version = "0.1.5" }
|
|
turso_parser = { path = "parser", version = "0.1.5" }
|
|
sql_generation = { path = "sql_generation" }
|
|
strum = { version = "0.26", features = ["derive"] }
|
|
strum_macros = "0.26"
|
|
serde = "1.0"
|
|
serde_json = "1.0"
|
|
anyhow = "1.0.98"
|
|
mimalloc = { version = "0.1.47", default-features = false }
|
|
rusqlite = { version = "0.37.0", features = ["bundled"] }
|
|
itertools = "0.14.0"
|
|
rand = "0.9.2"
|
|
tracing = "0.1.41"
|
|
schemars = "1.0.4"
|
|
garde = "0.22"
|
|
parking_lot = "0.12.4"
|
|
|
|
[profile.release]
|
|
debug = "line-tables-only"
|
|
codegen-units = 1
|
|
panic = "abort"
|
|
lto = true
|
|
|
|
[profile.antithesis]
|
|
inherits = "release"
|
|
debug = true
|
|
codegen-units = 1
|
|
panic = "abort"
|
|
lto = true
|
|
|
|
[profile.bench-profile]
|
|
inherits = "release"
|
|
debug = true
|
|
|
|
[profile.dist]
|
|
inherits = "release"
|
|
lto = "thin"
|