dimgigov
157775794d
- 7 TLA+ specs formally verified (~69M states, 0 errors) - 283+ Nim tests, all passing - Raft: leader election + log replication + step-down on partition - 2PC: coordinator crash/recovery + participant timeout - MVCC: snapshot isolation + write skew detection - Gossip: SWIM-like membership with strength-based gossip - Replication: async/sync/semi-sync LSN tracking - Sharding: consistent hashing with virtual nodes - Deadlock detection: cycle detection in wait-for graph - TLA+ faithfulness tests bridging specs to Nim code - CI: GitHub Actions with automated TLC verification
30 lines
861 B
Nim
30 lines
861 B
Nim
# Package
|
|
version = "1.0.0"
|
|
author = "BaraDB Team"
|
|
description = "BaraDB — Multimodal database written in Nim"
|
|
license = "Apache-2.0"
|
|
srcDir = "src"
|
|
bin = @["baradadb"]
|
|
binDir = "build"
|
|
|
|
switch("define", "ssl")
|
|
|
|
# Dependencies
|
|
requires "nim >= 2.2.0"
|
|
requires "https://github.com/katehonz/hunos >= 1.2.0"
|
|
requires "jwt >= 0.3.0"
|
|
requires "checksums >= 0.2.0"
|
|
|
|
# Tasks
|
|
task build_debug, "Build debug version":
|
|
exec "nim c -d:ssl --debugger:native --linedir:on -o:build/baradadb src/baradadb.nim"
|
|
|
|
task build_release, "Build release version":
|
|
exec "nim c -d:ssl -d:release --opt:speed -o:build/baradadb src/baradadb.nim"
|
|
|
|
task test, "Run all tests":
|
|
exec "nim c --path:src -d:ssl -r tests/test_all.nim"
|
|
|
|
task bench, "Run benchmarks":
|
|
exec "nim c --path:src -d:ssl -d:release -r benchmarks/bench_storage.nim"
|