Commit 8df07ce
committed
chore: migrate license from PMPL-1.0-or-later to MPL-2.0
1 parent ea571f5 commit 8df07ce
434 files changed
Lines changed: 502 additions & 502 deletions
File tree
- .clusterfuzzlite
- .github
- workflows
- .machine_readable
- 6a2
- agent_instructions
- contractiles
- bust
- dust
- trust
- integrations
- .seambot
- .well-known
- LICENSES
- benches
- contractiles
- intend
- k9
- examples
- trust
- crates
- protocol-squisher-arrow-analyzer
- src
- protocol-squisher-avro-analyzer
- src
- protocol-squisher-bebop-analyzer
- src
- protocol-squisher-capnproto-analyzer
- src
- protocol-squisher-cli
- src
- tests
- protocol-squisher-compat
- src
- protocol-squisher-constraints
- src
- protocol-squisher-distributed
- src
- protocol-squisher-echidna-bridge
- src
- protocol-squisher-enterprise
- src
- protocol-squisher-flatbuffers-analyzer
- src
- protocol-squisher-graphql-analyzer
- src
- protocol-squisher-integration-tests
- src
- protocol-squisher-ir
- src
- protocol-squisher-json-fallback
- src
- protocol-squisher-json-schema-analyzer
- src
- protocol-squisher-messagepack-analyzer
- src
- protocol-squisher-meta-analysis
- src
- protocol-squisher-minikanren
- src
- protocol-squisher-openapi-analyzer
- src
- protocol-squisher-optimizer
- src
- tests
- protocol-squisher-performance
- src
- protocol-squisher-property-tests
- src
- protocol-squisher-protobuf-analyzer
- examples
- src
- protocol-squisher-pyo3-codegen
- src
- protocol-squisher-python-analyzer
- scripts
- src
- protocol-squisher-rescript-analyzer
- examples
- src
- tests
- protocol-squisher-rust-analyzer
- src
- protocol-squisher-security-bridge
- src
- protocol-squisher-server
- src
- protocol-squisher-sql-analyzer
- src
- protocol-squisher-thrift-analyzer
- src
- protocol-squisher-toml-analyzer
- src
- protocol-squisher-verisim
- src
- shape-ir
- benches
- src
- tests
- docs
- launch
- ephapax-ir
- idris2
- src
- examples
- mixed-transport
- src
- schemas
- zero-copy-demo
- src
- ffi/zig
- src
- test
- fuzz
- fuzz_targets
- generated/tlaiser
- proofs
- agda
- coq
- idris2
- isabelle
- lean
- tropical
- z3
- scripts
- ci
- site
- content
- templates
- src
- abi
- tasks
- tests/pyo3-integration
- python
- pyo3_integration_test
- tests
- src
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments