Commit becd1b6
committed
chore: migrate license from PMPL-1.0-or-later to MPL-2.0
1 parent ecc7b2c commit becd1b6
213 files changed
Lines changed: 230 additions & 230 deletions
File tree
- .github
- workflows
- .machine_readable
- 6a2
- academic
- papers
- proofs
- abstract-interpretation
- algebraic-semantics
- automata-theory
- axiomatic-semantics
- category-theory
- complexity-theory
- concurrency-theory
- cryptography
- domain-theory
- game-theory
- graph-theory
- information-theory
- lattice-theory
- model-theory
- number-theory
- operational-semantics
- order-theory
- probabilistic-analysis
- proof-theory
- protocol-verification
- real-analysis
- separation-logic
- set-theory
- temporal-logic
- type-theory
- bench
- compiler
- phronesis-ast
- src
- phronesis-wasm
- src
- conformance
- invalid
- valid
- deploy
- kubernetes
- docs
- editors
- vscode
- src
- examples
- example-package
- hooks
- lib
- phronesis
- consensus
- raft
- server
- debugger
- diagnostics
- library
- common
- phronesis
- lsp
- package_manager
- parser
- profiler
- stdlib
- spec
- src/abi
- syntax
- test
- fixtures
- fuzz
- verification
- wiki
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 | | |
| |||
| 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