{"push_id":726123800,"size":8,"distinct_size":8,"ref":"refs/heads/dev","head":"2c9202f29e548fdc45219af1c5adbaf317cb1c84","before":"f8f9fd3975ebe62ecd9838aa7261fb0c57df614f","commits":[{"sha":"73745a94db041f1aec20f8176ceeb7ccde6eb994","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Removed reverse suffix transitions from oracle to adjacency (list/matrix) conversion","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/73745a94db041f1aec20f8176ceeb7ccde6eb994"},{"sha":"f8b1f7df66489e1542b1f948b3cf47ca41910f32","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Removed vmo/logics/model_checking/ submodule, moved to vmo/logics/model_checking.py","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/f8b1f7df66489e1542b1f948b3cf47ca41910f32"},{"sha":"ee35380c262f043fbedbe3dbdb3b4616079fe14e","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Added cadence-property generation","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/ee35380c262f043fbedbe3dbdb3b4616079fe14e"},{"sha":"1c71e4819d73802ea1e43f30ecd1536fba59ed5c","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Automated search of nuXmv's executabe path","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/1c71e4819d73802ea1e43f30ecd1536fba59ed5c"},{"sha":"e7b2b5df666b352a29b719bc1d14249880903202","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Fixed some bugs in path generation (invalid casting to int and naming incoherency)","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/e7b2b5df666b352a29b719bc1d14249880903202"},{"sha":"b6bc5ddf751f5da6fafc1a2266a0bdf717e94e2b","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Updated pitch classes: None renamed to p_Init, p_Silence created.","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/b6bc5ddf751f5da6fafc1a2266a0bdf717e94e2b"},{"sha":"c15d99b2a1375594d933f76fd13bc2ef3dd01a0d","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Added first version of generic module exporting model-checking functions","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/c15d99b2a1375594d933f76fd13bc2ef3dd01a0d"},{"sha":"2c9202f29e548fdc45219af1c5adbaf317cb1c84","author":{"email":"df9ce156c776cb31fb30db96411e5e1f64d98205@ens-cachan.fr","name":"tbazin"},"message":"Minor cosmetic update, removed useless commentary","distinct":true,"url":"https://api.github.com/repos/wangsix/vmo/commits/2c9202f29e548fdc45219af1c5adbaf317cb1c84"}]}