{"push_id":3098773750,"size":14,"distinct_size":3,"ref":"refs/heads/smt2-get-assignment","head":"8ec189da2d54097df3434c6269b58d339e52633a","before":"dd0beb8d72b3316c430abcb3bc91a1ad84a5cb3c","commits":[{"sha":"ca5561557e02926f792b86d546eb2f35b58f465d","author":{"name":"Chris Smowton","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@smowton.net"},"message":"Space and bracket pretty-printed ternary conditionals\n\nAt the moment we get e.g. y == x == z?1:2, this changes that to y == (x == z ? 1 : 2)\nwhich makes the precedence clearer and spaces the operator more cleanly.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/ca5561557e02926f792b86d546eb2f35b58f465d"},{"sha":"d4d7af47f80f5a4bbc08ab2083482c289632af0b","author":{"name":"Chris Smowton","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@smowton.net"},"message":"Single-character strings -> chars","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/d4d7af47f80f5a4bbc08ab2083482c289632af0b"},{"sha":"76f0ec7d45c4dc90950a5425fdcb81830206340e","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Make validation mode parameter explicit in DATA_CHECK() macros","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/76f0ec7d45c4dc90950a5425fdcb81830206340e"},{"sha":"7429ac80a764acbdbbd57935eb0ff6e958683623","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Make validation mode parameter explicit in DATA_CHECK() macros","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/7429ac80a764acbdbbd57935eb0ff6e958683623"},{"sha":"eb0b86bef576c0a742a58d8a392b4cc17669d336","author":{"name":"Petr Bauch","email":"66621806d6d38b22ae3567ec29d15fb5936b761a@DB0276.ox.diffblue.com"},"message":"Well-formedness checking for SSA\n\nFollows the #3123 skeleton with additional checks in SSA_stept. Adds a condition\nsuch that renaming checks are only run with the validate option.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/eb0b86bef576c0a742a58d8a392b4cc17669d336"},{"sha":"c0ff0d0353a6aedcb7e2e11124cd28ec15ef0b10","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"consolidate memcpy tests in one directoy","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/c0ff0d0353a6aedcb7e2e11124cd28ec15ef0b10"},{"sha":"e0946d17afd54a50d4e1ab9f333d232ed1dce43b","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"memcpy/strncpy/strncat overlap check now allows single object\n\nFixes #3482","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/e0946d17afd54a50d4e1ab9f333d232ed1dce43b"},{"sha":"34df81a09b57a62df58c76eb2f08c244735ba969","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3483 from diffblue/memcpy_overlap\n\nfix memcpy overlap check","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/34df81a09b57a62df58c76eb2f08c244735ba969"},{"sha":"e62a14c57a32debde167813b33358be6b4ec0406","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3480 from danpoe/refactor/make-validation-mode-explicit-argument\n\nMake validation mode parameter explicit in DATA_CHECK macros [blocks #3287]","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/e62a14c57a32debde167813b33358be6b4ec0406"},{"sha":"a6e0660f7bd26998d066cfd4b08ff03bca3cdae2","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3287 from xbauch/feature/ssa_validate\n\nWell-formedness checking of SSA equation [depends on #3480]","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/a6e0660f7bd26998d066cfd4b08ff03bca3cdae2"},{"sha":"549d13823d8bbfc4975bf6b56aae1e2242e5969b","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3474 from smowton/smowton/feature/improve-ternary-printing\n\nSpace and bracket pretty-printed ternary conditionals","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/549d13823d8bbfc4975bf6b56aae1e2242e5969b"},{"sha":"d7c734223ca275d01ae9e68ca4b62fbbd64e1728","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2 tokenizer: keywords","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/d7c734223ca275d01ae9e68ca4b62fbbd64e1728"},{"sha":"07b0ef4e55b92fdca877f0d205e6626a37f4ced0","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2 parser: term attributes","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/07b0ef4e55b92fdca877f0d205e6626a37f4ced0"},{"sha":"8ec189da2d54097df3434c6269b58d339e52633a","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2: implemented get-assignment","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/8ec189da2d54097df3434c6269b58d339e52633a"}]}
{"actor":{"display_login":"kroening"}}