{"shas":[["e6073b076363b0ec50f5e5983786eb08b8eb02d1","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","bug fix in precondition checking during command generation\n\n*set a limit of 2000 tries when trying to generate a command that\n satisfies preconditions\n*error message displayed in case this limit is reached","eirini"],["8c827c682c0dc8ad5cf5e91549a9797d811e49f4","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","corrections in README","eirini"],["c33a5b04df836b4cc57013abb2c973f1641ac4f4","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","Merge remote branch 'origin/master' into statem","eirini"],["c30cdce2f1a25bb901940e0ff1fbf038be9db5d3","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","Command sequences always begin with {init,InitialState}.\n\n* Command sequences generated with commands/1,2 always include\n  {init,InitialState} as first command. This is used to correctly\n  initialize the state every time the command sequence is run\n  (i.e. during normal execution, while shrinking and when re-checking\n  a counterexample).","eirini"],["5598e8701bcd0a1e824cb588cceee8cb34cb5eaa","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","code refactoring in proper_statem","eirini"]],"repo":"manopapad/proper","actor":"EiriniArvaniti","ref":"refs/heads/master","size":5,"head":"5598e8701bcd0a1e824cb588cceee8cb34cb5eaa","actor_gravatar":"751b79b5942b059fbecff0b1ab32ad48","push_id":29164275}