{"push_id":2091408740,"size":152,"distinct_size":152,"ref":"refs/heads/master","head":"cced294d49799d9550812b06b1d700ae41e2188e","before":"8e2f25b87a372ae2ea43a9662b6987d9d3dd2fd2","commits":[{"sha":"6a050295a28e672a828b2480f6fc86497b0c632e","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Add a monadic state parameter to the EvalM predicate","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/6a050295a28e672a828b2480f6fc86497b0c632e"},{"sha":"e8ff10e7c69e1f5aaf3d89654a353567d6e4cc07","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update the non recursive mechanism with no preconditions","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/e8ff10e7c69e1f5aaf3d89654a353567d6e4cc07"},{"sha":"fb98aada1511cf8f1c7f2775e6caf561a61ac5cd","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update the translation of non-recursive functions with preconditions","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/fb98aada1511cf8f1c7f2775e6caf561a61ac5cd"},{"sha":"230582ae450edfdea34b6649c09d7c08ffc6efb9","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update the bottom_up translation for previously translated functions with preconditions","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/230582ae450edfdea34b6649c09d7c08ffc6efb9"},{"sha":"def470591f968d86471892bd03a930cf19f8dc45","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update m2deep for recursive functions","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/def470591f968d86471892bd03a930cf19f8dc45"},{"sha":"0b10e765c66566ce51dd2ab95dcf1208d8254cf5","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Fix a few bugs","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/0b10e765c66566ce51dd2ab95dcf1208d8254cf5"},{"sha":"eacd01db686b09add70f11693607babdffc75da2","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update the translation mechanism for recursive functions with no preconditions","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/eacd01db686b09add70f11693607babdffc75da2"},{"sha":"6595aa34b05567fdc93df2e4dca93e8e61139b3a","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Fix bugs","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/6595aa34b05567fdc93df2e4dca93e8e61139b3a"},{"sha":"46a037d91879388dd5d9724c935401e51efa31e2","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update the generation of precondition for recursive function","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/46a037d91879388dd5d9724c935401e51efa31e2"},{"sha":"abf1d6087b443d175c80f1d82ec6f354413d0551","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Fix the inductive proof","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/abf1d6087b443d175c80f1d82ec6f354413d0551"},{"sha":"16bd548010aef952ce23d5bf5430ea90a5ca210d","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Start updating m_translate_run","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/16bd548010aef952ce23d5bf5430ea90a5ca210d"},{"sha":"9231096791afcc51da6f6d634f1c8ee4d5da11f0","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Continue updating m_translate","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/9231096791afcc51da6f6d634f1c8ee4d5da11f0"},{"sha":"f9252e877ec4923a336e2759dd13ba88fb95d945","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Merge branch 'master' into cakeml-monad2","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/f9252e877ec4923a336e2759dd13ba88fb95d945"},{"sha":"572bf345b8fdd6bac201c5e5b5360e07d005e857","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Finish updating m_translate_run","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/572bf345b8fdd6bac201c5e5b5360e07d005e857"},{"sha":"346d246dcd65930dd35682bd9c36cd412e3866dd","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Cleanup","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/346d246dcd65930dd35682bd9c36cd412e3866dd"},{"sha":"8ba645308ac7321ee83cd09b501ec5232bbae25c","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Fix m_translate_run for Recclosure and cleanup","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/8ba645308ac7321ee83cd09b501ec5232bbae25c"},{"sha":"f723039428a6be070b06baab8a54b7b507851fa6","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update the proofs for the conversion of ArrowP specs to cf specs","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/f723039428a6be070b06baab8a54b7b507851fa6"},{"sha":"cc58e3e96154673a89d5ce25e228d168b1d6e26e","author":{"name":"Kachoc","email":"04220aafc89a566db64c0106cb8956fec3e0a034@hotmail.fr"},"message":"Update the mechanism to generate cf specs from ArrowP specs","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/cc58e3e96154673a89d5ce25e228d168b1d6e26e"},{"sha":"fa467fc85d6cc538a18e4a8d890c0222d767e618","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Prepare to make String.substring primitive\n\nThe underlying primitive op (CopyStrStr) is there already. The basis\nlibrary just needs to use it. This removes extract_aux, since extract\ncan just use substring in its implementation.","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/fa467fc85d6cc538a18e4a8d890c0222d767e618"},{"sha":"a660e766f37326f97026b555e4501b30a8c195bf","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Fix mlintTheory for changes to substring\n\nAlso, improve the implementation slightly: inline the definition of\nstrlen on substring.","distinct":true,"url":"https://api.github.com/repos/OlympusMonds/cakeml/commits/a660e766f37326f97026b555e4501b30a8c195bf"}]}
{"actor":{"display_login":"OlympusMonds"}}