{"push_id":2367930427,"size":16,"distinct_size":11,"ref":"refs/heads/coq","head":"8fcf3f39c296479b4f04e9b12c7a52dd435aad1f","before":"55e803f11bc42bed6a791be5087d99581ef45908","commits":[{"sha":"5e66d0f5bfa992abcfffa1e36299d422fd9802b3","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Added Mirco and Iulian to trusted users","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/5e66d0f5bfa992abcfffa1e36299d422fd9802b3"},{"sha":"c44b305170fcf3a9696ade84357fdd654d12bfca","author":{"name":"Marco Antognini","email":"c447b05dc6126a48a94248b731e9384afa08570c@gmail.com"},"message":"Use assembly to package all dependencies into one fat jar file\n\n(cherry picked from commit 9ef6e82c59e05048adcc889fff2242e769785190)","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/c44b305170fcf3a9696ade84357fdd654d12bfca"},{"sha":"1bc7e636e04e612987be9d9f3b3d333fbd287f54","author":{"name":"Mirco Dotta","email":"8cc646b378e1c00b91d414a08ee501d7c50357c1@gmail.com"},"message":"stainless-scalac can be used as a compiler plugin\n\n* Created a stainless scalac plugin that can be added to the the compiler\n  pipeline via the compiler option -Xplugin:<path>.\n\n* Mind that when using stainless as a compiler plugin no cashing is performed\n  (this because a new compiler Global instance is instantiated every time). This\n  limitation could be fixed by integrating the cache in a custom sbt\n  compiler-bridge - sbt allows to provide your own compiler-bridge via the\n  `scalaCompilerBridgeSource` setting).\n\n* The scalac plugin is a \"fat\" jar because it needs to include all dependencies\n  it needs (e.g., inox and friends). There is in fact no mechanism for including\n  third-party depenencies that are needed by the compiler (i.e., the compiler\n  classpath cannot be easily extended). However, the fact that a \"fat\" jar is used\n  shouldn't entail any problem because compiler plugins are run in their own\n  classloader, isolated from the compilation classpath. Hence, there is no risk of\n  clushes between the stainless compiler plugin classes included in the \"fat\" jar\n  and the compilation classpath.","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/1bc7e636e04e612987be9d9f3b3d333fbd287f54"},{"sha":"437f4e12773babba320e4a8ee753a98b9e32ef2c","author":{"name":"Mirco Dotta","email":"8cc646b378e1c00b91d414a08ee501d7c50357c1@gmail.com"},"message":"Externalized project's version\n\nThis makes it easier to know the project's current version.\n\nAlso, the on-development version should either be a SNAPSHOT or generated with\nthe hash appended. Going with the former option because it's a simple change,\nbut you can easily switch to the latter if you'd prefer so.","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/437f4e12773babba320e4a8ee753a98b9e32ef2c"},{"sha":"db37108bff8386e8281efcda72f80590b5d64077","author":{"name":"Mirco Dotta","email":"8cc646b378e1c00b91d414a08ee501d7c50357c1@gmail.com"},"message":"Created sbt-stainless plugin. Fix #155\n\n* When the `StainlessPlugin` is enabled on a sbt project, it automatically adds\n  the stainless compiler plugin to the compiler. Also, because stainless\n  requires the sources to run the verification, the source directories of the\n  project and the stainless-library-sources.jar are added to the sourcepath.\n\n* Because of the above, a `stainless-library` project was created so that the\n  `stainless-library-sources.jar` can be published.\n\n* The stainless sbt plugin currently expects that an external solver is\n  installed and available in the $PATH. To remove this limitation a scalaz3\n  dependency compatible with each supported os/architecture need to be published\n  somewhere.\n\n* A scripted test is included to test the sbt-stainless plugin works as\n  expected.\n\n* To simplify maintenance the Scala versions that stainless support are passed\n  from the project's build to the sbt-stainless plugin thanks to the\n  sbt-buildinfo plugin.\n\n* Currently, the sbt-stainless plugin targets sbt 0.13. However, it should be\n  relatively simple to cross build the plugin against sbt 1 as well. To make\n  this task as simple as possible the version of sbt used by the project was\n  bumped to 0.13.17 (as it contains some important fix for cross building sbt\n  plugins) and the project's build contains a comment hinting at what needs to\n  be done to support sbt 1.\n\n* No dotty support.","distinct":false,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/db37108bff8386e8281efcda72f80590b5d64077"},{"sha":"ab69274fb5a98a90818f2aa9f433cb92debcb975","author":{"name":"Jad Hamza","email":"a23f668b2d6659ec3ce89d888aa77c9398a4d3a8@example.com"},"message":"Starting translation to Coq","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/ab69274fb5a98a90818f2aa9f433cb92debcb975"},{"sha":"20b7fb6abd0abe916781a1788fff8b49dd79d786","author":{"name":"jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"Coq translation accepts some more constructs","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/20b7fb6abd0abe916781a1788fff8b49dd79d786"},{"sha":"f60f6b9615a62f3eb8d0f6c6053d139c35bdd1dd","author":{"name":"jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"Typos in debugging output","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/f60f6b9615a62f3eb8d0f6c6053d139c35bdd1dd"},{"sha":"44bca37f4c9d727c858cbface04f7aa9be6d7399","author":{"name":"jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"Error reporting","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/44bca37f4c9d727c858cbface04f7aa9be6d7399"},{"sha":"62bdbe3606579da852cfc433a68d6f6b975ca8e0","author":{"name":"Jad Hamza","email":"a23f668b2d6659ec3ce89d888aa77c9398a4d3a8@example.com"},"message":"Adding more constructs for the translation","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/62bdbe3606579da852cfc433a68d6f6b975ca8e0"},{"sha":"91ab7edaf6dfe40e6f0df3cb0f57412ee74a8dee","author":{"name":"Jad Hamza","email":"a23f668b2d6659ec3ce89d888aa77c9398a4d3a8@example.com"},"message":"Starting translation to Coq","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/91ab7edaf6dfe40e6f0df3cb0f57412ee74a8dee"},{"sha":"bcc967726513bf00c5a6dfaa63bb8b9957148fec","author":{"name":"Jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"conflicts","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/bcc967726513bf00c5a6dfaa63bb8b9957148fec"},{"sha":"9d3a7871806e8263ab16222d8056c7638bd89444","author":{"name":"jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"Remove VCKind for lambda preconditions","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/9d3a7871806e8263ab16222d8056c7638bd89444"},{"sha":"b9140f0c135aa3706690f1a9bf512935a373acac","author":{"name":"jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"added more constructors to the translation to Coq","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/b9140f0c135aa3706690f1a9bf512935a373acac"},{"sha":"8d6c3e96144663442e9091099c17181fb4449d10","author":{"name":"jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"AbstractRefinementMap in coq","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/8d6c3e96144663442e9091099c17181fb4449d10"},{"sha":"8fcf3f39c296479b4f04e9b12c7a52dd435aad1f","author":{"name":"Jad","email":"d34c9200da2e79387f4eb49bb03c3eab8dfd3a69@epfl.ch"},"message":"typos during merge","distinct":true,"url":"https://api.github.com/repos/jad-hamza/stainless/commits/8fcf3f39c296479b4f04e9b12c7a52dd435aad1f"}]}
{"actor":{"display_login":"jad-hamza"}}