{"push_id":2622851112,"size":9,"distinct_size":2,"ref":"refs/heads/macosx-mixed-ci","head":"48cf404d62ddfe95eed93f17c4076de5e4bdecc6","before":"348a46bfce1d98fcba26afeaa6e12ae37a69824c","commits":[{"sha":"657c01ea4a0533a9f79526888a36d8f170a24806","author":{"name":"Radomir Stevanovic","email":"79741d43b51cf00b33f49dedf25bf832430bea4f@dwavesys.com"},"message":"Fix pysmt CLI for Python3 (closes #492)\n\nTo append `dict_keys` to `list`, need to explicitly convert them.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/657c01ea4a0533a9f79526888a36d8f170a24806"},{"sha":"10f1e8b5395d3bea8b840e6e7f4505a741e99cfd","author":{"name":"Radomir Stevanovic","email":"79741d43b51cf00b33f49dedf25bf832430bea4f@dwavesys.com"},"message":"Use relative SO lookup for mathsat extension\n\nOn linux, e.g. this translates to using `--rpath=$ORIGIN` for\n`_mathsat` extension binary, so `libmathsat.so` is found in `bindings_dir`,\nwithout the need to set `LD_LIBRARY_PATH`.\n\nOn Windows, DLL loading happens relative to the binary anyway.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/10f1e8b5395d3bea8b840e6e7f4505a741e99cfd"},{"sha":"050120bd571a58447329b5e126e04e192f969c14","author":{"name":"Radomir Stevanovic","email":"79741d43b51cf00b33f49dedf25bf832430bea4f@dwavesys.com"},"message":"Install z3 libs so they can be discovered automatically\n\nEliminate the need for setting `LD_LIBRARY_PATH`, `builtins.Z3_LIB_DIRS`,\n`Z3_LIBRARY_PATH`, or `PATH` env vars.","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/050120bd571a58447329b5e126e04e192f969c14"},{"sha":"e93f4b43a697485af02f23401ce6eb682d1160c0","author":{"name":"Radomir Stevanovic","email":"79741d43b51cf00b33f49dedf25bf832430bea4f@dwavesys.com"},"message":"Omit PATH/LD_LIBRARY_PATH from --env output\n\nNot needed anymore (since z3/msat now automagically discover SO/DLL).","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/e93f4b43a697485af02f23401ce6eb682d1160c0"},{"sha":"b3b1bae7407c2362570742a84a70181a8f9a4077","author":{"name":"Radomir Stevanovic","email":"79741d43b51cf00b33f49dedf25bf832430bea4f@dwavesys.com"},"message":"Fix mathsat build on windows (-R $ORIGIN is default and not supported)","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/b3b1bae7407c2362570742a84a70181a8f9a4077"},{"sha":"3f8eb63eba0e4e9530c7e7a0c265b88fa7e25457","author":{"name":"Andrea Micheli","email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com"},"message":"Merge pull request #493 from randomir/fix-pysmt-cli-python3-issue-492\n\nFix pysmt CLI for Python3 (closes #492)","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/3f8eb63eba0e4e9530c7e7a0c265b88fa7e25457"},{"sha":"b1c2fa96cc5a9238303b28ff5fb78533a356e9d5","author":{"name":"Andrea Micheli","email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com"},"message":"Merge pull request #494 from randomir/simplify-shared-lib-usage\n\nSimplify shared lib usage","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/b1c2fa96cc5a9238303b28ff5fb78533a356e9d5"},{"sha":"e29fbcc9c6fca49b48a9a57f45d0ff7f74454cfc","author":{"name":"MikAnd","email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com"},"message":"Merge branch 'master' into macosx-mixed-ci","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/e29fbcc9c6fca49b48a9a57f45d0ff7f74454cfc"},{"sha":"48cf404d62ddfe95eed93f17c4076de5e4bdecc6","author":{"name":"MikAnd","email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com"},"message":"Trying to debug problem with z3","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/48cf404d62ddfe95eed93f17c4076de5e4bdecc6"}]}
{"actor":{"display_login":"mikand"}}