{"push_id":1076065873,"size":57,"distinct_size":1,"ref":"refs/heads/fscheck3","head":"c581e4df7cb8893350551eda76a8d86bffc5df9b","before":"853e574fe56d0dc60d43884b643bf6bcfaa22c1e","commits":[{"sha":"85c7a8de0bb423f85cc120ee6eb9bf8403deb8f7","author":{"email":"52117aa7e128943a9a6239a4a6cafbac2b4d586d@student.tugraz.at","name":"MarcoMaar"},"message":"Added static configuration instances (default, quick, verbose + throw on failure). Wrote two test cases in CounterTest to see the behaviour","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/85c7a8de0bb423f85cc120ee6eb9bf8403deb8f7"},{"sha":"03e6e0d1adae39cd3c672ffcc9fbb134f312550f","author":{"email":"52117aa7e128943a9a6239a4a6cafbac2b4d586d@student.tugraz.at","name":"MarcoMaar"},"message":"Configuration XML Documentation\n\nchanged the XML Documentation for type Configuration","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/03e6e0d1adae39cd3c672ffcc9fbb134f312550f"},{"sha":"5ef6bf040bcde6b15b8238059f1363e43b72fef0","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Merge pull request #204 from MarcoMaar/master\n\nStatic Configuration","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/5ef6bf040bcde6b15b8238059f1363e43b72fef0"},{"sha":"5edec4286c223f7620de69120932050d78b182ee","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Add Command.toPropertyWith.\n\nThis allows the user to specify a generator and shrinker explicitly.\nFixes #197 .","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/5edec4286c223f7620de69120932050d78b182ee"},{"sha":"ae6411ab1af9d052ae0002f74fcc875a81aec939","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Update release notes.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/ae6411ab1af9d052ae0002f74fcc875a81aec939"},{"sha":"7e62802d04ef2c5ec5f02773f90397e18ac928ac","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Improve StateMachine shrinking.\n\nFixes #206. Also re-order MachineRun.Operations tuple to make it clearer\nthe transition is going *to* the state associated with that transition.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/7e62802d04ef2c5ec5f02773f90397e18ac928ac"},{"sha":"85ce289a4e7e27d477d8d23fd2649aee7eb1b258","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Expose some more StateMachine API and rename.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/85ce289a4e7e27d477d8d23fd2649aee7eb1b258"},{"sha":"fc26184764e417eb600a997d08d73b6fea3d98b1","author":{"email":"52117aa7e128943a9a6239a4a6cafbac2b4d586d@student.tugraz.at","name":"MarcoMaar"},"message":"Merge remote-tracking branch 'refs/remotes/fscheck/master'","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/fc26184764e417eb600a997d08d73b6fea3d98b1"},{"sha":"f605a3bc74a2ed5d5d16f6f6b1ead5cd6606d652","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Update Release notes.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/f605a3bc74a2ed5d5d16f6f6b1ead5cd6606d652"},{"sha":"c7ebd2a2c348a2138a34f7f6af157117ca31feb4","author":{"email":"52117aa7e128943a9a6239a4a6cafbac2b4d586d@student.tugraz.at","name":"MarcoMaar"},"message":"Merge remote-tracking branch 'refs/remotes/fscheck/master'","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/c7ebd2a2c348a2138a34f7f6af157117ca31feb4"},{"sha":"34e653281c83cc6042c4bd1f11cf8c98955f138d","author":{"email":"52117aa7e128943a9a6239a4a6cafbac2b4d586d@student.tugraz.at","name":"MarcoMaar"},"message":"StopCommand for StateMachine\n\nadded a StopCommand to abort a MachineRun prematuraly. Added a property\nto Machine which allows to set an upper limit for the Commands\ngenerated.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/34e653281c83cc6042c4bd1f11cf8c98955f138d"},{"sha":"f2b3afab581b12a4acda6c4177af46d703b02c67","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Merge pull request #210 from MarcoMaar/master\n\nPR for Issue #208 StopCommand for StateMachine","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/f2b3afab581b12a4acda6c4177af46d703b02c67"},{"sha":"f68b48213973d535f1d8e1fa1c9871a132c3f8ef","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Disable test that started failing on AppVeyor.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/f68b48213973d535f1d8e1fa1c9871a132c3f8ef"},{"sha":"7b65040f5909a8c3ab14065c0b6f7e3167d91087","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Add Gen.where, synonym for Gen.suchThat.\n\nSomewhat more idiomatic, given Seq.where etc.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/7b65040f5909a8c3ab14065c0b6f7e3167d91087"},{"sha":"1689290c2ad7578b96cb096e46e2bc1280f789ad","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Add .vs folder to .gitignore","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/1689290c2ad7578b96cb096e46e2bc1280f789ad"},{"sha":"7bf5392d944d332a740cd4338197a2b2561c15f2","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Fix typo.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/7bf5392d944d332a740cd4338197a2b2561c15f2"},{"sha":"c0ea661347ab712254c8741f109e33d09637c3a2","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Add doc for experimental StateMachine interface.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/c0ea661347ab712254c8741f109e33d09637c3a2"},{"sha":"38464b7296ae8bb41859dab3124451c66157f217","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Don't execute Run if Pre is false.\n\nFixes #209.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/38464b7296ae8bb41859dab3124451c66157f217"},{"sha":"29aa9ef4e1f5d22bcb5150e394bbe7e43fd59a67","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Make sure that genCommandsS does not loop forever.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/29aa9ef4e1f5d22bcb5150e394bbe7e43fd59a67"},{"sha":"5dca3074a7dadb364852713584b4d5969563fa0d","author":{"email":"f4c4798621b04565692785df84ccc120711980b8@gmail.com","name":"Kurt Schelfthout"},"message":"Take preconditions into account when shrinking.\n\nFix #213.","distinct":false,"url":"https://api.github.com/repos/fscheck/FsCheck/commits/5dca3074a7dadb364852713584b4d5969563fa0d"}]}