GitHub PushEvent at 2014-09-30 23:00:21
Repository: overture
Actor: peterwvj
Payload: {"shas":[["89fe7646d127abfae4aecebe2d24a0805704a40b","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Minor corrections to test results related to generation of pre and post conditions","Peter Joergensen",true],["6fe07ccb8afddd2b81eb3ce4c373ffb694d4c7f6","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added two tests to exercise generation of post conditions for functions","Peter Joergensen",true],["02fd86f9ed380023341e03855c01bdbf4b52a8ed","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Updated the Java codegen runtime with a method to handle checking of post conditions","Peter Joergensen",true],["a76d85116cdb0a366715f598a2cd4fe55a22a51d","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Updated the transformation assistant with functionality to assist the pre and post condition related transformations","Peter Joergensen",true],["82a2476860cb0fdbc96c4e396fb0b6853db1ca79","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Minor fix: Forgot to flag the toString methods of classes as non-constructors","Peter Joergensen",true],["2488aa4f40025fcace86a060b42fae84a1ec45c7","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Refactoring of preCheck transformation","Peter Joergensen",true],["95854d3c99c7874fcc5b9df62ce1e86a0a6b344f","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added functionality to construct the code generated post condition check for functions","Peter Joergensen",true],["9a2d6c95a4beb4fac3bee5a7036816066013b409","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added transformation to generate the post check for functions","Peter Joergensen",true],["9a6097d4d1e439b0e2f89d2c9335ea93587d9641","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Minor fix: The class type of the explicit variable can also be an external type.","Peter Joergensen",true],["e0e26e110340a193fc13e93a368d3e435da6422c","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added the post check transformation for functions to the Java code generator","Peter Joergensen",true]],"size":10,"ref":"refs/heads/pvj/main","head":"e0e26e110340a193fc13e93a368d3e435da6422c"}