{"push_id":2559841932,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"414e6efd65c85fff0ca4958c6acd5adbf779a4c5","before":"d8bdb8ec7e8296d683c61d4cd1054c51d9fad717","commits":[{"sha":"da7fa39e11f05e9f353bc205daf3907739a98236","author":{"name":"Norbert Manthey","email":"279c267bbb571478d638e6991cf81ee425b51dc8@conp-solutions.com"},"message":"gitignore: ignore build directory","distinct":true,"url":"https://api.github.com/repos/stp/stp/commits/da7fa39e11f05e9f353bc205daf3907739a98236"},{"sha":"7740efe911f0e56f47cb4b32440605b5cdb44db2","author":{"name":"Norbert Manthey","email":"279c267bbb571478d638e6991cf81ee425b51dc8@conp-solutions.com"},"message":"riss: add solver files\n\nRiss: fix for loop\n\nRiss: use capacity instead of growTo\n\nThe growTo function also sets the size, while capacity only gets the\ncapacity. As we want the latter, switch the used function.","distinct":true,"url":"https://api.github.com/repos/stp/stp/commits/7740efe911f0e56f47cb4b32440605b5cdb44db2"},{"sha":"0cbf30864ebb0128100abe72a9df68eae125702f","author":{"name":"Norbert Manthey","email":"279c267bbb571478d638e6991cf81ee425b51dc8@conp-solutions.com"},"message":"SAT: allow to build with Riss\n\nInstead of Minisat or CryptoMinisat, Riss could be used as backend. A build\ncommand could look as follows, where the variable RISS_DIR should point to\nthe base directory of Riss:\n\nmkdir -p build\ncd build\ncmake .. -DUSE_RISS=ON -DNOCRYPTOMINISAT=ON -DRISS_DIR=~/git/riss/\n\nFor the dynamic build, shared object files are required, that have to be\ncompiled with -fpic. As Riss does not offer a single .so file, split the\ncases.","distinct":true,"url":"https://api.github.com/repos/stp/stp/commits/0cbf30864ebb0128100abe72a9df68eae125702f"},{"sha":"4e2cbf0a4d133a891861a09660116ffa2aff02a0","author":{"name":"Norbert Manthey","email":"279c267bbb571478d638e6991cf81ee425b51dc8@conp-solutions.com"},"message":"travis: add RISS target\n\nDuring continuous testing, also build with Riss. Build statically linked\nfiles, so that -fpic is not required in Riss.","distinct":true,"url":"https://api.github.com/repos/stp/stp/commits/4e2cbf0a4d133a891861a09660116ffa2aff02a0"},{"sha":"13cb055d9e0239d908b431abe15b9b0ccada1999","author":{"name":"Norbert Manthey","email":"279c267bbb571478d638e6991cf81ee425b51dc8@conp-solutions.com"},"message":"SAT: add Riss as backend\n\nAs another SAT solver, Riss can be added. While the wrapper code has been\nadded already, this commit adds the links that allow to call a solver from\nthe STP code.","distinct":true,"url":"https://api.github.com/repos/stp/stp/commits/13cb055d9e0239d908b431abe15b9b0ccada1999"},{"sha":"414e6efd65c85fff0ca4958c6acd5adbf779a4c5","author":{"name":"Mate Soos","email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com"},"message":"Merge pull request #289 from conp-solutions/riss\n\nRiss","distinct":true,"url":"https://api.github.com/repos/stp/stp/commits/414e6efd65c85fff0ca4958c6acd5adbf779a4c5"}]}
{"actor":{"display_login":"msoos"}}