{"push_id":1090926180,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"38c17f94a4127347c6fbf83bd8306361b94c39aa","before":"4b201268d8b70c0f0dd7651cbd8ee4008c443ed2","commits":[{"sha":"183a08c271b0993249e2848c3daba41f3d15861c","author":{"email":"36c2156820dc989a679c6c6c0f3c8183ba81f72e@cs.ucsb.edu","name":"Kyle Dewey"},"message":"Now ensure that true and false must be mapped to atoms.","distinct":true,"url":"https://api.github.com/repos/kyledewey/swipl-z3/commits/183a08c271b0993249e2848c3daba41f3d15861c"},{"sha":"5414a17977b13c85135203add324f3f8feb829b0","author":{"email":"36c2156820dc989a679c6c6c0f3c8183ba81f72e@cs.ucsb.edu","name":"Kyle Dewey"},"message":"Bunched related parameters together into TranslationState.","distinct":true,"url":"https://api.github.com/repos/kyledewey/swipl-z3/commits/5414a17977b13c85135203add324f3f8feb829b0"},{"sha":"38c17f94a4127347c6fbf83bd8306361b94c39aa","author":{"email":"36c2156820dc989a679c6c6c0f3c8183ba81f72e@cs.ucsb.edu","name":"Kyle Dewey"},"message":"Mapping true/false now goes in both directions","distinct":true,"url":"https://api.github.com/repos/kyledewey/swipl-z3/commits/38c17f94a4127347c6fbf83bd8306361b94c39aa"}]}