{"push_id":581959342,"size":19,"distinct_size":19,"ref":"refs/heads/master","head":"a0daaf77077928145effe3eaef3dbcec1e02b5f5","before":"ce1ff2534434a4f457807c8cec38719f7e7916ab","commits":[{"sha":"32aa6eda79d2c58039445ca77b207268afb0b957","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"implemented focusVariables feature","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/32aa6eda79d2c58039445ca77b207268afb0b957"},{"sha":"a32d6565e6670614824d3a529c5537a3e5d38088","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"implemented loading of additional constraints","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/a32d6565e6670614824d3a529c5537a3e5d38088"},{"sha":"379c1b8f468e6ded6ce014cf3b45bef4fd027210","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"bugfix","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/379c1b8f468e6ded6ce014cf3b45bef4fd027210"},{"sha":"eec418bcaf28424dc59cacd71462a48b6dad9665","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"multiple files with additional constraints","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/eec418bcaf28424dc59cacd71462a48b6dad9665"},{"sha":"7665ab934d36fe5b2a2d8937d1b3cff70b2ad622","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"DIMACS lines starting with // are ignored (comments)","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/7665ab934d36fe5b2a2d8937d1b3cff70b2ad622"},{"sha":"176c1eb7ffa82e09f042919200df9825f62eccfd","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"bugfixes","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/176c1eb7ffa82e09f042919200df9825f62eccfd"},{"sha":"cf0a8d6baef39ee0d0ac8db6eb5526d27ab12264","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"bugfixes","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/cf0a8d6baef39ee0d0ac8db6eb5526d27ab12264"},{"sha":"bc969c2159088f0f232fc74d35459effa7011e04","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"hideUnderscoreVariables for horizontal output","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/bc969c2159088f0f232fc74d35459effa7011e04"},{"sha":"2fa6cb58c7a7578655fe9247ac449f3e3caa6e66","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"Exception if focus Variables file is empty or cannot be loaded","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/2fa6cb58c7a7578655fe9247ac449f3e3caa6e66"},{"sha":"441be739b38ed5f544c0b114fc52841bcb018700","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"bugfix in hideUnderscoreVariables","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/441be739b38ed5f544c0b114fc52841bcb018700"},{"sha":"09c85a7ae7c8974f6ecf26100636a3b2e7b882ca","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"Simple algorithm for allSat","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/09c85a7ae7c8974f6ecf26100636a3b2e7b882ca"},{"sha":"354abab1acbb4c461b8ec1a14aa61dee5f8ade86","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"fix for dimacs files with special chars in variable names","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/354abab1acbb4c461b8ec1a14aa61dee5f8ade86"},{"sha":"fa8fdfe8a8917bda5bf351d5918bd28839170400","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"commented a call to a SAT4J configuration function that seems to be missing","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/fa8fdfe8a8917bda5bf351d5918bd28839170400"},{"sha":"f68dab5502e2bea78b56cbd74b397567befb7d03","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"classpath issues","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/f68dab5502e2bea78b56cbd74b397567befb7d03"},{"sha":"8b6d5f70587e01048a61d36d9ae7055f4f9719d4","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"fix for dimacs models with 0 constraints","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/8b6d5f70587e01048a61d36d9ae7055f4f9719d4"},{"sha":"dfda0d5a8c5d3dbab92eadfa2df8c965faa02ef2","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"added clause (Av!A) for variables that were not used in the expression before","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/dfda0d5a8c5d3dbab92eadfa2df8c965faa02ef2"},{"sha":"5273a89a512db4f861c70db99160fc9c536fe5f2","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"error message if unknown variable is used in \"moreConfigurations\"","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/5273a89a512db4f861c70db99160fc9c536fe5f2"},{"sha":"4e74afd7da04a7ab2fdb30d1c17f04f8e32e012f","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"removed debug println","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/4e74afd7da04a7ab2fdb30d1c17f04f8e32e012f"},{"sha":"a0daaf77077928145effe3eaef3dbcec1e02b5f5","author":{"email":"9a1baab8f4e4bb48f95d80a8bf045d10bc04b1aa@fim.uni-passau.de","name":"rhein"},"message":"added bin directories to gitignore","distinct":true,"url":"https://api.github.com/repos/alexrhein/SPLCATool/commits/a0daaf77077928145effe3eaef3dbcec1e02b5f5"}]}