{"push_id":1413917658,"size":75,"distinct_size":1,"ref":"refs/heads/mku-openaddressing-and-statequeue","head":"defaab949a567ce880933c24b66c6b91f0c01e8b","before":"cc249f36c53e57940978e3240f6931dc8d686498","commits":[{"sha":"7255a9bda2f55b1535dc300d317587f6e7353d7c","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Operator TLCSet does not work within the INIT predicate.\n\nFixes #23.\n\n[Bug][TLC]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/7255a9bda2f55b1535dc300d317587f6e7353d7c"},{"sha":"cd61d5816fcd5c9565ddcc61e1343f03c285eb75","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Improve contributor/developer guide.\n\n[Docu]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/cd61d5816fcd5c9565ddcc61e1343f03c285eb75"},{"sha":"4cef461dd62ba21839bcfd99a06b56eadae20e15","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Add contributor entry point linking the IDE setup guide.\n\n[Docu]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/4cef461dd62ba21839bcfd99a06b56eadae20e15"},{"sha":"0b5c9e3b796464338c6b7a753059aab34e3be1bc","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Enable travis-ci.org integration for an easy-to-get\npull request builder. A pull request builder provides\nimmediate feedback for our contributors.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/0b5c9e3b796464338c6b7a753059aab34e3be1bc"},{"sha":"9f166fc9b9ca89375ead1404d33f6c60247e7ce2","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Fix syntax problem (yes, missing whitespace) detected\nwith http://lint.travis-ci.org.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/9f166fc9b9ca89375ead1404d33f6c60247e7ce2"},{"sha":"53b98b3104a16fd6ff5eae2503b9a1238223ad8a","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Identify individual target platform repositories to be\nable to use a download.eclipse.org mirror instead by\nplacing corresponding stances in ~/.m2/settings.xml.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/53b98b3104a16fd6ff5eae2503b9a1238223ad8a"},{"sha":"e70dc582a4dc23c1ac1919f37eb4b138b5a333c0","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Skip travis' own installation step. Maven takes care of it.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/e70dc582a4dc23c1ac1919f37eb4b138b5a333c0"},{"sha":"d4cea3a8753daf81819736640d1d3208cd683e4f","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Use Oracle Java 8 in travis build.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/d4cea3a8753daf81819736640d1d3208cd683e4f"},{"sha":"f8ee30f42d6b2b49cd1385da6a857204717d5366","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Update Tycho version to 0.26.0.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/f8ee30f42d6b2b49cd1385da6a857204717d5366"},{"sha":"62b2792f6e7b1c4d90cf84f8357e42dc0fdc65de","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Increase memory available to maven and\nbuild on newer Ubuntu Trusty.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/62b2792f6e7b1c4d90cf84f8357e42dc0fdc65de"},{"sha":"b95ac8a22a4a8b3c5c273c26912e368414d8ca2d","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Use newer ant version in junit tests.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/b95ac8a22a4a8b3c5c273c26912e368414d8ca2d"},{"sha":"3f8f7203b88a8bbaa9f546960c0cad3191616215","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Hardcode number of workers to improve determinism of tests (length of counterexample).\n\n[Tests]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/3f8f7203b88a8bbaa9f546960c0cad3191616215"},{"sha":"f49bec48304b29734e583c60b80b1392e14f6e58","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Show junit reports with failures and errors.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/f49bec48304b29734e583c60b80b1392e14f6e58"},{"sha":"fd6ca246cd90978b49d7e4e9bacd63fb560390d6","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Always use OSUOSL mirror to avoid unreliable\ndownload.eclipse.org repository.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/fd6ca246cd90978b49d7e4e9bacd63fb560390d6"},{"sha":"df8f48eb6da8052f54ea8e61ff1ce073889f028c","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Switch from contained based travis builds to classic ones.\n\nClassic builds have root access with which we disable\nthe OOM killer and kill unused processes to make the\nmemory-expensive JUnit tests pass.\n\nThe UI tests are too instable on travis which is why\nwe call ant directly. That way, the build is much\nfaster. The maven/tycho based build - which executes\nUI tests - is commented.\n\n[Build]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/df8f48eb6da8052f54ea8e61ff1ce073889f028c"},{"sha":"2202b3b997788b353d49da7d66ee0d4b4fae25ec","author":{"name":"Markus Alexander Kuppe","email":"f344858f6627717453617683ecee7468e2e8423c@lemmster.de"},"message":"Add basic landing page for project. (#26)","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/2202b3b997788b353d49da7d66ee0d4b4fae25ec"},{"sha":"516fdfef3aa346c0b485a923753123a77532964f","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Produce PDF from spec does not work out-of-the-box on Debian/Ubuntu.\n\nRecommend texlive during Toolbox installation on Debian/Ubuntu.\n\n[Toolbox][Bug]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/516fdfef3aa346c0b485a923753123a77532964f"},{"sha":"f92454e33691a200a54907baebdaf1a06d308d6a","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Create start menu entries as part of .deb installation.\n\n[Toolbox][Feature]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/f92454e33691a200a54907baebdaf1a06d308d6a"},{"sha":"45114ac46fbe0fa6f62b5c70fa4cdab370ea7776","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Replacing old fpset file is racy.\n\n[Bug][TLC]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/45114ac46fbe0fa6f62b5c70fa4cdab370ea7776"},{"sha":"561d5f8d3bd022b2bdf50b88354e4ef1b7ab87cb","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Dynamically determine number of fpset locks based on core count.\n\n[Feature][TLC]","distinct":false,"url":"https://api.github.com/repos/lemmy/tlaplus/commits/561d5f8d3bd022b2bdf50b88354e4ef1b7ab87cb"}]}
{"actor":{"display_login":"lemmy"}}