{"push_id":939759912,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"4facf23d3c60bab5730fe207abeb9048e18ab9f8","before":"228490089ecd82c3beb8b3bb843d54125f99657f","commits":[{"sha":"b0ce1e45c60dd10dabb4c8416e37ba0c10069667","author":{"email":"ded982e702e07bb7b6effafdc353db3fe172c83f@me.not","name":"bagohart"},"message":"Tests fuer implicationchecker veervollstaendigt","distinct":true,"url":"https://api.github.com/repos/bagohart/acyclic-heap-theory-module/commits/b0ce1e45c60dd10dabb4c8416e37ba0c10069667"},{"sha":"66a8e65eacb912574a4c596159b9e0c756a0f04c","author":{"email":"ded982e702e07bb7b6effafdc353db3fe172c83f@me.not","name":"bagohart"},"message":"Kommentare zu tests in rules_spec.rb geadded","distinct":true,"url":"https://api.github.com/repos/bagohart/acyclic-heap-theory-module/commits/66a8e65eacb912574a4c596159b9e0c756a0f04c"},{"sha":"4186a5ac6128e364749af2cb435ddebac3234c93","author":{"email":"ded982e702e07bb7b6effafdc353db3fe172c83f@me.not","name":"bagohart"},"message":"Kommentar zu rules.rb geadded","distinct":true,"url":"https://api.github.com/repos/bagohart/acyclic-heap-theory-module/commits/4186a5ac6128e364749af2cb435ddebac3234c93"},{"sha":"4facf23d3c60bab5730fe207abeb9048e18ab9f8","author":{"email":"ded982e702e07bb7b6effafdc353db3fe172c83f@me.not","name":"bagohart"},"message":"rules uebergabe an lambdas geaendert","distinct":true,"url":"https://api.github.com/repos/bagohart/acyclic-heap-theory-module/commits/4facf23d3c60bab5730fe207abeb9048e18ab9f8"}]}