{"push_id":868721469,"size":3,"distinct_size":3,"ref":"refs/heads/next","head":"8a074ef84fd9ec7151149666b614ca75486475b0","before":"f05edc439fda81db98ce77c42530032c4a341b2b","commits":[{"sha":"fa37691f31aba99c5654e46ae07cceadb267e587","author":{"email":"c9b8e2bdfed0540bfc704002dc577590d0feb0f5@gmail.com","name":"Thomas Neele"},"message":"Added parser for CADP's EXP language (untested)","distinct":true,"url":"https://api.github.com/repos/ThomasNeele/ltsmin/commits/fa37691f31aba99c5654e46ae07cceadb267e587"},{"sha":"51568823928713b34e10c9cd25631f1379d7eebe","author":{"email":"c9b8e2bdfed0540bfc704002dc577590d0feb0f5@gmail.com","name":"Thomas Neele"},"message":"Preliminary work on EXP language front-end","distinct":true,"url":"https://api.github.com/repos/ThomasNeele/ltsmin/commits/51568823928713b34e10c9cd25631f1379d7eebe"},{"sha":"8a074ef84fd9ec7151149666b614ca75486475b0","author":{"email":"c9b8e2bdfed0540bfc704002dc577590d0feb0f5@gmail.com","name":"Thomas Neele"},"message":"Fixed some build errors when headers are not installed","distinct":true,"url":"https://api.github.com/repos/ThomasNeele/ltsmin/commits/8a074ef84fd9ec7151149666b614ca75486475b0"}]}