search

input-output-hk / cardano-ledger-byron

A re-implementation of the Cardano ledger layer, replacing the Byron release
52 stars 13 forks source link

Should `cardano-chain` be renamed to `cardano-ledger` or something similar? #337

Closed dnadales closed 5 years ago

dnadales commented 5 years ago

The specs of cardano-chain reside in fm-ledger-rules. Should this repo be renamed to something like cardano-ledger (since it actually implement the ledger rules).

cc: @ruhatch @nc6

Feel free to close if the answer is no :)

ruhatch commented 5 years ago

I actually thought this too! I thougth cardano-ledger-specification would be better for fm-ledger-rules as well!

On Fri, 22 Feb 2019, 4:13 pm Damian Nadales, notifications@github.com wrote:

The specs of cardano-chain reside in fm-ledger-rules. Should this repo be renamed to something like cardano-ledger (since it actually implement the ledger rules).

cc: @ruhatch https://github.com/ruhatch @nc6 https://github.com/nc6

Feel free to close if the answer is no :)

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/input-output-hk/cardano-chain/issues/337, or mute the thread https://github.com/notifications/unsubscribe-auth/AILnptTLVLwOzxxtliZ84-rFWcEXl4bbks5vQBclgaJpZM4bJ6i5 .

dnadales commented 5 years ago

On Fri, Feb 22, 2019, 21:24 Rupert Horlick notifications@github.com wrote:

I actually thought this too! I thougth cardano-ledger-specification would be better for fm-ledger-rules as well!

Yes! I was thinking about the same!

On Fri, 22 Feb 2019, 4:13 pm Damian Nadales, notifications@github.com wrote:

The specs of cardano-chain reside in fm-ledger-rules. Should this repo be renamed to something like cardano-ledger (since it actually implement the ledger rules).

cc: @ruhatch https://github.com/ruhatch @nc6 https://github.com/nc6

Feel free to close if the answer is no :)

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/input-output-hk/cardano-chain/issues/337, or mute the thread < https://github.com/notifications/unsubscribe-auth/AILnptTLVLwOzxxtliZ84-rFWcEXl4bbks5vQBclgaJpZM4bJ6i5

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/input-output-hk/cardano-chain/issues/337#issuecomment-466535202, or mute the thread https://github.com/notifications/unsubscribe-auth/AAKs06d9ywy1phdlTxQu8Vy4pug15ac4ks5vQFIUgaJpZM4bJ6i5 .

dnadales commented 5 years ago

:tada:

mhuesch commented 5 years ago

Despite the repo being renamed, we still have many references to cardano-chain inside the repo. Should this issue track the modification of all of those?

