{"push_id":746823926,"size":46,"distinct_size":0,"ref":"refs/heads/master","head":"a5d59f27bcdcb241d3c08c941ae4b019e48a038e","before":"bf903b848358072964fb5f130c6a5a9f5c3291a3","commits":[{"sha":"0764d09fc6c4ce2f6187a05f3f1839ac0eaa67b9","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"graphconf -> general conf","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/0764d09fc6c4ce2f6187a05f3f1839ac0eaa67b9"},{"sha":"17aec115ead7064f9c97ff5ef79b4f877c4714df","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"CONFIGURE sat solver","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/17aec115ead7064f9c97ff5ef79b4f877c4714df"},{"sha":"1e34e706dc79a543f052a673d4590d66bcebc7e7","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"USE sat solver (only SAT4J works)","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/1e34e706dc79a543f052a673d4590d66bcebc7e7"},{"sha":"7d49e8421d27fc17aa28d8eb64e3c2472db3063d","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"improved renaming","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/7d49e8421d27fc17aa28d8eb64e3c2472db3063d"},{"sha":"73d8312fdb4c545c8f56ad135656c9bdac5e3a07","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"cosmetic ; at the end of a closure","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/73d8312fdb4c545c8f56ad135656c9bdac5e3a07"},{"sha":"0ec3ec795301fa10e6b0362f14a8ddb6ca807ff5","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"Temporarily sln to store the state in the URL","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/0ec3ec795301fa10e6b0362f14a8ddb6ca807ff5"},{"sha":"6dcf933ac05a4130e04c32a68b92fd04ebe27f84","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"using viz-js","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/6dcf933ac05a4130e04c32a68b92fd04ebe27f84"},{"sha":"43fc742543b7d3f84b1aa0984d9c1dd0fb429127","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"the viz-js library","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/43fc742543b7d3f84b1aa0984d9c1dd0fb429127"},{"sha":"240595a9d302fdb7a266f0321a7c61a95e7c01fa","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"experiments graphviz + d3","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/240595a9d302fdb7a266f0321a7c61a95e7c01fa"},{"sha":"a2f8b9765dc2e5ee9114a2dd69d7f80d6aa3e37b","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"exp","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/a2f8b9765dc2e5ee9114a2dd69d7f80d6aa3e37b"},{"sha":"e38b4b659280832227a753c58731e6aa1db5b7db","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"setparent","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/e38b4b659280832227a753c58731e6aa1db5b7db"},{"sha":"856770c10cb87b53aaabae74e8f8b4c92421cc98","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"doc","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/856770c10cb87b53aaabae74e8f8b4c92421cc98"},{"sha":"4705901e54d40eeea10d51722a02df3ca4a6b3fb","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"skolem constants","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/4705901e54d40eeea10d51722a02df3ca4a6b3fb"},{"sha":"a05b04534b80e4d89d2b662b69c7e4ee79efc1cd","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"typesystem","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/a05b04534b80e4d89d2b662b69c7e4ee79efc1cd"},{"sha":"e3c19c25b8ea2e9f322b551b971375d2c3052ad5","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"improve","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/e3c19c25b8ea2e9f322b551b971375d2c3052ad5"},{"sha":"9cf0da22d9d8438424e9c5c99e48facaaec7cd02","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"basic graph","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/9cf0da22d9d8438424e9c5c99e48facaaec7cd02"},{"sha":"a132396193a6f7f9d17f3b293d85edfef518da3b","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"doc","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/a132396193a6f7f9d17f3b293d85edfef518da3b"},{"sha":"930fc411e92c7c075c8f67811181c89b76d24064","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":";","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/930fc411e92c7c075c8f67811181c89b76d24064"},{"sha":"b4926b151314bb7e7876f00fda512f80be13ba61","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"wip","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/b4926b151314bb7e7876f00fda512f80be13ba61"},{"sha":"45cb008fd9d901c33df59dfc53c2b8022ea4c223","author":{"email":"5f8ef5970278d5a5a89b1c3b67715050b65d6a53@gmail.com","name":"Xavier GILLARD"},"message":"wip","distinct":false,"url":"https://api.github.com/repos/xgillard/web_alloy/commits/45cb008fd9d901c33df59dfc53c2b8022ea4c223"}]}