Commit f690c7d
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) (#284)
Estate licence normalisation. LICENSES/={MPL-2.0,CC-BY-SA-4.0}; root
LICENSE=verbatim MPL-2.0 (GitHub display); code->MPL-2.0,
docs(.md/.adoc)->CC-BY-SA-4.0; vendored untouched. Residual mentions
(mostly legitimate anti-AGPL rules): 110. Manual-review licence PR.
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1 parent 2e384eb commit f690c7d
131 files changed
Lines changed: 683 additions & 1226 deletions
File tree
- .clusterfuzzlite
- .githooks
- .gitlab
- issue_templates
- merge_request_templates
- .machine_readable
- agent_instructions
- svc/k9
- LICENSES
- container
- crates
- echidna-core-spark
- echidna-mcp
- echidna-wire/schemas
- data/synonyms
- docs
- architecture
- bench
- decisions
- deployment
- design
- governance
- handover
- maintenance
- practice
- reports/audit
- training-runs
- wiki
- echidna-playground
- .github
- examples
- hooks
- meta-checker
- metrics
- proofs
- acl2
- agda
- hol4
- lean
- pvs
- reports/audits
- rules
- schemas
- scripts
- spark
- src
- julia
- ui/tea
- zig/ffi
- training_data
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
| 6 | + | |
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
| |||
| 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 | | |
5 | 5 | | |
| |||
| 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 | + | |
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