cardano-chain.cabal:1:name:                cardano-chain
cardano-chain.cabal:155:test-suite cardano-chain-test
cardano-chain.cabal:214:                     , cardano-chain
stack.yaml:20:  - git: https://github.com/input-output-hk/cardano-chain
nix/pkgs.nix:18:    "cardano-crypto-test" "cardano-chain"
test/Test/Cardano/Chain/Elaboration/Block.hs:204:  -- https://github.com/input-output-hk/cardano-chain/issues/332 gets
test/cardano-chain-test.cabal:1:name:                cardano-chain-test
test/cardano-chain-test.cabal:3:synopsis:            Test helpers from cardano-chain exposed to other packages
test/cardano-chain-test.cabal:4:description:         Test helpers from cardano-chain exposed to other packages
test/cardano-chain-test.cabal:50:                     , cardano-chain
ChangeLog.md:1:# Revision history for cardano-chain
weekly-reports/2019-01-23.md:7:input-output-hk/cardano-chain
weekly-reports/2019-01-23.md:10:| [247](https://github.com/input-output-hk/cardano-chain/issues/247) | Incorporate epoch calculations into the chain spec | | [nc6](https://github.com/nc6) | 2019-01-21 | 2019-01-24 | |
weekly-reports/2019-01-23.md:11:| [225](https://github.com/input-output-hk/cardano-chain/issues/225) | Support epoch boundary blocks in the blockchain specification | | [mdimjasevic](https://github.com/mdimjasevic), [nc6](https://github.com/nc6) | 2018-12-20 | 2019-01-22 | |
weekly-reports/2019-01-23.md:12:| [239](https://github.com/input-output-hk/cardano-chain/pull/239) | Updates to chain specification | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-14 | 2019-01-21 | |
weekly-reports/2019-01-23.md:13:| [241](https://github.com/input-output-hk/cardano-chain/issues/241) | Typo in in "Domain and range operations on sequences"? | | |2019-01-15 | 2019-01-18 | |
weekly-reports/2019-01-23.md:14:| [242](https://github.com/input-output-hk/cardano-chain/pull/242) | Dnadales/update update mechanism | | [dnadales](https://github.com/dnadales), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-16 | 2019-01-18 | |
weekly-reports/2019-01-23.md:15:| [244](https://github.com/input-output-hk/cardano-chain/pull/244) | Implement HeapWords type class for UTxO types | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-16 | 2019-01-17 | |
weekly-reports/2019-01-23.md:16:| [245](https://github.com/input-output-hk/cardano-chain/pull/245) | Weekly status | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-18 | 2019-01-18 | |
weekly-reports/2019-01-23.md:17:| [235](https://github.com/input-output-hk/cardano-chain/issues/235) | Define wire format for the Shelley address | | [nc6](https://github.com/nc6), [ruhatch](https://github.com/ruhatch) | 2019-01-08 | 2019-01-23 | |
weekly-reports/2019-01-23.md:18:| [249](https://github.com/input-output-hk/cardano-chain/pull/249) | Introduce epoch transition system. | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-21 | 2019-01-23 | |
weekly-reports/2019-01-23.md:19:| [251](https://github.com/input-output-hk/cardano-chain/pull/251) | Update build badge to display status on master | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-22 | 2019-01-22 | |
weekly-reports/2019-01-23.md:20:| [252](https://github.com/input-output-hk/cardano-chain/pull/252) | [#185] Rename some update mechanism types | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-22 | 2019-01-22 | |
weekly-reports/2019-01-23.md:21:| [258](https://github.com/input-output-hk/cardano-chain/issues/258) | Group the premises of the chain rules into header transition and body transitions | | [nc6](https://github.com/nc6) | 2019-01-23 | 2019-01-24 | |
weekly-reports/2019-01-23.md:22:| [260](https://github.com/input-output-hk/cardano-chain/pull/260) | Switch to using new let-binding syntax. | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-23 | 2019-01-24 | |
weekly-reports/2019-01-23.md:23:| [261](https://github.com/input-output-hk/cardano-chain/pull/261) | Factor out BHEAD and BBODY rules | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-24 | 2019-01-24 | |
weekly-reports/2019-01-23.md:29:## [Validate Generated Chain against Delegation Rules](https://github.com/input-output-hk/cardano-chain/milestone/2)
weekly-reports/2019-01-17.md:12:| [194](https://github.com/input-output-hk/cardano-chain/issues/194) | Generator for (valid) delegation | 108 | [dnadales](https://github.com/dnadales) | 2018-12-03 | 2019-01-08 | |
weekly-reports/2019-01-17.md:13:| [219](https://github.com/input-output-hk/cardano-chain/issues/219) | Incorporate this feedback into the ledger spec | 83 | [dnadales](https://github.com/dnadales) | 2018-12-12 | 2019-01-16 | |
weekly-reports/2019-01-17.md:14:| [223](https://github.com/input-output-hk/cardano-chain/issues/223) | Add missing initial rules for delegation | 83 | [mdimjasevic](https://github.com/mdimjasevic) | 2018-12-18 | 2019-01-16 | |
weekly-reports/2019-01-17.md:15:| [228](https://github.com/input-output-hk/cardano-chain/pull/228) | [223] Add initial delegation rules | 83 | [mdimjasevic](https://github.com/mdimjasevic), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2018-12-21 | 2019-01-16 | |
weekly-reports/2019-01-17.md:16:| [229](https://github.com/input-output-hk/cardano-chain/pull/229) | Add a valid delegation signals generator | 108 | [dnadales](https://github.com/dnadales), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2018-12-27 | 2019-01-08 | |
weekly-reports/2019-01-17.md:17:| [230](https://github.com/input-output-hk/cardano-chain/pull/230) | [#212] Fix memory leak |88 | [redxaxder](https://github.com/redxaxder), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-02 | 2019-01-03 | |
weekly-reports/2019-01-17.md:18:| [231](https://github.com/input-output-hk/cardano-chain/issues/231) | Add git revision in the ledger spec | 83 | [dnadales](https://github.com/dnadales) | 2019-01-03 | 2019-01-16 | |
weekly-reports/2019-01-17.md:19:| [232](https://github.com/input-output-hk/cardano-chain/issues/232) | Specify no-double spend property in the ledger spec |83 | |2019-01-03 | 2019-01-16 | |
weekly-reports/2019-01-17.md:20:| [233](https://github.com/input-output-hk/cardano-chain/issues/233) | Specify "utxo is outputs minus inputs" property in the ledger spec | 83 | |2019-01-03 | 2019-01-16 | |
weekly-reports/2019-01-17.md:21:| [234](https://github.com/input-output-hk/cardano-chain/issues/234) | In the UTXO rule require that the set of inputs is not empty | 83 | [dnadales](https://github.com/dnadales) | 2019-01-03 | 2019-01-16 | |
weekly-reports/2019-01-17.md:22:| [237](https://github.com/input-output-hk/cardano-chain/pull/237) | Add ledger utxo properties and incorporate feedback | 83 | [dnadales](https://github.com/dnadales), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-14 | 2019-01-16 | |
weekly-reports/2019-01-17.md:23:| [238](https://github.com/input-output-hk/cardano-chain/pull/238) | [#196] Interpret and validate delegation certs | 108 | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-14 | 2019-01-16 | |
weekly-reports/2019-01-17.md:29:## [Validate Generated Chain against Delegation Rules](https://github.com/input-output-hk/cardano-chain/milestone/2)
weekly-reports/2019-01-17.md:43:## [Address technical debt](https://github.com/input-output-hk/cardano-chain/issues/88)
weekly-reports/2019-01-17.md:50:## [ledger_spec_old](https://github.com/input-output-hk/cardano-chain/issues/83)
weekly-reports/2019-01-17.md:57:## [ledger_impl_validate_chain_old](https://github.com/input-output-hk/cardano-chain/issues/106)
weekly-reports/2019-01-17.md:64:## [ledger_test_validate_old](https://github.com/input-output-hk/cardano-chain/issues/108)
weekly-reports/2019-01-17.md:71:## [ledger_impl_chain_types](https://github.com/input-output-hk/cardano-chain/issues/118)
weekly-reports/2019-01-17.md:78:## [ledger_impl_validate_old](https://github.com/input-output-hk/cardano-chain/issues/105)
weekly-reports/2019-02-07.md:15:| [72](https://github.com/input-output-hk/cardano-chain/issues/72) | Check compatibility of blockchain rules against standard notation doc | | [mdimjasevic](https://github.com/mdimjasevic) | 2018-10-25 | 2019-02-06 | |
weekly-reports/2019-02-07.md:16:| [119](https://github.com/input-output-hk/cardano-chain/issues/119) | Implement canonical JSON tests from Byron release | | |2018-11-08 | 2019-02-08 | |
weekly-reports/2019-02-07.md:17:| [185](https://github.com/input-output-hk/cardano-chain/issues/185) | Implement update registration rules | | |2018-11-30 | 2019-02-07 | |
weekly-reports/2019-02-07.md:18:| [195](https://github.com/input-output-hk/cardano-chain/issues/195) | Generator for (valid) blockchain (delegation) | | [dnadales](https://github.com/dnadales) | 2018-12-03 | 2019-02-06 | |
weekly-reports/2019-02-07.md:19:| [255](https://github.com/input-output-hk/cardano-chain/issues/255) | Model explicit absolute/relative slot calculations | | [nc6](https://github.com/nc6) | 2019-01-22 | 2019-02-06 | |
weekly-reports/2019-02-07.md:20:| [257](https://github.com/input-output-hk/cardano-chain/issues/257) | Restrict delegation rules so that there is an isomorphism between genesis keys and delegators | | |2019-01-23 | 2019-02-04 | |
weekly-reports/2019-02-07.md:21:| [278](https://github.com/input-output-hk/cardano-chain/issues/278) | Define a function in the specs to compute the abstract size of STS signals | | [dnadales](https://github.com/dnadales) | 2019-01-30 | 2019-02-01 | |
weekly-reports/2019-02-07.md:22:| [280](https://github.com/input-output-hk/cardano-chain/pull/280) | Update buildkite script to build all packages | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-30 | 2019-02-07 | |
weekly-reports/2019-02-07.md:23:| [281](https://github.com/input-output-hk/cardano-chain/issues/281) | Missing constraints for integrating with the consensus layer | | [mdimjasevic](https://github.com/mdimjasevic) | 2019-01-30 | 2019-02-01 | |
weekly-reports/2019-02-07.md:24:| [282](https://github.com/input-output-hk/cardano-chain/pull/282) | Implement several class instances for cs-blockchain | | [mdimjasevic](https://github.com/mdimjasevic), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-30 | 2019-02-01 | |
weekly-reports/2019-02-07.md:25:| [283](https://github.com/input-output-hk/cardano-chain/pull/283) | Add: Prose explanations. | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-30 | 2019-02-01 | |
weekly-reports/2019-02-07.md:26:| [284](https://github.com/input-output-hk/cardano-chain/pull/284) | [#185] Implement update registration rules | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-31 | 2019-02-07 | |
weekly-reports/2019-02-07.md:27:| [286](https://github.com/input-output-hk/cardano-chain/pull/286) | Add: Weekly report | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-31 | 2019-02-01 | |
weekly-reports/2019-02-07.md:28:| [287](https://github.com/input-output-hk/cardano-chain/pull/287) | Add a abstractSize function to compute the abstract size of values | | [dnadales](https://github.com/dnadales), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-31 | 2019-02-01 | |
weekly-reports/2019-02-07.md:29:| [288](https://github.com/input-output-hk/cardano-chain/issues/288) | Expose Data.Queue in cs-blockchain | | [mdimjasevic](https://github.com/mdimjasevic) | 2019-02-01 | 2019-02-04 | |
weekly-reports/2019-02-07.md:30:| [289](https://github.com/input-output-hk/cardano-chain/pull/289) | Expose the Data.Queue module in cs-blockchain | | [mdimjasevic](https://github.com/mdimjasevic), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-01 | 2019-02-04 | |
weekly-reports/2019-02-07.md:31:| [290](https://github.com/input-output-hk/cardano-chain/pull/290) | Add: Explicit epoch/slot calculations. | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-01 | 2019-02-01 | |
weekly-reports/2019-02-07.md:32:| [291](https://github.com/input-output-hk/cardano-chain/issues/291) | Simplify the chain block signature count rules | | [dnadales](https://github.com/dnadales) | 2019-02-01 | 2019-02-05 | |
weekly-reports/2019-02-07.md:33:| [292](https://github.com/input-output-hk/cardano-chain/pull/292) | Update the delegation rules so that the delegation map is injective. | | [dnadales](https://github.com/dnadales), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-01 | 2019-02-04 | |
weekly-reports/2019-02-07.md:34:| [293](https://github.com/input-output-hk/cardano-chain/pull/293) | Simplify block sign count rules | | [dnadales](https://github.com/dnadales), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-01 | 2019-02-05 | |
weekly-reports/2019-02-07.md:35:| [297](https://github.com/input-output-hk/cardano-chain/issues/297) | Change the protocol-version-candidate acceptance criteria | | [dnadales](https://github.com/dnadales) | 2019-02-04 | 2019-02-06 | |
weekly-reports/2019-02-07.md:36:| [298](https://github.com/input-output-hk/cardano-chain/issues/298) | Update proposals should only be adopted when confirmed 2k slots before the end of the epoch | | |2019-02-04 | 2019-02-06 | |
weekly-reports/2019-02-07.md:37:| [299](https://github.com/input-output-hk/cardano-chain/pull/299) | Add: Precise number of blocks that may be issued (with K=2160). | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-05 | 2019-02-05 | |
weekly-reports/2019-02-07.md:38:| [300](https://github.com/input-output-hk/cardano-chain/pull/300) | Change protocol-version confirmation and adoption criteria | | [dnadales](https://github.com/dnadales), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-05 | 2019-02-06 | |
weekly-reports/2019-02-07.md:39:| [301](https://github.com/input-output-hk/cardano-chain/pull/301) | Rebased delegation generators | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-05 | 2019-02-06 | |
weekly-reports/2019-02-07.md:40:| [310](https://github.com/input-output-hk/cardano-chain/pull/310) | [#119] Add JSON canonical tests from Byron release | | [Jimbo4350](https://github.com/Jimbo4350), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-02-07 | 2019-02-08 | |
weekly-reports/2019-02-07.md:45:## [Validate Generated Chain against Delegation Rules](https://github.com/input-output-hk/cardano-chain/milestone/2)
weekly-reports/2019-02-07.md:57:## [Implement Update Mechanism Validation Rules](https://github.com/input-output-hk/cardano-chain/milestone/5)
weekly-reports/2019-02-07.md:59:## [Bulk Chain Validation in cardano-shell](https://github.com/input-output-hk/cardano-chain/milestone/3)
weekly-reports/2019-02-07.md:61:## [Validate Generated Chain against Full Ledger Rules](https://github.com/input-output-hk/cardano-chain/milestone/9)
weekly-reports/2019-02-07.md:63:## [Live Chain Validation in cardano-shell](https://github.com/input-output-hk/cardano-chain/milestone/8)
weekly-reports/2019-02-07.md:65:## [Integrate Concrete Validation Rules with Consensus Layer](https://github.com/input-output-hk/cardano-chain/milestone/7)
weekly-reports/2019-02-07.md:67:## [Validate Generated Chain against Update Rules](https://github.com/input-output-hk/cardano-chain/milestone/6)
weekly-reports/2019-02-07.md:69:## [Integrate Executable Spec with Consensus Layer](https://github.com/input-output-hk/cardano-chain/milestone/4)
weekly-reports/2019-01-31.md:14:| [266](https://github.com/input-output-hk/cardano-chain/pull/266) | Add: Block body validation. | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-24 | 2019-01-25 | |
weekly-reports/2019-01-31.md:15:| [222](https://github.com/input-output-hk/cardano-chain/issues/222) | Update `ProtocolMagic` to include `RequiresNetworkMagic` | | |2018-12-17 | 2019-01-24 | |
weekly-reports/2019-01-31.md:16:| [248](https://github.com/input-output-hk/cardano-chain/issues/248) | Fully define block body validation in the chain spec | | [nc6](https://github.com/nc6) | 2019-01-21 | 2019-01-30 | |
weekly-reports/2019-01-31.md:17:| [250](https://github.com/input-output-hk/cardano-chain/pull/250) | [#222] Update `ProtocolMagic` to include `RequiresNetworkMagic` | | [Jimbo4350](https://github.com/Jimbo4350), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-21 | 2019-01-24 | |
weekly-reports/2019-01-31.md:18:| [258](https://github.com/input-output-hk/cardano-chain/issues/258) | Group the premises of the chain rules into header transition and body transitions | | [nc6](https://github.com/nc6) | 2019-01-23 | 2019-01-24 | |
weekly-reports/2019-01-31.md:19:| [260](https://github.com/input-output-hk/cardano-chain/pull/260) | Switch to using new let-binding syntax. | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-23 | 2019-01-24 | |
weekly-reports/2019-01-31.md:20:| [261](https://github.com/input-output-hk/cardano-chain/pull/261) | Factor out BHEAD and BBODY rules | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-24 | 2019-01-24 | |
weekly-reports/2019-01-31.md:21:| [263](https://github.com/input-output-hk/cardano-chain/issues/263) | Upgrade cardano-binary to GHC 8.6.3 | | [mdimjasevic](https://github.com/mdimjasevic) | 2019-01-24 | 2019-01-30 | |
weekly-reports/2019-01-31.md:22:| [264](https://github.com/input-output-hk/cardano-chain/pull/264) | Upgrade cardano-binary to GHC 8.6.3 | | [mdimjasevic](https://github.com/mdimjasevic), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-24 | 2019-01-30 | |
weekly-reports/2019-01-31.md:23:| [265](https://github.com/input-output-hk/cardano-chain/issues/265) | Upgrade cardano-crypto-wrapper to GHC 8.6.3 | | [mdimjasevic](https://github.com/mdimjasevic) | 2019-01-24 | 2019-01-30 | |
weekly-reports/2019-01-31.md:24:| [247](https://github.com/input-output-hk/cardano-chain/issues/247) | Incorporate epoch calculations into the chain spec | | [nc6](https://github.com/nc6) | 2019-01-21 | 2019-01-24 | |
weekly-reports/2019-01-31.md:25:| [267](https://github.com/input-output-hk/cardano-chain/pull/267) | Upgrade cardano-crypto-wrapper to depend on GHC 8.6.3 | | [mdimjasevic](https://github.com/mdimjasevic), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-24 | 2019-01-30 | |
weekly-reports/2019-01-31.md:26:| [268](https://github.com/input-output-hk/cardano-chain/pull/268) | Add: Weekly report | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-24 | 2019-01-25 | |
weekly-reports/2019-01-31.md:27:| [269](https://github.com/input-output-hk/cardano-chain/issues/269) | Support building with Cabal only | | [mdimjasevic](https://github.com/mdimjasevic) | 2019-01-25 | 2019-01-25 | |
weekly-reports/2019-01-31.md:28:| [270](https://github.com/input-output-hk/cardano-chain/pull/270) | Add support for building with Cabal at the top level | | [mdimjasevic](https://github.com/mdimjasevic), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-25 | 2019-01-25 | |
weekly-reports/2019-01-31.md:29:| [273](https://github.com/input-output-hk/cardano-chain/pull/273) | Add: Update interface section. | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-28 | 2019-01-30 | |
weekly-reports/2019-01-31.md:30:| [274](https://github.com/input-output-hk/cardano-chain/issues/274) | Specify in the blockchain spec that 0.22 is a good constant for the `t` parameter. | | [nc6](https://github.com/nc6) | 2019-01-28 | 2019-01-30 | |
weekly-reports/2019-01-31.md:31:| [275](https://github.com/input-output-hk/cardano-chain/pull/275) | Update cardano-mainnet-mirror to lfs version | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-28 | 2019-01-29 | |
weekly-reports/2019-01-31.md:32:| [276](https://github.com/input-output-hk/cardano-chain/pull/276) | Replace git-lfs with cardano-mainnet-mirror Haskell package | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-29 | 2019-01-30 | |
weekly-reports/2019-01-31.md:33:| [277](https://github.com/input-output-hk/cardano-chain/pull/277) | Add: Explanation of calculating t=0.22 | | [nc6](https://github.com/nc6), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-29 | 2019-01-30 | |
weekly-reports/2019-01-31.md:34:| [279](https://github.com/input-output-hk/cardano-chain/pull/279) | Pin binary and crypto versions in cardano-chain | | [ruhatch](https://github.com/ruhatch), [iohk-bors[bot]](https://github.com/apps/iohk-bors) | 2019-01-30 | 2019-01-30 | |
weekly-reports/2019-01-31.md:40:## [Validate Generated Chain against Delegation Rules](https://github.com/input-output-hk/cardano-chain/milestone/2)
weekly-reports/2018-12-13.md:13:|   75  | https://github.com/input-output-hk/cardano-chain/issues/75  | Model fees                                                         |   83 | @dnadales         | 2018-12-10 | 2018-12-11 |               |
weekly-reports/2018-12-13.md:14:|   179 | https://github.com/input-output-hk/cardano-chain/issues/179 | Describe the minimum fee calculation                               |   83 | @dnadales         | 2018-12-10 | 2018-12-11 |               |
weekly-reports/2018-12-13.md:15:|   157 | https://github.com/input-output-hk/cardano-chain/issues/157 | Model composable serialization in the ledger rules                 |   83 | @dnadales         | 2018-12-11 | 2018-12-11 |               |
weekly-reports/2018-12-13.md:16:|   191 | https://github.com/input-output-hk/cardano-chain/issues/191 | Encode delegation rules in STS framework                           |   83 | @nc6              | 2018-12-05 | 2018-12-13 |Blocked by 216 |
weekly-reports/2018-12-13.md:17:|   216 | https://github.com/input-output-hk/cardano-chain/issues/216 | Encode delegation rules in STS framework                           |   83 | @nc6              | 2018-12-06 | 2018-12-11 |               |
weekly-reports/2018-12-13.md:24:## [Validate Generated Chain against Delegation Rules](https://github.com/input-output-hk/cardano-chain/milestone/2) 
weekly-reports/2018-12-13.md:38:## [Address technical debt](https://github.com/input-output-hk/cardano-chain/issues/88) 
weekly-reports/2018-12-13.md:45:## [ledger_spec_old](https://github.com/input-output-hk/cardano-chain/issues/83) 
weekly-reports/2018-12-13.md:52:## [ledger_impl_validate_chain_old](https://github.com/input-output-hk/cardano-chain/issues/106) 
weekly-reports/2018-12-13.md:59:## [ledger_test_validate_old](https://github.com/input-output-hk/cardano-chain/issues/108) 
weekly-reports/2018-12-13.md:66:## [ledger_impl_chain_types](https://github.com/input-output-hk/cardano-chain/issues/118) 
weekly-reports/2018-12-13.md:73:## [ledger_impl_validate_old](https://github.com/input-output-hk/cardano-chain/issues/105) 
weekly-reports/2018-12-06.md:12:|   198 | https://github.com/input-output-hk/cardano-chain/issues/198 | Add delegation types in the Haskell ledger spec                    |   83 | @nc6              | 2018-12-03 | 2018-12-05 |               |
weekly-reports/2018-12-06.md:13:|   204 | https://github.com/input-output-hk/cardano-chain/issues/204 | Add exported library to allow cs-blockchain to depend on cs-ledger |   83 | @nc6              | 2018-12-05 | 2018-12-05 |               |
weekly-reports/2018-12-06.md:14:|   208 | https://github.com/input-output-hk/cardano-chain/issues/208 | Update version of cardano-prelude for strict Maps                  |  88  | @ruhatch          | 2018-12-06 | 2018-12-06 |               |
weekly-reports/2018-12-06.md:15:|   201 | https://github.com/input-output-hk/cardano-chain/issues/201 | Makes several small improvements in the blockchain spec            |  83  | @mdimjasevic      | 2018-12-04 | 2018-12-06 | Issue 200     |
weekly-reports/2018-12-06.md:16:|   178 | https://github.com/input-output-hk/cardano-chain/issues/178 | Build Haskell specs in Hydra                                       |      | @nc6 @cleverca22  | 2018-11-30 | 2018-12-05 |               |
weekly-reports/2018-12-06.md:17:|   199 | https://github.com/input-output-hk/cardano-chain/issues/199 | Replace unless/when ... throwError with orThrowError               |  88  | @ruhatch          | 2018-12-03 | 2018-12-04 |               |
weekly-reports/2018-12-06.md:24:## [Validate Generated Chain against Delegation Rules](https://github.com/input-output-hk/cardano-chain/milestone/2) 
weekly-reports/2018-12-06.md:38:## [Address technical debt](https://github.com/input-output-hk/cardano-chain/issues/88) 
weekly-reports/2018-12-06.md:45:## [ledger_spec_old](https://github.com/input-output-hk/cardano-chain/issues/83) 
weekly-reports/2018-12-06.md:52:## [ledger_impl_validate_chain_old](https://github.com/input-output-hk/cardano-chain/issues/106) 
weekly-reports/2018-12-06.md:59:## [ledger_test_validate_old](https://github.com/input-output-hk/cardano-chain/issues/108) 
weekly-reports/2018-12-06.md:66:## [ledger_impl_chain_types](https://github.com/input-output-hk/cardano-chain/issues/118) 
weekly-reports/2018-12-06.md:73:## [ledger_impl_validate_old](https://github.com/input-output-hk/cardano-chain/issues/105) 
weekly-reports/2018-12-20.md:11:| [160](https://github.com/input-output-hk/cardano-chain/issues/160) | Model software version in the ledger rules                                      |      | [dnadales](https://github.com/dnadales)       | 2018-11-26 | 2018-12-17 |          |
weekly-reports/2018-12-20.md:12:| [172](https://github.com/input-output-hk/cardano-chain/issues/172) | Determine cleanup and/or timeout mechanisms for update proposals                |      | [dnadales](https://github.com/dnadales)       | 2018-11-27 | 2018-12-17 |          |
weekly-reports/2018-12-20.md:13:| [173](https://github.com/input-output-hk/cardano-chain/issues/173) | Make state diagrams for protocol-update proposals and software-update proposals |      | [dnadales](https://github.com/dnadales)       | 2018-11-28 | 2018-12-17 |          |
weekly-reports/2018-12-20.md:14:| [191](https://github.com/input-output-hk/cardano-chain/issues/191) | Encode delegation rules in STS framework                                        |      | [nc6](https://github.com/nc6)                 | 2018-12-03 | 2018-12-13 |          |
weekly-reports/2018-12-20.md:15:| [193](https://github.com/input-output-hk/cardano-chain/issues/193) | Tie blockchain layer to ledger layer (delegation)                               |      | [mdimjasevic](https://github.com/mdimjasevic) | 2018-12-03 | 2018-12-18 |          |
weekly-reports/2018-12-20.md:16:| [205](https://github.com/input-output-hk/cardano-chain/pull/205)   | Incorporate additional feedback on the update-mechanism rules                   |      | [dnadales](https://github.com/dnadales)       | 2018-12-05 | 2018-12-17 |          |
weekly-reports/2018-12-20.md:17:| [215](https://github.com/input-output-hk/cardano-chain/pull/215)   | STS Systems for delegation                                                      |      | [nc6](https://github.com/nc6)                 | 2018-12-11 | 2018-12-13 |          |
weekly-reports/2018-12-20.md:18:| [221](https://github.com/input-output-hk/cardano-chain/pull/221)   | [193] Ties blockchain layer to ledger layer (delegation)                        |      | [mdimjasevic](https://github.com/mdimjasevic) | 2018-12-14 | 2018-12-17 |          |
weekly-reports/2018-12-20.md:24:## [Validate Generated Chain against Delegation Rules](https://github.com/input-output-hk/cardano-chain/milestone/2) 
weekly-reports/2018-12-20.md:38:## [Address technical debt](https://github.com/input-output-hk/cardano-chain/issues/88) 
weekly-reports/2018-12-20.md:45:## [ledger_spec_old](https://github.com/input-output-hk/cardano-chain/issues/83) 
weekly-reports/2018-12-20.md:52:## [ledger_impl_validate_chain_old](https://github.com/input-output-hk/cardano-chain/issues/106) 
weekly-reports/2018-12-20.md:59:## [ledger_test_validate_old](https://github.com/input-output-hk/cardano-chain/issues/108) 
weekly-reports/2018-12-20.md:66:## [ledger_impl_chain_types](https://github.com/input-output-hk/cardano-chain/issues/118) 
weekly-reports/2018-12-20.md:73:## [ledger_impl_validate_old](https://github.com/input-output-hk/cardano-chain/issues/105) 
README.md:1:# cardano-chain
README.md:8:[![Build status](https://badge.buildkite.com/92690086997996d4f9703ef752c0e918a02bb389b44d0659a0.svg?branch=master)](https://buildkite.com/input-output-hk/cardano-chain)
README.md:9:[![Coverage Status](https://coveralls.io/repos/github/input-output-hk/cardano-chain/badge.svg?branch=master)](https://coveralls.io/github/input-output-hk/cardano-chain?branch=master)
README.md:13:The `cardano-chain` library depends on other libraries of the `input-output-hk`
README.md:24:  - git: https://github.com/input-output-hk/cardano-chain
README.md:32:source files in a sub-directory of the `cardano-chain` repository. When
README.md:33:developing, sometimes it is necessary to modify not only `cardano-chain` but
release.nix:6:    ["nix-tools" "tests" "cardano-chain" "cardano-chain-test" "x86_64-darwin"]
release.nix:18:  packages = [ "cardano-chain" ];
release.nix:43:  #   libs.cardano-chain.x86_64-darwin -- will build the cardano-chain library on and for macOS
release.nix:44:  #   libs.cardano-chain.x86_64-linux -- will build the cardano-chain library on and for linux
release.nix:45:  #   libs.x86_64-pc-mingw32-cardano-chain.x86_64-linux -- will build the cardano-chain library on linux for windows.
release.nix:49:  required-name = "cardano-chain-required-checks";
release.nix:52:    jobs.nix-tools.libs.cardano-chain.x86_64-darwin
release.nix:53:    jobs.nix-tools.libs.cardano-chain.x86_64-linux
release.nix:54:    jobs.nix-tools.tests.cardano-chain.cardano-chain-test.x86_64-linux
release.nix:57:    jobs.nix-tools.libs.x86_64-pc-mingw32-cardano-chain.x86_64-linux
release.nix:58:    jobs.nix-tools.tests.x86_64-pc-mingw32-cardano-chain.cardano-chain-test.x86_64-linux
scripts/nix/stack-shell.nix:9:  name = "cardano-chain-env";
scripts/buildkite/rebuild.hs:60:        ["--repo-token", repoToken, "cardano-chain", "cardano-chain-test"]
cabal.project:5:package cardano-chain
bors.toml:4:  "buildkite/cardano-chain",
bors.toml:6:  "ci/hydra:serokell:cardano-chain:required",
dnadales commented 5 years ago

Despite the repo being renamed, we still have many references to cardano-chain inside the repo. Should this issue track the modification of all of those?

Good point. We should change those as well.

ruhatch commented 5 years ago

There's an open PR for that!

ruhatch commented 5 years ago

https://github.com/input-output-hk/cardano-ledger/pull/376

dnadales commented 5 years ago

Ups, sorry if I shouldn't have reopened this then.

I thought that was merged already.

mhuesch commented 5 years ago

Oops, missed that.