blvm-spec-lock 0.1.31

BLVM Spec Lock: Purpose-built formal verification tool for Bitcoin Commons
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

# Contributing to blvm-spec-lock

Thank you for your interest in contributing! For comprehensive guidelines, see the [BLVM Documentation](https://docs.thebitcoincommons.org/development/contributing.html).

## Quick Links

- **[Complete Contributing Guide](https://docs.thebitcoincommons.org/development/contributing.html)**
- **[PR Process](https://docs.thebitcoincommons.org/development/pr-process.html)**

## Development Setup

```bash
cargo test
cargo fmt --all -- --check
cargo clippy --all-targets -- -D warnings
```

## Security

Report security issues to security@thebitcoincommons.org.

Thank you for contributing!