GitHub PushEvent at 2014-10-08 02:16:09
Repository: scalogno
Actor: TiarkRompf
Payload: {"shas":[["3f01080adc42deabcd032de864a8cedaacb4400a","6e1ae88d775ea20a03479b59f0641fc09d9b92b4@epfl.ch","proof generation in Z3, but code size explosion","Tiark Rompf",true],["b0f6471c53a5be71386309fd84ff3ceddd4c9a84","6e1ae88d775ea20a03479b59f0641fc09d9b92b4@epfl.ch","term gen in micro kanren","Tiark Rompf",true],["eb293c177c646d378777e228103ab657143b8c67","6e1ae88d775ea20a03479b59f0641fc09d9b92b4@epfl.ch","verifying functions with pre and post conditions","Tiark Rompf",true],["9b5fdbcdc0fc1048bd68cb544b207c84e9d2fd1a","6e1ae88d775ea20a03479b59f0641fc09d9b92b4@epfl.ch","minor","Tiark Rompf",true],["6ef5000560e43f66975c220cb24117bb9eccc180","6e1ae88d775ea20a03479b59f0641fc09d9b92b4@epfl.ch","assert and assume","Tiark Rompf",true],["5364caa2ec467987e7d8f1f321050ebaae18e934","6e1ae88d775ea20a03479b59f0641fc09d9b92b4@epfl.ch","minor experiments","Tiark Rompf",true]],"size":6,"ref":"refs/heads/master","head":"5364caa2ec467987e7d8f1f321050ebaae18e934"}