Commit fcc75c4
committed
chore: migrate license from PMPL-1.0-or-later to MPL-2.0
1 parent 1edfbba commit fcc75c4
356 files changed
Lines changed: 371 additions & 371 deletions
File tree
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- agent_instructions
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- bust
- dust
- must
- trust
- integrations
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- svc/k9
- examples
- .well-known
- assets
- container
- verisimdb-backup
- verisimdb
- queries
- schema
- contractiles
- intend
- must
- trust
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- examples
- features
- boj-server
- panic-attacker
- ssg
- panel-clades
- fli-editable
- fli-gauge
- fli-terminal
- fli-tooltip
- fli-undo
- fli
- gsa-actions
- gsa-browser
- gsa-config
- gsa-game-ark
- gsa-game-barotrauma
- gsa-game-burble
- gsa-game-cryofall
- gsa-game-csgo-cs2
- gsa-game-dayz
- gsa-game-dst
- gsa-game-factorio
- gsa-game-garrysmod
- gsa-game-idaptik
- gsa-game-minecraft-bedrock
- gsa-game-minecraft-java
- gsa-game-project-zomboid
- gsa-game-rust-game
- gsa-game-starbound
- gsa-game-terraria
- gsa-game-valheim
- gsa-game-void-expanse
- gsa-game
- gsa-health
- gsa-history
- gsa-logs
- gsa-search
- gsa
- profiles
- scripts
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- gui
- fli
- panels
- config-editor
- config-history
- cross-search
- health-dashboard
- live-logs
- nexus-setup
- server-actions
- server-browser
- interface
- abi
- ffi
- bench
- src
- test
- generated
- abi
- ui/tea
- wasm
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
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