{"push_id":674961914,"size":25,"distinct_size":25,"ref":"refs/heads/master","head":"25563e6884aed79e432970f684975b2cff8d0730","before":"7dd929141977205d50baa7b1429ba7dd7f58e7cd","commits":[{"sha":"549ec0e305ec6dc7ad8f6e17b062ac9f210a5ae0","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"List.apply should be Scala-executable. Fix leon.math not being @library","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/549ec0e305ec6dc7ad8f6e17b062ac9f210a5ae0"},{"sha":"72b2374ffc95ae106875b9b694f3e517adabd780","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Remove unused annotations","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/72b2374ffc95ae106875b9b694f3e517adabd780"},{"sha":"7252b1a90fbbd8e9721944e80db9d0a6777dfc44","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Simplify traverse a little","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/7252b1a90fbbd8e9721944e80db9d0a6777dfc44"},{"sha":"b8f50cc5b3ffdc4df2eee7d3bc6f28a068fb2f81","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Add Implies to TransformerWithPC","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/b8f50cc5b3ffdc4df2eee7d3bc6f28a068fb2f81"},{"sha":"b5f4f1285128eaae135a7326dd6f3aebba0ca5cb","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"simpler encoding of division","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/b5f4f1285128eaae135a7326dd6f3aebba0ca5cb"},{"sha":"36a4edc812e62b2b17b41dda13adb69829230325","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"correct implementation of div and mod in fairz3","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/36a4edc812e62b2b17b41dda13adb69829230325"},{"sha":"e586e6b6723c89650b5be7638b6d014b56e014ac","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"clean up some redundant testcases","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/e586e6b6723c89650b5be7638b6d014b56e014ac"},{"sha":"1b279a5d94ffefe1c80d6c1911e0fcc94dd80cea","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"clean up some scala2013 testcases","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/1b279a5d94ffefe1c80d6c1911e0fcc94dd80cea"},{"sha":"e38c4579792eaeec8c0d4f0d351f4ce6e321bed2","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"clean up more tests","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/e38c4579792eaeec8c0d4f0d351f4ce6e321bed2"},{"sha":"1c8958e421f7c86f43f93dd91d522879cd08feaa","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"reorganize verification testcases","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/1c8958e421f7c86f43f93dd91d522879cd08feaa"},{"sha":"b7dbed4d1018df302622d1cc498e56b91cc6fe2e","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"reorgainze sas2011 benchmarks","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/b7dbed4d1018df302622d1cc498e56b91cc6fe2e"},{"sha":"a0ac2ba6d1ceacd0445bcbc8ce6bf62d5fd9a97b","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"compiler subtestcases","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/a0ac2ba6d1ceacd0445bcbc8ce6bf62d5fd9a97b"},{"sha":"64c3a07c666a81128ec47b816c37d1471e3297d0","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"pldi2011 testcases moved to proper directory","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/64c3a07c666a81128ec47b816c37d1471e3297d0"},{"sha":"8b01cfead09490a59fc7ef1c9da69da0504bd196","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"some datastructure benchmark are actually algorithms","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/8b01cfead09490a59fc7ef1c9da69da0504bd196"},{"sha":"df0b3c86da932ef364f3fbb765eeeeec760442e5","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"update readme with new structure of testcases","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/df0b3c86da932ef364f3fbb765eeeeec760442e5"},{"sha":"3ad63474ccd8ee0bbad715abdc1d1d7ea4dde97b","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"math-like testcases","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/3ad63474ccd8ee0bbad715abdc1d1d7ea4dde97b"},{"sha":"12116bae7f03be38f188698172cab814c8f2867a","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Refactor boolean decorations, add ==>","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/12116bae7f03be38f188698172cab814c8f2867a"},{"sha":"8a87ef1cb4b31b49410aa23b7f32c44d236add1f","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fix identation","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/8a87ef1cb4b31b49410aa23b7f32c44d236add1f"},{"sha":"8a4501e3599acbac6a6f8677d71fbb1d11ff980f","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Add lib files to watcher","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/8a4501e3599acbac6a6f8677d71fbb1d11ff980f"},{"sha":"00b29af50b4c66199ac0f2eb336d159cb7dc38b4","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Crop preconditions when printing","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/00b29af50b4c66199ac0f2eb336d159cb7dc38b4"}]}