{"push_id":1452638499,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d073df25a02e6192fbf3ca895ac551016cebbea6","before":"29ada4b2996f65e84e486b87f8c0632405508ea6","commits":[{"sha":"d073df25a02e6192fbf3ca895ac551016cebbea6","author":{"name":"dwightguth","email":"7d3a0c118f81fb4cf525a510f44c4b7db33ffef0@runtimeverification.com"},"message":"Several small fixes for code provided by DENSO (#312)\n\n* fix -c with multiple files\r\n\r\n* Revert \"New pragmas.\"\r\n\r\nThis reverts commit e9b6ede23253a0a33b1a6a32d456496a3d513c19.\r\n\r\n* fix bugs resulting from evaluating denso code\r\n\r\n* ignore all pragmas instead of generating tokens: we can whitelist certain pragmas later as we implement them","distinct":true,"url":"https://api.github.com/repos/kframework/c-semantics/commits/d073df25a02e6192fbf3ca895ac551016cebbea6"}]}
{"actor":{"display_login":"rv-jenkins"}}