Commit 9d40cba
committed
Remove all existing files
1 parent a703b69 commit 9d40cba
File tree
1,632 files changed
+0
-502843
lines changed- .github
- ISSUE_TEMPLATE
- tools
- workflows
- cbor
- docs
- adr
- graphviz-diagrams
- non-integer-calculations
- pool-ranking
- proxy-keys
- images
- reward-calculation
- small-step-semantics
- doc
- _static
- _templates
- explanations
- eras
- allegra/impl
- cddl-files
- huddle-cddl
- src/Cardano/Ledger
- Allegra
- Rules
- State
- testlib/Test/Cardano/Ledger/Allegra
- Binary
- Imp
- test
- Test/Cardano/Ledger/Allegra
- Binary
- alonzo
- formal-spec
- impl
- cddl-files
- golden
- huddle-cddl
- src/Cardano/Ledger
- Alonzo
- BlockBody
- Plutus
- Rules
- State
- testlib/Test/Cardano/Ledger/Alonzo
- Binary
- Imp
- UtxowSpec
- Translation
- test
- Test/Cardano/Ledger/Alonzo
- Binary
- test-suite
- golden
- src/Test/Cardano/Ledger/Alonzo
- test
- Test/Cardano/Ledger/Alonzo
- babbage
- formal-spec
- impl
- cddl-files
- golden
- huddle-cddl
- src/Cardano/Ledger
- Babbage
- Rules
- State
- testlib/Test/Cardano/Ledger/Babbage
- Binary
- Imp
- UtxowSpec
- Translation
- test
- Test/Cardano/Ledger/Babbage
- Binary
- byron
- chain
- executable-spec
- src/Byron/Spec/Chain/STS
- Rule
- test
- Test/Byron
- AbstractSize
- Spec/Chain/STS
- formal-spec
- crypto
- golden
- json
- src/Cardano
- Crypto
- Signing
- Redeem
- Safe
- testlib/Test/Cardano/Crypto
- test
- Test/Cardano/Crypto
- Signing
- Redeem
- ledger
- executable-spec
- src
- Byron/Spec/Ledger
- Core
- Delegation
- STS
- UTxO
- Update
- Data
- Hedgehog/Gen
- test
- Test/Byron/Spec/Ledger
- AbstractSize
- Core/Generators
- Delegation
- Relation
- UTxO
- Update
- formal-spec
- impl
- cddl-spec
- doc
- golden
- cbor
- block
- common
- delegation
- mempoolpayload
- slotting
- ssc
- update
- utxo
- json/genesis
- src/Cardano/Chain
- Block
- Byron
- API
- Common
- Delegation
- Validation
- Epoch
- Genesis
- Slotting
- UTxO
- Update
- Validation
- Interface
- testlib/Test
- Cardano
- Chain
- Binary
- Block
- Model
- Byron
- Common
- Delegation
- Elaboration
- Epoch
- Genesis
- MempoolPayload
- Slotting
- Ssc
- UTxO
- Update
- test
- conway/impl
- cddl-files
- golden
- huddle-cddl
- src/Cardano/Ledger
- Conway
- Governance
- Rules
- State
- testlib/Test/Cardano/Ledger/Conway
- Binary
- Imp
- Plutus
- Translation
- test
- Test/Cardano/Ledger/Conway
- Binary
- data
- dijkstra/impl
- cddl-files
- golden
- huddle-cddl
- src/Cardano/Ledger
- Dijkstra
- Rules
- State
- testlib/Test/Cardano/Ledger/Dijkstra
- Binary
- test
- Test/Cardano/Ledger/Dijkstra
- Binary
- mary/impl
- cddl-files
- huddle-cddl
- src/Cardano/Ledger
- Mary
- Rules
- State
- testlib/Test/Cardano/Ledger/Mary
- Binary
- Imp
- test
- Test/Cardano/Ledger/Mary
- Binary
- shelley-ma
- formal-spec
- test-suite
- src/Test/Cardano/Ledger
- Mary
- ShelleyMA
- Serialisation
- test
- Test/Cardano/Ledger
- Allegra
- Mary
- Examples
- ShelleyMA
- Serialisation
- Golden
- shelley
- design-spec
- formal-spec
- impl
- cddl-files
- golden
- huddle-cddl
- src/Cardano/Ledger
- Shelley
- API
- BlockBody
- LedgerState
- Rules
- State
- testlib/Test/Cardano/Ledger/Shelley
- Binary
- Imp
- UnitTests
- test
- Test/Cardano/Ledger/Shelley
- Binary
- test-suite
- bench
- Cardano/Ledger/Shelley/Bench
- src/Test/Cardano/Ledger
- Shelley
- Address
- Examples
- Generator
- Trace
- Rules
- Serialisation
- test
- Golden
- Test/Cardano/Ledger/Shelley
- Examples
- Serialisation
- Golden
- Tripping
- libs
- cardano-data
- src/Data
- OMap
- OSet
- testlib/Test/Cardano
- Data
- test
- Test/Cardano/Data
- OMap
- OSet
- cardano-ledger-api
- src/Cardano/Ledger
- Api
- Scripts
- State
- Query
- Tx
- testlib/Test/Cardano/Ledger/Api
- test
- Test/Cardano/Ledger/Api
- State
- Imp
- Tx
- cardano-ledger-binary
- bench
- src/Cardano/Ledger
- Binary
- Decoding
- Encoding
- testlib/Test/Cardano/Ledger
- Binary
- Plain
- Vintage
- Helpers
- test
- Test/Cardano/Ledger/Binary
- Vintage
- cardano-ledger-conformance
- src/Test/Cardano/Ledger
- Conformance
- ExecSpecRule
- Conway
- SpecTranslate
- Conway
- test
- Test/Cardano/Ledger/Conformance
- Imp
- Spec
- cardano-ledger-core
- app
- bench
- internal/Cardano/Ledger/Internal
- Definition
- src/Cardano/Ledger
- BaseTypes
- Core
- Crypto
- Keys
- MemoBytes
- Plutus
- Rules
- State
- testlib/Test/Cardano/Ledger
- Core
- Binary
- Imp
- Plutus
- test
- Test/Cardano/Ledger
- State
- cardano-ledger-repl-environment
- src
- cardano-ledger-test
- benchProperty
- bench
- Bench
- Cardano/Ledger
- ApplyTx
- Serialisation
- Constrained
- resources
- src/Test/Cardano/Ledger
- Constrained
- Conway
- Instances
- LedgerTypes
- Examples
- Generic
- test
- cardano-protocol-tpraos
- src/Cardano/Protocol
- TPraos
- Rules
- testlib/Test/Cardano/Protocol
- Binary
- Crypto
- VRF
- TPraos
- test
- Test/Cardano/Protocol/Binary
- ledger-state
- app
- bench
- src/Cardano/Ledger/State
- non-integral
- reference
- src/Cardano/Ledger
- test
- Tests/Cardano/Ledger
- plutus-preprocessor
- app
- src/Cardano/Ledger/Plutus
- Preprocessor
- Binary
- Source
- set-algebra
- src/Control
- Iterate
- test
- Test/Control/Iterate
- small-steps
- src/Control
- State
- Transition
- testlib/Test
- Control/State/Transition
- Invalid
- Trace/Generator
- Hedgehog/Extra
- test
- Test/Control/State/Transition/Examples
- vector-map
- bench
- src/Data
- VMap
- testlib/Test/Data/VMap
- test
- Test
- nix
- pkgs/cddl
- scripts
- semantics
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
1,632 files changed
+0
-502843
lines changedThis file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments