{"push_id":1946585741,"size":36,"distinct_size":36,"ref":"refs/heads/bddstab","head":"690424281b14d9560ae5a66a1afad36ed776aa2a","before":"229b5e483a4f3975c1cbceac2f1c6a28906367fc","commits":[{"sha":"1cd286683298eab81a7abbb58c437156dc1320f6","author":{"name":"Jonas Halstrup","email":"e71a7f94db72928e611e08ab32dde4f7f7d98e8e@Jonass-MacBook-Air.local"},"message":"added Bitwise support","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/1cd286683298eab81a7abbb58c437156dc1320f6"},{"sha":"45d4610c7ad6079fb04ac5628f1abd2b76738046","author":{"name":"Jonas Halstrup","email":"e71a7f94db72928e611e08ab32dde4f7f7d98e8e@Jonass-MacBook-Air.local"},"message":"Implemented placeholder implementations for classes that implement AbstractDomainElement. RTLNumber missing getTop","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/45d4610c7ad6079fb04ac5628f1abd2b76738046"},{"sha":"c762c0e3cdb3e1070f218ec299292f70b05fffdc","author":{"name":"Jonas Halstrup","email":"e71a7f94db72928e611e08ab32dde4f7f7d98e8e@Jonass-MacBook-Air.local"},"message":"RTLNumber will now go boom if when a bitwise operation is applied.","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/c762c0e3cdb3e1070f218ec299292f70b05fffdc"},{"sha":"7f55b926fe7d6ea773c63c9c7f32235b448a9fca","author":{"name":"David Engelhard","email":"925038c67b944c4b33d5661370ba28383fe2f71a@tuhh.de"},"message":"added gitignore","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/7f55b926fe7d6ea773c63c9c7f32235b448a9fca"},{"sha":"9d1c1413fcdd4e19ef12dcc7ce00b649bd2ec0b2","author":{"name":"Jonas Halstrup","email":"e71a7f94db72928e611e08ab32dde4f7f7d98e8e@Jonass-MacBook-Air.local"},"message":"deleted files","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/9d1c1413fcdd4e19ef12dcc7ce00b649bd2ec0b2"},{"sha":"87b8b4b62138c886729c891c47526c5617aaa5e2","author":{"name":"Jonas Halstrup","email":"e71a7f94db72928e611e08ab32dde4f7f7d98e8e@Jonass-MacBook-Air.local"},"message":"changed version number","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/87b8b4b62138c886729c891c47526c5617aaa5e2"},{"sha":"a7109d9145a53f810922110b56145e45c0158946","author":{"name":"Jonas Halstrup","email":"e71a7f94db72928e611e08ab32dde4f7f7d98e8e@Jonass-MacBook-Air.local"},"message":"Added Bitwise Negation support, missing jakstab test. Intervals tested","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/a7109d9145a53f810922110b56145e45c0158946"},{"sha":"d7f7b841e3274b99edd8eb548e6e14638c3b8580","author":{"name":"Jonas Halstrup","email":"e71a7f94db72928e611e08ab32dde4f7f7d98e8e@Jonass-MacBook-Air.local"},"message":"Changed return type of bitwise functions to intervalElement","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/d7f7b841e3274b99edd8eb548e6e14638c3b8580"},{"sha":"0b313de373e3c708e881d4f18d707a509cf6ef4e","author":{"name":"David Engelhard","email":"925038c67b944c4b33d5661370ba28383fe2f71a@tuhh.de"},"message":"first approach for interval set domain","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/0b313de373e3c708e881d4f18d707a509cf6ef4e"},{"sha":"2ccabf730149d69d69f3d499243c44c2bd5a6288","author":{"name":"David Engelhard","email":"925038c67b944c4b33d5661370ba28383fe2f71a@tuhh.de"},"message":"version rename","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/2ccabf730149d69d69f3d499243c44c2bd5a6288"},{"sha":"8dc01493683f22f7ad5a01643e9c15c64b538b31","author":{"name":"David Engelhard","email":"925038c67b944c4b33d5661370ba28383fe2f71a@tuhh.de"},"message":"implemented additional methods for IntervalSetElement","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/8dc01493683f22f7ad5a01643e9c15c64b538b31"},{"sha":"da296a5dcb2d7b6be9e351fb30cafd24badfbddc","author":{"name":"David Engelhard","email":"925038c67b944c4b33d5661370ba28383fe2f71a@tuhh.de"},"message":"added interval set implementations","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/da296a5dcb2d7b6be9e351fb30cafd24badfbddc"},{"sha":"f0d49edcdf8a867f80f81e25464aaa33599f93b9","author":{"name":"David Engelhard","email":"925038c67b944c4b33d5661370ba28383fe2f71a@tuhh.de"},"message":"merge with master","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/f0d49edcdf8a867f80f81e25464aaa33599f93b9"},{"sha":"ba6e50362928a373e6cd756fcd38243d9f6cdda5","author":{"name":"Sven Mattsen","email":"9d878b831e8ad202268d6003fc179621a34463a2@sven.cc"},"message":"fix bug, assert valid condition","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/ba6e50362928a373e6cd756fcd38243d9f6cdda5"},{"sha":"744d87d15b795a659b26ab53ea2c32d55c49e1e8","author":{"name":"Sven Mattsen","email":"9d878b831e8ad202268d6003fc179621a34463a2@sven.cc"},"message":"added bitwise methods for concrete RTLNumbers","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/744d87d15b795a659b26ab53ea2c32d55c49e1e8"},{"sha":"fcff9fa5c6c50f04b08e57a49fd538727f17070c","author":{"name":"Sven Mattsen","email":"9d878b831e8ad202268d6003fc179621a34463a2@sven.cc"},"message":"concretize top","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/fcff9fa5c6c50f04b08e57a49fd538727f17070c"},{"sha":"4914ba2b24a62caf8b5e83a115f20621580a0d42","author":{"name":"Sven Mattsen","email":"9d878b831e8ad202268d6003fc179621a34463a2@sven.cc"},"message":"changed toString to include bitWidth and fix bug with singletons","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/4914ba2b24a62caf8b5e83a115f20621580a0d42"},{"sha":"0f8e9f0d7ae9a77e159d88d9994f3564d6b4f3a2","author":{"name":"Sven Mattsen","email":"9d878b831e8ad202268d6003fc179621a34463a2@sven.cc"},"message":"added bot cases for bitwise operations","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/0f8e9f0d7ae9a77e159d88d9994f3564d6b4f3a2"},{"sha":"061b688af06782bc3e3589d26fd8fb4380f14b52","author":{"name":"Sven Mattsen","email":"9d878b831e8ad202268d6003fc179621a34463a2@sven.cc"},"message":"changed to RTLNumber return type (consistency)","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/061b688af06782bc3e3589d26fd8fb4380f14b52"},{"sha":"60f06a4ae7c981f0bad1eb6437dd85b76819daff","author":{"name":"Felix Lublow","email":"72cd6d657d3e76dd8a1a66b89ed48aaf05d02d93@tuhh.de"},"message":"a","distinct":true,"url":"https://api.github.com/repos/bigmac2k/jakstab/commits/60f06a4ae7c981f0bad1eb6437dd85b76819daff"}]}
{"actor":{"display_login":"bigmac2k"}}