{"push_id":3144209717,"size":20,"distinct_size":5,"ref":"refs/heads/tmp/refactor/factor-out-object-allocation-from-object-factories","head":"a6677b09adbb582b9249b322d601a3de30756df4","before":"e75e2280eaffbae6d41af7247bf38ea3aeb9187a","commits":[{"sha":"6b4fd20a8f053161e03807e7092950afbe3718c3","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Avoid warning about unsigned/enum type mix in conditional expression\n\nThe enum values serve as bits in a bit field, convert them to unsigned.","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/6b4fd20a8f053161e03807e7092950afbe3718c3"},{"sha":"9b65b1a7618e8869b9ded7f8f8af33a8c1a78d03","author":{"name":"Thomas Spriggs","email":"ae5bc2cd4163d5dea5c5938abd1c3553f0b647a0@diffblue.com"},"message":"Add `-f` option to `test.pl` to forward the test description\n\nAdding this option enables the command called by `test.pl` to use name\nof the test in its processing. This is usefull where there are multiple\ntests in a directory and we want the command to write additional files\nbased on the name of the test.","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/9b65b1a7618e8869b9ded7f8f8af33a8c1a78d03"},{"sha":"9e35296322a4936e7008bbba18cb168e48a810f1","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"ieee_float_op_exprt should set the type","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/9e35296322a4936e7008bbba18cb168e48a810f1"},{"sha":"fef58a569832db1b252ac81528227ffe4c8238ff","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2_solver: add support for FloatingPoint theory","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/fef58a569832db1b252ac81528227ffe4c8238ff"},{"sha":"1d360a88ddd2745efbb91e13f6abf5592c0aa8ac","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3549 from diffblue/smt2_solver_fpa\n\nsmt2-solver: FPA","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/1d360a88ddd2745efbb91e13f6abf5592c0aa8ac"},{"sha":"b23c5c887e4e876a54eb638268647cac55334596","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2 parser: fix the two error messages for unknown symbols","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/b23c5c887e4e876a54eb638268647cac55334596"},{"sha":"af77440b9b7476b6635685080fe54503d73402e5","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3576 from diffblue/smt2-unknown-symbol\n\nsmt2 parser: fix the two error messages for unknown symbols","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/af77440b9b7476b6635685080fe54503d73402e5"},{"sha":"f5cb8b84886433e8b3ac01271ca439a1be3d5d68","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2: error() can now act as ostream\n\nThis is a somewhat unusual use of rvalue references to obtain very concise\nsyntax for a message stream for additional diagnosis for exception objects.\nThis avoids the creation of an explicit std::ostringstream object.","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/f5cb8b84886433e8b3ac01271ca439a1be3d5d68"},{"sha":"51fda76322297e743f504d15628c0d911f646f19","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3577 from diffblue/smt2_error_ostream\n\nsmt2: error() can now act as ostream","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/51fda76322297e743f504d15628c0d911f646f19"},{"sha":"d47a07cd5a7a06f27eed0e4d67bad3d576e38316","author":{"name":"Chris Smowton","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@smowton.net"},"message":"Simplifier: transform ((struct A)x).field1 into x.a.b.field2\n\nThis will take place if field1 and field2 have matching types and offsets within\nstruct A and the original struct type of 'x'. This is particularly important for the Java\nfrontend, where Java like \"Map m = new HashMap(); return m.size()\" will generate GOTO that\nextracts the class-identifier from a Map*, but Map* and HashMap* are likely not structurally\nequivalent (HashMap might have a superclass other than Object, or have fields above those\nposessed by Map (which is an interface in fact, so has none)).\n\nThat means value_set_dereferencet leaves us with an expression like\n((Map)dynamic_object1).@java.lang.Object.@class_identifier, which the simplifier can now\nhandle, enabling symex to determine the actual type is HashMap and so avoid exploring code\nthat is in truth unreachable.","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/d47a07cd5a7a06f27eed0e4d67bad3d576e38316"},{"sha":"69f54ca4f866ddb71eb3428c91c04be4ed8bf9ac","author":{"name":"thomasspriggs","email":"96cac31b1da6253599bd213cb98e1eac50f15240@users.noreply.github.com"},"message":"Merge pull request #3571 from thomasspriggs/tas/test_name\n\nAdd `-f` option to `test.pl` to forward the test description","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/69f54ca4f866ddb71eb3428c91c04be4ed8bf9ac"},{"sha":"53d786e513d0825bf4f339f846094e9f36516fe4","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2 backend: additional passing tests","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/53d786e513d0825bf4f339f846094e9f36516fe4"},{"sha":"1060c57786c42b35e35f5839c609046dcc3de506","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3562 from smowton/smowton/feature/simplify-truncating-cast\n\nSimplifier: transform ((struct A)x).field1 into x.a.b.field2","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/1060c57786c42b35e35f5839c609046dcc3de506"},{"sha":"78125af07d03c9a26ea9178dba4f36ac04e33e55","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3582 from diffblue/smt2-tests-pass\n\nsmt2 backend: additional passing tests","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/78125af07d03c9a26ea9178dba4f36ac04e33e55"},{"sha":"ffb3f6190be48b5db3d79d7f2da2d62b3f8a8457","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3353 from tautschnig/vs-enum-unsigned\n\nAvoid warning about unsigned/enum type mix in conditional expression [blocks: #2310]","distinct":false,"url":"https://api.github.com/repos/danpoe/cbmc/commits/ffb3f6190be48b5db3d79d7f2da2d62b3f8a8457"},{"sha":"fe7a19ee25d5ac6b87efec7cf01e360d0e5d4963","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Factor out object allocation code from object factories to util/allocate_objects.h/cpp","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/fe7a19ee25d5ac6b87efec7cf01e360d0e5d4963"},{"sha":"1b4a8f8d038e22aa3c849a93d94c4839364b21d5","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Use allocate_objectst in the c nondet object factory","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/1b4a8f8d038e22aa3c849a93d94c4839364b21d5"},{"sha":"aa052ad93d7f1b7130bb52a26ee65fb77741ae69","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Use allocate_objectst in the java object factory","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/aa052ad93d7f1b7130bb52a26ee65fb77741ae69"},{"sha":"017197f6b7d0caa7e92630a8254d4076106889bf","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Use allocate_objectst in java string library preprocessing","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/017197f6b7d0caa7e92630a8254d4076106889bf"},{"sha":"a6677b09adbb582b9249b322d601a3de30756df4","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"WIP conditional cast","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/a6677b09adbb582b9249b322d601a3de30756df4"}]}
{"actor":{"display_login":"danpoe"}}