{"push_id":2752301876,"size":12,"distinct_size":11,"ref":"refs/heads/v1.0/arithmetic","head":"b07703102f51d698d40a92b75a65185da3200b1f","before":"77c30c960568ee92225322a2d3454c589da64d04","commits":[{"sha":"cb86ad6559353f627c824626e344ae49d4ccef2a","author":{"name":"Lucas Pena","email":"a188fbbf0746ad03fce632384bc289564224cea8@illinois.edu"},"message":"README: added note about error being a value","distinct":false,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/cb86ad6559353f627c824626e344ae49d4ccef2a"},{"sha":"fd41a2642d60d948267a937400c4c256bb4eb559","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"plutus-core: Implement addInteger for non-nested expressions","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/fd41a2642d60d948267a937400c4c256bb4eb559"},{"sha":"35752897e1998d87d980cc7d8ef8569ce4d4f0aa","author":{"name":"Lucas Pena","email":"a188fbbf0746ad03fce632384bc289564224cea8@illinois.edu"},"message":"plutus-core: removed duplicate curried construct and duplicate rule","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/35752897e1998d87d980cc7d8ef8569ce4d4f0aa"},{"sha":"57611fdc3c4e7630b90a07a08148ea74b7ade0fe","author":{"name":"Lucas Pena","email":"a188fbbf0746ad03fce632384bc289564224cea8@illinois.edu"},"message":"plutus-core, plutus-core-spec: subtractInteger","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/57611fdc3c4e7630b90a07a08148ea74b7ade0fe"},{"sha":"1274402f77ddc86965eefb194af366a4b48bc7ef","author":{"name":"Lucas Pena","email":"a188fbbf0746ad03fce632384bc289564224cea8@illinois.edu"},"message":"plutus-core: added comments above builtins","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/1274402f77ddc86965eefb194af366a4b48bc7ef"},{"sha":"2dbdfb8ad61426db837c34e7ed6fb0b316b058c7","author":{"name":"Lucas Pena","email":"a188fbbf0746ad03fce632384bc289564224cea8@illinois.edu"},"message":"plutus-core, plutus-core-spec: multiplyInteger","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/2dbdfb8ad61426db837c34e7ed6fb0b316b058c7"},{"sha":"3699cb4aa28fa27087214a14bb9054afcb2a93c2","author":{"name":"Lucas Pena","email":"a188fbbf0746ad03fce632384bc289564224cea8@illinois.edu"},"message":"plutus-core, plutus-core-spec: divideInteger","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/3699cb4aa28fa27087214a14bb9054afcb2a93c2"},{"sha":"a515a10a0e48a6401f9ad8b5486d14357b0cd75d","author":{"name":"Lucas Pena","email":"a188fbbf0746ad03fce632384bc289564224cea8@illinois.edu"},"message":"plutus-core, plutus-core-spec: remainderInteger","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/a515a10a0e48a6401f9ad8b5486d14357b0cd75d"},{"sha":"e5797a40cbd6bd68682095db4478c8c63407bc9f","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"plutus-core-spec: Formatting","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/e5797a40cbd6bd68682095db4478c8c63407bc9f"},{"sha":"7e64531f327d403348b4d7c99915c483bf2670c0","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"plutus-core-spec: Add tests for complex arithmetic expression","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/7e64531f327d403348b4d7c99915c483bf2670c0"},{"sha":"0193582804f1e449913e0ca2bcb4e5faa3ee8b6d","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"plutus: Integer arithmetic handles nested expressions, errors correctly","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/0193582804f1e449913e0ca2bcb4e5faa3ee8b6d"},{"sha":"b07703102f51d698d40a92b75a65185da3200b1f","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"build: Build K before ocamlc\n\nThe build specification for K's ocamlc needs to built before compiling.","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/b07703102f51d698d40a92b75a65185da3200b1f"}]}
{"actor":{"display_login":"nishantjr"}}