{"push_id":2781774193,"size":6,"distinct_size":4,"ref":"refs/heads/laws-checking","head":"6658805b1fb2c3018f69308027d53d0ae1a956e8","before":"453aa57337425eb19e84e4d8440ee42ea56936ce","commits":[{"sha":"f67c4f5c72981761cd1267614cf9899aedcde245","author":{"name":"Romain Ruetschi","email":"f1df6bd8daa2518058df14df5718266f760f8062@gmail.com"},"message":"Fix bug where models for counter-examples to @extern functions were deemed invalid","distinct":false,"url":"https://api.github.com/repos/romac/stainless/commits/f67c4f5c72981761cd1267614cf9899aedcde245"},{"sha":"80183e759acdfb78c7a3c9de2564c772fa6131e3","author":{"name":"Romain Ruetschi","email":"f1df6bd8daa2518058df14df5718266f760f8062@gmail.com"},"message":"Address code review comments","distinct":false,"url":"https://api.github.com/repos/romac/stainless/commits/80183e759acdfb78c7a3c9de2564c772fa6131e3"},{"sha":"7c374455941fa0749c1e4db15cd65a0bb3ae9f07","author":{"name":"Romain Ruetschi","email":"f1df6bd8daa2518058df14df5718266f760f8062@gmail.com"},"message":"Add support for super calls\n\nThis new phase transforms super calls into concrete method calls.\n\nIt does so by duplicating every method that is being referenced in\na super call, and rewriting the original method to call the duplicate.\n\nThis way it becomes possible to call a specific method in the class hierarchy,\nas one would otherwise always end up calling the dispatching method that will\nbe introduced during method lifting.\n\nFor example, the following code:\n\n```scala\nabstract class A {\n  def bar: BigInt = 41\n}\n\nabstract class B extends A\n\nabstract class C extends B {\n  override def bar: BigInt = super.bar + 1\n}\n\ncase class D() extends C {\n  override def bar: BigInt = super.bar * 10\n}\n```\n\nis tranformed into:\n\n```scala\nabstract class A {\n  def bar: BigInt = A$bar\n\n  def A$bar: BigInt = 41\n}\n\nabstract class B extends A\n\nabstract class C extends B {\n  override def bar: BigInt = C$bar\n\n  def C$bar: BigInt = A$bar + 1\n}\n\ncase class D() extends C {\n  override def bar: BigInt = C$bar * 10\n}\n```","distinct":true,"url":"https://api.github.com/repos/romac/stainless/commits/7c374455941fa0749c1e4db15cd65a0bb3ae9f07"},{"sha":"eec149e842821e027694c815bc5389c561011da1","author":{"name":"Romain Ruetschi","email":"f1df6bd8daa2518058df14df5718266f760f8062@gmail.com"},"message":"Add ability to model datatypes with laws as proof objects","distinct":true,"url":"https://api.github.com/repos/romac/stainless/commits/eec149e842821e027694c815bc5389c561011da1"},{"sha":"dc8293352c958c1c4668b5f6d1eeca4faa071c9f","author":{"name":"Romain Ruetschi","email":"f1df6bd8daa2518058df14df5718266f760f8062@gmail.com"},"message":"Enable non-bijective type hierarchies","distinct":true,"url":"https://api.github.com/repos/romac/stainless/commits/dc8293352c958c1c4668b5f6d1eeca4faa071c9f"},{"sha":"6658805b1fb2c3018f69308027d53d0ae1a956e8","author":{"name":"Romain Ruetschi","email":"f1df6bd8daa2518058df14df5718266f760f8062@gmail.com"},"message":"Disable broken benchmark in CodeGen test suite","distinct":true,"url":"https://api.github.com/repos/romac/stainless/commits/6658805b1fb2c3018f69308027d53d0ae1a956e8"}]}
{"actor":{"display_login":"romac"}}