File tree
463 files changed
+7647
-7650
lines changed- cardano-constitution
- src
- Cardano/Constitution
- Config
- Data
- Validator
- Data
- PlutusTx
- test
- Cardano/Constitution
- Config
- Validator
- Data
- Helpers
- PlutusLedgerApi/V3
- doc
- docusaurus/static/code
- notes/model/UTxO.hsproj
- plutus-benchmark
- agda-common/PlutusBenchmark/Agda
- bitwise/src/PlutusBenchmark
- Ed25519
- NQueens
- bls12-381-costs/src/PlutusBenchmark/BLS12_381
- cardano-loans/src/CardanoLoans
- common/PlutusBenchmark
- coop/src/PlutusBenchmark/Coop
- ed25519-costs/src/PlutusBenchmark/Ed25519
- marlowe
- bench
- exe
- PlutusBenchmark/Marlowe
- src/PlutusBenchmark/Marlowe
- Core/V1
- Semantics
- Types
- Scripts
- Data
- test
- nofib
- bench
- src/PlutusBenchmark/NoFib/Knights
- script-contexts/src/PlutusBenchmark
- V1
- V3
- Data
- validation/src/PlutusBenchmark/Validation
- plutus-conformance/agda
- plutus-core
- cost-model
- budgeting-bench/Benchmarks
- test
- executables
- plutus
- AnyProgram
- Mode
- src/PlutusCore/Executable
- flat
- src/PlutusCore
- Flat
- Data
- ByteString
- Decoder
- Encoder
- Instances
- test/Test/Data
- index-envs
- src/Data/RandomAccessList
- test
- plutus-core
- examples/PlutusCore/Examples
- Data
- src
- Codec/Extras
- Data
- Aeson
- Either
- Version
- PlutusCore
- Analysis
- Builtin
- Check
- Compiler
- Core
- Crypto
- BLS12_381
- DeBruijn
- Default
- Evaluation
- Machine
- CostingFun
- Name
- Normalize
- Parser
- Pretty
- Rename
- TypeCheck
- Prettyprinter
- Universe
- stdlib/PlutusCore/StdLib
- Data
- Meta/Data
- test
- CostModelSafety
- Evaluation
- Names
- Normalization
- TypeSynthesis
- plutus-ir
- cert/PlutusIR
- src
- PlutusIR
- Analysis
- Check
- Compiler
- Core
- Transform
- RewriteRules
- TypeCheck
- test/PlutusIR
- Generators/QuickCheck
- Transform/StrictLetRec
- Tests
- prelude
- satint/src/Data
- testlib
- PlutusCore
- Generators
- Hedgehog
- NEAT
- QuickCheck
- PlutusIR
- Generators
- UntypedPlutusCore
- Generators/Hedgehog
- Test/DeBruijn
- untyped-plutus-core
- src
- UntypedPlutusCore
- Analysis
- Check
- Core
- Evaluation/Machine
- Cek
- SteppableCek
- Rename
- Simplify
- Transform
- testlib
- Evaluation
- Builtins
- Bitwise
- Transform
- CaseOfCase
- Inline
- Simplify
- plutus-ledger-api
- src
- PlutusLedgerApi
- Common
- Data
- V1
- Data
- V2
- Data
- V3
- Data
- Prettyprinter
- test-plugin/Spec
- Value
- testlib/PlutusLedgerApi/Test
- Common
- V1
- Data
- V2
- Data
- V3
- Data
- test/Spec
- Data
- plutus-metatheory
- src
- FFI
- test/NEAT
- plutus-tx-plugin
- src/PlutusTx/Compiler
- test
- Blueprint
- Tests
- ByteStringLiterals
- Plugin/Basic
- ShortCircuit
- plutus-tx
- src
- Data/Aeson
- PlutusTx
- Blueprint
- Definition
- Schema
- Builtins
- Data
- IsData
- Lift
- Show
- testlib/PlutusTx
- Test
- Run
- Util
- test
- Blueprint
- Rational/Laws
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
463 files changed
+7647
-7650
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | | - | |
6 | | - | |
7 | | - | |
8 | | - | |
9 | | - | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
| |||
Lines changed: 10 additions & 10 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
8 | | - | |
9 | | - | |
10 | | - | |
11 | | - | |
12 | | - | |
13 | | - | |
14 | | - | |
15 | | - | |
16 | | - | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
17 | 17 | | |
18 | 18 | | |
19 | 19 | | |
| |||
Lines changed: 5 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
5 | | - | |
6 | | - | |
7 | | - | |
8 | | - | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
| |||
Lines changed: 4 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
2 | | - | |
3 | | - | |
4 | | - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
Lines changed: 5 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
5 | | - | |
6 | | - | |
7 | | - | |
8 | | - | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
| |||
Lines changed: 6 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | | - | |
10 | | - | |
11 | | - | |
12 | | - | |
13 | | - | |
14 | | - | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| |||
Lines changed: 6 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | | - | |
10 | | - | |
11 | | - | |
12 | | - | |
13 | | - | |
14 | | - | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| |||
Lines changed: 6 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
14 | | - | |
15 | | - | |
16 | | - | |
17 | | - | |
18 | | - | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| |||
Lines changed: 6 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
14 | | - | |
15 | | - | |
16 | | - | |
17 | | - | |
18 | | - | |
19 | | - | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
| |||
Lines changed: 6 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
14 | | - | |
15 | | - | |
16 | | - | |
17 | | - | |
18 | | - | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| |||
0 commit comments