{"push_id":3087268359,"size":81,"distinct_size":3,"ref":"refs/heads/nc/goblins","head":"667c603f366ead6a2f853260ae8bbc6b037577bb","before":"f8d73423fb348f56c96b767f2231169aeda6b243","commits":[{"sha":"ae93d97f603b1e1a76be691f533ed782300dd6f5","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Cabalises the project","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/ae93d97f603b1e1a76be691f533ed782300dd6f5"},{"sha":"69d542a1c65151de0c697999f240bba6654ce738","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Merge branch 'master' of github.com:input-output-hk/cardano-chain into mdimjasevic-100/haskell-prototype","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/69d542a1c65151de0c697999f240bba6654ce738"},{"sha":"dc9b8ba3c4071bfe6f9bcb75127347a86512e3ea","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Adds and updates Nix scripts for cs-blockchain","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/dc9b8ba3c4071bfe6f9bcb75127347a86512e3ea"},{"sha":"3daf2f8359fdc425cbd37e52e0423c3be3916d53","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"WIP: a first compiling version, though far from finished","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/3daf2f8359fdc425cbd37e52e0423c3be3916d53"},{"sha":"f32dc4203a6ff77e0e7620d85ce0a9d88ac1acf0","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Merge branch 'master' of github.com:input-output-hk/cardano-chain into mdimjasevic-100/haskell-prototype","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/f32dc4203a6ff77e0e7620d85ce0a9d88ac1acf0"},{"sha":"8e1f83ab470d37c8e0ecaa363adc4fe411bc0d29","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Makes the scope of the blockchain spec more precise","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/8e1f83ab470d37c8e0ecaa363adc4fe411bc0d29"},{"sha":"f41ab0066ab937b6aa5074683e7b299400ac316d","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"* Implements several predicates for blockchain extension\n* Updates the LaTeX spec to match the Haskell code\n* Introduces a function sizeQueue :: Queue a -> Word","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/f41ab0066ab937b6aa5074683e7b299400ac316d"},{"sha":"cb1ff795b7690bbc1529cf890fdd927cc3d85a7c","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"WIP: beginning of adding a state transition sub-system dependency","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/cb1ff795b7690bbc1529cf890fdd927cc3d85a7c"},{"sha":"05c0cdbf5348befc3669756f264014cb0a547104","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"* Adds cs-blockchain to cabal.project in specs/\n* Implements the stateLens for embedding of a state transition sub-system","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/05c0cdbf5348befc3669756f264014cb0a547104"},{"sha":"27e2bf992936d80d9f5801858eed81165f62e795","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"WIP: trying to write an STS premise with the SubTrans constructor","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/27e2bf992936d80d9f5801858eed81165f62e795"},{"sha":"7c9e96be6787b337b4bbfa9c98cd0b412d151618","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Merge branch 'master' of github.com:input-output-hk/cardano-chain into mdimjasevic-100/haskell-prototype","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/7c9e96be6787b337b4bbfa9c98cd0b412d151618"},{"sha":"fe9a42c4d6085270de625759d52c76eeef717d47","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Implements a stubbed sub-transition for adding new certificates","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/fe9a42c4d6085270de625759d52c76eeef717d47"},{"sha":"a7ae32a12028d14d5f95d43d9046dd2bc177d428","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Implements the trimIx function","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/a7ae32a12028d14d5f95d43d9046dd2bc177d428"},{"sha":"81384c4e28e607f92ee988fb9ed620d233b8ca73","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Implements the incIxMap function","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/81384c4e28e607f92ee988fb9ed620d233b8ca73"},{"sha":"ac6221a2f56a94dfa3d1baac67c44f337255e3e3","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Updates the date of the blockchain spec","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/ac6221a2f56a94dfa3d1baac67c44f337255e3e3"},{"sha":"92e68c4b67d0eeb0b0278090ffa098959c4e439b","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Adds a stab of genesis block verification keys and adds some comments in the code","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/92e68c4b67d0eeb0b0278090ffa098959c4e439b"},{"sha":"7fe3d2d194fd698ad69b6f9a7a754f2f491ee164","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Cabalises the project","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/7fe3d2d194fd698ad69b6f9a7a754f2f491ee164"},{"sha":"9cbf490067887f6b16caa36177294799d0cf2fff","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Adds and updates Nix scripts for cs-blockchain","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/9cbf490067887f6b16caa36177294799d0cf2fff"},{"sha":"e307b5df128970fd61b0c88e69b252f1430fc6ff","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"WIP: a first compiling version, though far from finished","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/e307b5df128970fd61b0c88e69b252f1430fc6ff"},{"sha":"a56cb7b06406e6de7935984f0b3018170a2bfdb5","author":{"name":"Marko Dimjašević","email":"5dc5cc878417e9e78c556eee1cd0ab62c1ff36ef@iohk.io"},"message":"Makes the scope of the blockchain spec more precise","distinct":false,"url":"https://api.github.com/repos/input-output-hk/cardano-chain/commits/a56cb7b06406e6de7935984f0b3018170a2bfdb5"}]}
{"actor":{"display_login":"nc6"}}