{"push_id":3031499161,"size":11,"distinct_size":11,"ref":"refs/heads/feature/well-formedness-checking","head":"2ac0397f3770a4ff2b74fc35eff9ea3a1448deb1","before":"906a4c81ccf3ed5b7a17817a21a854a40576f445","commits":[{"sha":"ddaa958cde8d3381820b4fbf2cf8d993a594df11","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add validation methods to exprt","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/ddaa958cde8d3381820b4fbf2cf8d993a594df11"},{"sha":"c88e9afb0d4ca5100979979b040f91da510c877d","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add and use validation methods in equal_exprt","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/c88e9afb0d4ca5100979979b040f91da510c877d"},{"sha":"8fc9c8a78acae267b1d6098113b2d0e1e84e1889","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add validation methods to typet","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/8fc9c8a78acae267b1d6098113b2d0e1e84e1889"},{"sha":"01731af6122a3c0494520bb42be553b02ffa59b9","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add and use validation methods in unsignedbv_typet","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/01731af6122a3c0494520bb42be553b02ffa59b9"},{"sha":"1bf592773cce41668552e31d8f591410e9c593cb","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add validation methods to codet","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/1bf592773cce41668552e31d8f591410e9c593cb"},{"sha":"3f6f5597ee78a7227670bb65c0981ceb349ec779","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add and use validation methods in code_assignt","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/3f6f5597ee78a7227670bb65c0981ceb349ec779"},{"sha":"6e71fb71b89ae3703cc425dd61a06b8702b10801","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add validate() methods to (components of) goto models","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/6e71fb71b89ae3703cc425dd61a06b8702b10801"},{"sha":"cd0b14acf6b5e20dc5b81eb73c8fc9c6ae016d49","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Validate goto models in cbmc (if enabled via command line flag)","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/cd0b14acf6b5e20dc5b81eb73c8fc9c6ae016d49"},{"sha":"880fc60800e3322426906e5fd324f1af5c3276dd","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Add check for well-formedness of assign instructions","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/880fc60800e3322426906e5fd324f1af5c3276dd"},{"sha":"cb798235b69fdac77bb199a156fd77d2dfedfd0c","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Validate goto models in goto-analyzer (if enabled via command line flag)","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/cb798235b69fdac77bb199a156fd77d2dfedfd0c"},{"sha":"2ac0397f3770a4ff2b74fc35eff9ea3a1448deb1","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Validate goto models in goto-instrument (if enabled via command line flags)\n\nThere are two flags: --validate-goto-binary reads in a goto binary and checks\nthat it is well formed and then exits; --validate-goto-model enables additional\nwell-formedness checks at various points during the execution of goto-instrument\nin addition to the normal analyses that it runs.","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/2ac0397f3770a4ff2b74fc35eff9ea3a1448deb1"}]}
{"actor":{"display_login":"danpoe"}}