{"push_id":2904723416,"size":90,"distinct_size":88,"ref":"refs/heads/wasm","head":"291e994b872bdc4fdcd627a714ff88f27fdad3b2","before":"9742a676b111e0c94ad37141a56a3a3feb76bae3","commits":[{"sha":"d768e1c96ee7aa01162310750e3eb793bbb013a3","author":{"name":"Lorenz Leutgeb","email":"8c58220032f5d3e8ce136f88fb8eb706e60f6f3c@leutgeb.xyz"},"message":"Mention unit of measure for heap/stack sizes","distinct":false,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/d768e1c96ee7aa01162310750e3eb793bbb013a3"},{"sha":"66a35311787bb43f72e8e758209a4745f288cdfe","author":{"name":"Ramana Kumar","email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org"},"message":"Fix a bug in PrettyPrinter.fromWord64\n\nThis kind of thing would be caught more easily if we resolved #344.","distinct":false,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/66a35311787bb43f72e8e758209a4745f288cdfe"},{"sha":"306e73e0ef0314393ecdbb996b50cf799375f15d","author":{"name":"Lorenz Leutgeb","email":"8c58220032f5d3e8ce136f88fb8eb706e60f6f3c@leutgeb.xyz"},"message":"Use Git's -C option\n\nSee https://git-scm.com/docs/git#git--Cltpathgt","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/306e73e0ef0314393ecdbb996b50cf799375f15d"},{"sha":"16dea61b603860277aa8f65c23df0b11ae9cd06d","author":{"name":"Thomas Sewell","email":"ea19dd0be7210a981e0b76657ec1bf4b77d85af9@chalmers.se"},"message":"Fix proof in word_allocProofScript\n\nThis proof seems to have been broken by a HOL4 change. I have no\nidea what I'm doing, but re-parenthesising seems to fix it, and\nmight also be compatible with the original behaviour.","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/16dea61b603860277aa8f65c23df0b11ae9cd06d"},{"sha":"5d575deeddbcf6deac8b9c9f8845e05a49d788c4","author":{"name":"Thomas Sewell","email":"ea19dd0be7210a981e0b76657ec1bf4b77d85af9@chalmers.se"},"message":"Add optional timnig in ml_translatorLib\n\nIf the ml_translatorLib.trace_timing_to ref is set to a filename,\nthe translator will time the duration of (most of) its various\ninner steps.\n\nThe 64-bit bootstrap translation is set to be timed, with the\nresulting log exported as a regression artefact.","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/5d575deeddbcf6deac8b9c9f8845e05a49d788c4"},{"sha":"40cb9e7ef1c1b7d39b11d0e3682d56222cb6a163","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Prepare to branch off after stackLang","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/40cb9e7ef1c1b7d39b11d0e3682d56222cb6a163"},{"sha":"37267140b6d276f32246f9d2398c456b1958799c","author":{"name":"Lorenz Leutgeb","email":"8c58220032f5d3e8ce136f88fb8eb706e60f6f3c@leutgeb.xyz"},"message":"wasm: Translate Isabelle theory by Conrad Watt","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/37267140b6d276f32246f9d2398c456b1958799c"},{"sha":"c634f303fc5abf0735b1a4566a832ab8fcb73d68","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Rewrite definitions from spec","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/c634f303fc5abf0735b1a4566a832ab8fcb73d68"},{"sha":"b6f3385a1773a33c1015e04687f9b706174dd534","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Typing for instructions","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/b6f3385a1773a33c1015e04687f9b706174dd534"},{"sha":"c44a288dcae410af81dd4b9c8bf47b6136c61b7f","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: More typing relations","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/c44a288dcae410af81dd4b9c8bf47b6136c61b7f"},{"sha":"4835b3b18ea579fb56675bd3b43e34f53ceb46f9","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"Split theory wasm into wasm{Lang,Static,Dynamic}","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/4835b3b18ea579fb56675bd3b43e34f53ceb46f9"},{"sha":"fd60479df55c374b6d9344c3ec844570b4eb75f8","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Extend staticTheory and fix langTheory","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/fd60479df55c374b6d9344c3ec844570b4eb75f8"},{"sha":"219c5a984af41a43de91b866c43ae46384250045","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Start work on wasmDynamicTheory","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/219c5a984af41a43de91b866c43ae46384250045"},{"sha":"32cfe47aa7ec64aabbef72537473e4d1840f416b","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Formatting","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/32cfe47aa7ec64aabbef72537473e4d1840f416b"},{"sha":"7e73981ac26a7ad9a66cea6503d9871f684e7e82","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Address host functions","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/7e73981ac26a7ad9a66cea6503d9871f684e7e82"},{"sha":"5d3290229390def59cc7813cae33edd02afe1030","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Semantics for call_indirect","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/5d3290229390def59cc7813cae33edd02afe1030"},{"sha":"f4d70dc7bfb6ea614ae9f58949e54f3ed875faec","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Model Memory Instructions","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/f4d70dc7bfb6ea614ae9f58949e54f3ed875faec"},{"sha":"1a643f724fddcc3fc2cb59ba0bad67e0f5d25f26","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Add missing conversion instructions","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/1a643f724fddcc3fc2cb59ba0bad67e0f5d25f26"},{"sha":"53b5428d2b5346ca9bb29d30f8ab38ca14a0fab6","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Decompose Value Types","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/53b5428d2b5346ca9bb29d30f8ab38ca14a0fab6"},{"sha":"1daa67966bf1ad75eff0cb659932a98682455013","author":{"name":"Lorenz Leutgeb","email":"a8273af8124ce074690e3be166be65599e286b3f@csiro.au"},"message":"wasm: Copy stack_to_lab to stack_to_wasm","distinct":true,"url":"https://api.github.com/repos/lorenzleutgeb/cakeml/commits/1daa67966bf1ad75eff0cb659932a98682455013"}]}
{"actor":{"display_login":"lorenzleutgeb"}}