{"push_id":1970419584,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"7114ab823a3308cc6b936517507a6cb268558f4b","before":"0f451b56df4d07730b3d58b6bef84d3fe726f817","commits":[{"sha":"d4566213f7de7df46726317950575ecac6c3378f","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"improved Term normalization, we attempt to convert all base terms to an AffineTerm, and if that does not work, into CommuHashNormalForm, #159","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/d4566213f7de7df46726317950575ecac6c3378f"},{"sha":"7114ab823a3308cc6b936517507a6cb268558f4b","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"bugfixes\n - script locking\n - AffineTermTransformer does not return an AffineTerm if fed with a TermVariabel -- needed to catch that case\n#159","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/7114ab823a3308cc6b936517507a6cb268558f4b"}]}
{"actor":{"display_login":"alexandernutz"}}