{"shas":[["10fd6913a0845d4c140705b3523ee260e0754b42","86f9665bf2e23bc58a9b113b63a1cfc3f4a201b4@gmail.com","Document EUnit ?LET clash","Manolis Papadakis"],["7294538c362292ff3b03549dae7154fe832ec2ed","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","implemented with_parameters/3","eirini"],["8c08e0d99fa8f5d965fe590ff2b89e2474702d65","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","added parallel_command shrinkers","eirini"],["59d7c149b98572416a91dcd88adda7d57ccfdc95","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","added .eunit to .gitignore","eirini"],["d27f1eaa136ae1e06496e060757627beff05dec4","86f9665bf2e23bc58a9b113b63a1cfc3f4a201b4@gmail.com","Add a size cap","Manolis Papadakis"],["d66bba06753c2c30ccc4099426a6bb9ca187503e","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","command counter starts from {var,1}","eirini"],["073330e679f31c66440337c7312a9f6011b08781","0d1d21be96d69ead3a6d25570068353c64dd5539@statler.home.local","Add a timeout option for semi-obsolete machines ;-)","Kostis Sagonas"],["892fd26162c2a0132e81ef160522d569b6b2dfa7","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","fixes in generator with_parameters/2","eirini"],["628cc94ed6da619e47feecd36da784fbf14d8999","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","Fixes in initial state computation\n\n*Now initial_state/0 is only called during command generation\n and evaluated during command execution.\n\n*Also fixed proper_types:parameter/3","eirini"],["21c7c1742be61cac07a4e1437bd96365d517b5bf","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","fixes in parallel command generation","eirini"],["6ab1b79d67019b4939d69dbae68ec083aed92374","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","memoization added when checking for possible command interleavings","eirini"],["82576a145f6d2b5e02745e2273fdf05342d674bb","0d1d21be96d69ead3a6d25570068353c64dd5539@cs.ntua.gr","Shut off a dialyzer warning and cosmetic cleanups","Kostis Sagonas"],["ecce5f50f2f8f0f56ee9ad296224452385b074a2","0d1d21be96d69ead3a6d25570068353c64dd5539@cs.ntua.gr","More cleanups","Kostis Sagonas"],["c8fe37b8eed4f929b7957019978c876a72f67810","0d1d21be96d69ead3a6d25570068353c64dd5539@cs.ntua.gr","Move type declaration to its proper place","Kostis Sagonas"],["07d7fb8b8c7af85ac7c2cb6f95f0c6e4a54fc7ae","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","fix in command execution\n\nDuring command execution time, first check that precondition also\nholds for dynamic state, then execute the command\nand then apply the command.","eirini"],["5aee9bf1e3b00fcf757c8b41996f7968b2c165fc","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","spec corrections","eirini"],["a59d072f5a8aff729c9dc7c3cf7444ff0d92df82","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","changed if to case","eirini"],["a422f20e42a176d2533825763c4c156034c2bf4c","5d7c7d7b7b69d12fd26e3e72a05fe76a919c272b@gmail.com","code refactoring - part 1","eirini"],["0d7d57a42e022185b077bfaf87148e7061ad2fda","0d1d21be96d69ead3a6d25570068353c64dd5539@cs.ntua.gr","Tidier struct cleanup","Kostis Sagonas"],["e30fc9a618cb29d919aa4ec2e1af1a758280f986","0d1d21be96d69ead3a6d25570068353c64dd5539@cs.ntua.gr","More cleanups","Kostis Sagonas"]],"repo":"norton/proper","actor":"norton","ref":"refs/heads/master","size":48,"head":"38091c4a7d8ba41979638e68e430e1f88b4c9bfc","actor_gravatar":"21dcd8061464aae455000cba61143c96","push_id":27576253}