Commit 537c650
committed
chore: migrate license from PMPL-1.0-or-later to MPL-2.0
1 parent b4cfbd2 commit 537c650
547 files changed
Lines changed: 630 additions & 630 deletions
File tree
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- agent_instructions
- ai
- anchors
- compliance
- reuse
- rust
- configs
- git-cliff
- contractiles
- adjust
- bust
- dust
- intend
- must
- trust
- integrations
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- svc/k9
- examples
- .well-known
- audits
- canonical-proof-suite
- proven-programs
- 001-arith-determinism
- 002-choreography-session-duality
- cartridges/007-mcp
- abi/Oo7Mcp
- adapter
- docs
- ffi
- schemas
- compiler-core
- zig
- src
- codegen
- contractiles
- intend
- must
- trust
- crates
- oo7-cli
- src
- oo7-core
- benches
- fuzz
- fuzz_targets
- seeds
- src
- multi_parser
- backends
- tooling
- observability
- debugger
- diagnostics
- semantic_analyser
- tests
- oo7-lsp
- src
- oo7-typechecker-oracle
- fuzz
- fuzz_targets
- idris2-harness
- src
- tests
- daemon/src
- docs
- accessibility
- governance
- internal
- faq
- paper
- paper
- reports/audit
- editors/vscode-007
- examples
- interpreter
- src
- backends
- tests
- linker
- benches
- src
- tests
- oo7-control-plane/src
- panels
- diagnostics
- toolchain
- proofs
- agda
- canonical-proof-suite
- idris2
- scripts
- spec
- src/abi
- stdlib
- agents
- async
- collections
- concurrency
- math
- net
- string
- tests
- types
- utils
- tests
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 | | |
| |||
| 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 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments