{"push_id":1816076663,"size":23,"distinct_size":17,"ref":"refs/heads/master","head":"f9aff1428512669ccd431b827a501094a45a62aa","before":"0a3339a9bb7f763abbc23916b3ed3e73a258f873","commits":[{"sha":"56ece77ed94beedf8e7e5af71e451a67cbea43ef","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Add draft for JSON emission","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/56ece77ed94beedf8e7e5af71e451a67cbea43ef"},{"sha":"a6fb70817e44fb9ebbca9836818cbc7d32a234d9","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Add `--json=file` option","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/a6fb70817e44fb9ebbca9836818cbc7d32a234d9"},{"sha":"227bcce3caa52b937dc4c5be4919725216dd492c","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Fix Positions conversion to JSON","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/227bcce3caa52b937dc4c5be4919725216dd492c"},{"sha":"ff3db487301761b4e5d82cb97e993f9fd37c83f4","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Move Position to JSON conversion to its own package","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/ff3db487301761b4e5d82cb97e993f9fd37c83f4"},{"sha":"22c9592532713a56466c92c80531bf89c56bd35c","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Always return a JSON array for verification","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/22c9592532713a56466c92c80531bf89c56bd35c"},{"sha":"8d4619cb7abc97405399b32fdea9fe9fedc4ee4f","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Implement JSON export for termination","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/8d4619cb7abc97405399b32fdea9fe9fedc4ee4f"},{"sha":"d071b66619b7fdcb95c4d737edabffed30e2a6e0","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Import strict/overflow test suits from Leon","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/d071b66619b7fdcb95c4d737edabffed30e2a6e0"},{"sha":"e798c53062d96bfe589f7960729a553f4126e44e","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Add --strictarithmetic to the list of supported options\n\nNo checks added yet","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/e798c53062d96bfe589f7960729a553f4126e44e"},{"sha":"018bf1745dfd8f3501ce65da7fbf675328bd7345","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Add overflow and strict arithmetic checks\n\nNOTE: specific checks for C were not imported from Leon.\nSee https://github.com/epfl-lara/leon/blob/master/src/main/scala/leon/verification/DefaultTactic.scala#L159-L163","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/018bf1745dfd8f3501ce65da7fbf675328bd7345"},{"sha":"f93afca6a8d4b119937e2ffda74c0745e36cccf0","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Fix verification timer\n\nNOTE this doesn't affect the timer bugs when using --parallelvcs","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/f93afca6a8d4b119937e2ffda74c0745e36cccf0"},{"sha":"541c424bef455375d52823473d84e2af7bc9dca0","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Minimal changes to have a context when calling weakestPrecondition","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/541c424bef455375d52823473d84e2af7bc9dca0"},{"sha":"3ddcd2fad58996d0be8189509dc60244cc4cf5cd","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Move optStrictArithmetic to VerificationComponent","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/3ddcd2fad58996d0be8189509dc60244cc4cf5cd"},{"sha":"69d31d83567b39582bc1d6b4c7bcca43774609b9","author":{"name":"Guillaume Massé","email":"c07d509a8737c55bf3426b5b88ca9dff6cb34fe6@gmail.com"},"message":"Set sbt to latest version & remove deprecated sbt operators","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/69d31d83567b39582bc1d6b4c7bcca43774609b9"},{"sha":"6f1cbe846d819dbb7cea4cf96050353e6db84330","author":{"name":"Guillaume Massé","email":"c07d509a8737c55bf3426b5b88ca9dff6cb34fe6@gmail.com"},"message":"Fix compilation warning about existential types","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/6f1cbe846d819dbb7cea4cf96050353e6db84330"},{"sha":"23c7205c06afa8822037bf4281f9f678ffc16993","author":{"name":"Guillaume Massé","email":"c07d509a8737c55bf3426b5b88ca9dff6cb34fe6@gmail.com"},"message":"Use env to launch bash\n\n/bin/bash is not available on all system","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/23c7205c06afa8822037bf4281f9f678ffc16993"},{"sha":"1394fbeda9a5a3c1569b0c6e7df3bada453c3d82","author":{"name":"Guillaume Massé","email":"c07d509a8737c55bf3426b5b88ca9dff6cb34fe6@gmail.com"},"message":"fetch z3 with nix so it works with nixos","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/1394fbeda9a5a3c1569b0c6e7df3bada453c3d82"},{"sha":"07645ca7dff68f07f35f62304f6c581a06c1131c","author":{"name":"Guillaume Massé","email":"c07d509a8737c55bf3426b5b88ca9dff6cb34fe6@gmail.com"},"message":"Update path to examples in getting started","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/07645ca7dff68f07f35f62304f6c581a06c1131c"},{"sha":"fbf284214a868fd7342a6eb22c1f712f8ed786d1","author":{"name":"Guillaume Massé","email":"c07d509a8737c55bf3426b5b88ca9dff6cb34fe6@gmail.com"},"message":"Documentation grammar and spelling","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/fbf284214a868fd7342a6eb22c1f712f8ed786d1"},{"sha":"5663f6bdbccc78f2f0d7674a9bd2c47df4252984","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Some more grammar and typos in docs","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/5663f6bdbccc78f2f0d7674a9bd2c47df4252984"},{"sha":"d33edec5b31818b4cdb4e863a9482b170c47b4a4","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Fix more existential warnings","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/d33edec5b31818b4cdb4e863a9482b170c47b4a4"}]}
{"actor":{"display_login":"jad-hamza"}}