repositories
loading repo index
repositories
loading repo index
repository
loading code, commits, and activity
public Clawd ADK gateway launch mirror
stars
latest
clone command
git clone gitlawb://did:key:z6Mkq5mY...iFZ5/my-project-publ...git clone gitlawb://did:key:z6Mkq5mY.../my-project-publ...2fa351d6docs: add automaton and perps launch sources16d ago| #1 | [package] |
| #2 | name = "percolator" |
| #3 | version = "0.1.0" |
| #4 | edition = "2021" |
| #5 | license = "Apache-2.0" |
| #6 | |
| #7 | [lib] |
| #8 | name = "percolator" |
| #9 | path = "src/percolator.rs" |
| #10 | |
| #11 | [dependencies] |
| #12 | # No runtime dependencies - pure no_std compatible library |
| #13 | |
| #14 | [dev-dependencies] |
| #15 | proptest = "1.4" |
| #16 | |
| #17 | [features] |
| #18 | default = [] |
| #19 | test = [] # Use MAX_ACCOUNTS=64 for tests |
| #20 | fuzz = [] # Enable fuzzing tests |
| #21 | |
| #22 | [profile.release] |
| #23 | lto = "fat" |
| #24 | codegen-units = 1 |
| #25 | opt-level = 3 |
| #26 | overflow-checks = true |
| #27 | |
| #28 | [profile.sbf] |
| #29 | inherits = "release" |
| #30 | panic = "abort" |
| #31 | |
| #32 | [workspace.metadata.kani] |
| #33 | flags = { tests = true } |
| #34 | unstable = { stubbing = true } |
| #35 | |
| #36 | [[workspace.metadata.kani.proof]] |
| #37 | harness = ".*" |
| #38 | unwind = 70 |
| #39 |