{"push_id":1206222263,"size":138,"distinct_size":0,"ref":"refs/heads/master","head":"b94303d198b35dd08d5f76cc852684b80f1a1e25","before":"9dc4a822de0a2380eb01dc742a158f831d6c5103","commits":[{"sha":"32d4cb561ed106309de7704e5f65d274341d4171","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Plant model construction: initial commit.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/32d4cb561ed106309de7704e5f65d274341d4171"},{"sha":"ca93269ca446c199604b74fded9ed7e827ce9a24","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Simplified the FST class.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/ca93269ca446c199604b74fded9ed7e827ce9a24"},{"sha":"d02ea2386466e5bf5f20517e2dc4b392cf7c0dcc","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Got rid of the FST class.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/d02ea2386466e5bf5f20517e2dc4b392cf7c0dcc"},{"sha":"6edc0c89b6f74b47cbee240550473209b6c5c70e","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Simplified the verifier even more.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/6edc0c89b6f74b47cbee240550473209b6c5c70e"},{"sha":"2b2f15739815561d35e4e41c89a179e8c3442bcf","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Simplified the verifier even more.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/2b2f15739815561d35e4e41c89a179e8c3442bcf"},{"sha":"f1fea5a05a4e71cf952f31af4b2c40bb48c5fe5a","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Fix.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/f1fea5a05a4e71cf952f31af4b2c40bb48c5fe5a"},{"sha":"a0a241f74be29e09caadd420f5c291e82a3c4c38","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"LTL support for plant model construction.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/a0a241f74be29e09caadd420f5c291e82a3c4c38"},{"sha":"0642f25c1a5fb96aca8b1704c27a4ab695d4bebc","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Looping counterexample support.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/0642f25c1a5fb96aca8b1704c27a4ab695d4bebc"},{"sha":"16713db83848f6d651ed759d4d560d4449d60c9e","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Removed ognl source files and migrated to the jar library.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/16713db83848f6d651ed759d4d560d4449d60c9e"},{"sha":"a81bd38712745f9fca08d0763df79a9e8990acc6","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Jar file for plant generator.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/a81bd38712745f9fca08d0763df79a9e8990acc6"},{"sha":"eca7d7b13bc9e4e2c803198b30e6c30ec8870901","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"WaterProcess example.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/eca7d7b13bc9e4e2c803198b30e6c30ec8870901"},{"sha":"3d8d2162aa66dfcf028e750483bab8d4eb6e1133","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@anomaly"},"message":"Improved the specification for LIC100.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/3d8d2162aa66dfcf028e750483bab8d4eb6e1133"},{"sha":"42515f424c1d003c37ff919b904648af4e17766d","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@anomaly"},"message":"The cylinder example.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/42515f424c1d003c37ff919b904648af4e17766d"},{"sha":"8fdfb050020f14c8f616b0554a08846c075777b8","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Added action specification support.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/8fdfb050020f14c8f616b0554a08846c075777b8"},{"sha":"7938c8e04a0303fedfb6381ac5baa254d2d9fe5a","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@anomaly"},"message":"Unbeast transformer.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/7938c8e04a0303fedfb6381ac5baa254d2d9fe5a"},{"sha":"6bce205c73e42ee7f1116d36c9d90072d6491fe1","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@anomaly"},"message":"Comparison with unbeast.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/6bce205c73e42ee7f1116d36c9d90072d6491fe1"},{"sha":"0762c73388230d8ab512e49bf2a74349c913334b","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Unbeast transformer: automaton minimization.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/0762c73388230d8ab512e49bf2a74349c913334b"},{"sha":"fd10e56384c70c7226585c28afd6c65b153344fb","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@data"},"message":"Unbeast transformer: use of ltl2tgba.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/fd10e56384c70c7226585c28afd6c65b153344fb"},{"sha":"068dca7f0a7dea957daf166f1cf0bc9dd8442fd3","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@anomaly"},"message":"Unbeast transformer: corrected the elevator's scenarios.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/068dca7f0a7dea957daf166f1cf0bc9dd8442fd3"},{"sha":"bdcf45e1ee20aa80934cb3bb9b35182c5097a348","author":{"name":"Igor Buzhinsky","email":"3cbacd3171660cd467d03b6acd6901269c937142@anomaly"},"message":"Unbeast transformer: minor improvements.","distinct":false,"url":"https://api.github.com/repos/ulyantsev/EFSM-tools/commits/bdcf45e1ee20aa80934cb3bb9b35182c5097a348"}]}
{"actor":{"display_login":"igor-buzhinsky"}}