{"push_id":772280773,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"31cf3474f52d3afe5c1ad293193bbfe2bcdaf812","before":"a71c19e3cba5a3273a162b3556b0293f57872c29","commits":[{"sha":"df78872466e5efe4cb57a17ca12c9edaa9fcc813","author":{"email":"361483e2210ebab03c24bcdfaeee66ce5da027f3@stud.tu-darmstadt.de","name":"Daniel Lehmann"},"message":"added a FreshName generator class","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/df78872466e5efe4cb57a17ca12c9edaa9fcc813"},{"sha":"c1f749c1a1b754d4bd4d2055c54cd63a30d743a3","author":{"email":"361483e2210ebab03c24bcdfaeee66ce5da027f3@stud.tu-darmstadt.de","name":"Daniel Lehmann"},"message":"using the FreshNames generator in GenerateCtorAxioms instead of the hacky previous way, changed ModuleTransformation API: one ModuleDef -> Seq[ModuleDef]","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/c1f749c1a1b754d4bd4d2055c54cd63a30d743a3"},{"sha":"31cf3474f52d3afe5c1ad293193bbfe2bcdaf812","author":{"email":"361483e2210ebab03c24bcdfaeee66ce5da027f3@stud.tu-darmstadt.de","name":"Daniel Lehmann"},"message":"made ModuleDefTransformation.apply a PartialFunction (all inputs it is not defined on are just handed through)","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/31cf3474f52d3afe5c1ad293193bbfe2bcdaf812"}]}