{"push_id":888534402,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"ca02bff546eca79e259eda17b85e3ebdc27d9cd4","before":"537de056c75dafa86e94fab6982fb30de5e2767c","commits":[{"sha":"63a17a3f484b631779433ccb5ea1460ef6f71b08","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"feat(library/data/bool): Add bxor definition","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/63a17a3f484b631779433ccb5ea1460ef6f71b08"},{"sha":"42afd8958308bd268c00ce21fbbb183244da3c15","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"feat(library/data/list): Add additonal list combinators.","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/42afd8958308bd268c00ce21fbbb183244da3c15"},{"sha":"e4c839f3626c95d71549bc6fc732c84392f0d89c","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"feat(library/data/tuple): Add tuple combinators","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/e4c839f3626c95d71549bc6fc732c84392f0d89c"},{"sha":"3fddca81b57286266fc8206b01746a43080a1d39","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"feat(library/data/bv): Add preliminary bitvector ops.","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/3fddca81b57286266fc8206b01746a43080a1d39"},{"sha":"5cf6e18af0b68e099d5a4761d859452c5e7b971f","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"refactor(library/data/bv): Cleanup formatting inconsistencies","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/5cf6e18af0b68e099d5a4761d859452c5e7b971f"},{"sha":"fd1999a97fa4452e87cbceaf088faee1a3871832","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"feat(library/data/bv): Add signed/unsigned comparisons.","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/fd1999a97fa4452e87cbceaf088faee1a3871832"},{"sha":"3574ad1f110293b3ccd55e330bfc5c8bf84d72a3","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"style(library/data/bv): Simplify from_bv and bv_mul","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/3574ad1f110293b3ccd55e330bfc5c8bf84d72a3"},{"sha":"719a78d541facf8718da0f7c4682eb9908c46f90","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"style(library/data/bv): Use syntax for dite","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/719a78d541facf8718da0f7c4682eb9908c46f90"},{"sha":"ca02bff546eca79e259eda17b85e3ebdc27d9cd4","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"style(library/data/bv): Use syntax for dite","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/ca02bff546eca79e259eda17b85e3ebdc27d9cd4"}]}