{"push_id":1673350030,"size":143,"distinct_size":123,"ref":"refs/heads/pron-unicode","head":"5603dd89346153933ecf01bfafcffed951393703","before":"608962867d257062875c8f62611ce7fe70711d59","commits":[{"sha":"bc0b895d5b6bc1820d5f9e3b42279731da246d07","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"TLC fails to run after a spec rename with models.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/bc0b895d5b6bc1820d5f9e3b42279731da246d07"},{"sha":"9bcca3be1634d4f6e094248f70c12ab04942eee4","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Warn user that the path provided has been changed to its canonical form\ninstead of rejecting it.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/9bcca3be1634d4f6e094248f70c12ab04942eee4"},{"sha":"75f661f012343a167eb16b1b96ec96fd505ddb47","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Toolbox shows bogus \"start time\" on \"Model Checking Results\" page\n\nFixes GitHub issue #21\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/75f661f012343a167eb16b1b96ec96fd505ddb47"},{"sha":"b2024dc0e2935f975cb24fac10681b70e7f778f4","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Replace deprecated import with org.junit.\n\n[Refactor][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/b2024dc0e2935f975cb24fac10681b70e7f778f4"},{"sha":"0beb80db322f958553ec740b451e6e5b4fed6317","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Trace Exploration incorrectly puts \"Back to State\" marker at top/bottom.\n\nThis commit fixes #2.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/0beb80db322f958553ec740b451e6e5b4fed6317"},{"sha":"f04ac634f68b1c3231eedd4c01e17c12a8467857","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Trace explorer behaves erratic (Win/Mac) or crashes the Toolbox (Linux)\nwhen table's sort order is changed and trace contains \"back to state\" or\n\"stuttering\" indicators.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/f04ac634f68b1c3231eedd4c01e17c12a8467857"},{"sha":"11828c94fbe859c88dddf57782964ba4e668d211","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Prevent NPE when validation gets executed after ModelEditor already\ndisposed.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/11828c94fbe859c88dddf57782964ba4e668d211"},{"sha":"a9b95e57cd68e46eefe3ec54a14d834230f0cb85","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Confine jclouds to a single region. Since the Toolbox only supports the\nus-east region, there is no point in querying others. This has been\nadded because I was seeing intermittent timeouts with the South American\nregion.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/a9b95e57cd68e46eefe3ec54a14d834230f0cb85"},{"sha":"5025c7b8a4bfcdf2758c565724a25071f330be40","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Switch from old m2 generation to a more recent c3 instance type. c3\nprovides better performance with a similar price range.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/5025c7b8a4bfcdf2758c565724a25071f330be40"},{"sha":"55f66ee59ce2f5b26143bc031102c0f3ad5692de","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Upgrade to Ubuntu 16.04 and Java 1.8.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/55f66ee59ce2f5b26143bc031102c0f3ad5692de"},{"sha":"69851b2efc97ecd2337a52112beaba6cb669018a","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Add OS tuning parameters to Cloud distributed TLC.\n\nThis commit fixes issue #37.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/69851b2efc97ecd2337a52112beaba6cb669018a"},{"sha":"df5b5eaa0801ca2fa29db21ee64ee6387bc8910e","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Explain exponential blowup of L parameter in Grid5k spec.\n\n[Docu]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/df5b5eaa0801ca2fa29db21ee64ee6387bc8910e"},{"sha":"8910f6a09243ba5ce0082525142da1e5a5423571","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Reduce (SUBSET A \\subseteq SUBSET B) to (A \\subseteq B) to avoid its\ninherent exponential blowup.\n\n[Feature][TLC]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/8910f6a09243ba5ce0082525142da1e5a5423571"},{"sha":"d8dd3a275e4e40825442a22c75c7b95e733b9a62","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Replace and reactivate load generator after optimizing TLC's handling of\n\\subseteq (see commit 3b4a09f662b90c0df3d1751e66b93779924206fe). The\nabsolute numbers measured with Grid5k before and after this commit are\nobviously non-comparable.\n\n[Performance][Test]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/d8dd3a275e4e40825442a22c75c7b95e733b9a62"},{"sha":"d14ed91d74047b03f69624b582419ea884de487c","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Embed a current timestamp in the signed content (file). A timestamp\nkeeps the signature of the content valid *after* the signing certificate\nexpired.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/d14ed91d74047b03f69624b582419ea884de487c"},{"sha":"4109c3a8eeb84638607fbd329292ad2fd7951cf9","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Cryptographically sign the Toolbox jars. Signed jars result in one less\nwarning popup to p2 upgrades of the Toolbox.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/4109c3a8eeb84638607fbd329292ad2fd7951cf9"},{"sha":"60273745390a06ba3092994b16c33087666d30c2","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Sign files/tla2tools.jar and the actual jnlp jar.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/60273745390a06ba3092994b16c33087666d30c2"},{"sha":"7359686fd19d3c6e057657bcd5d6fbab4a6c753c","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Verify code signature.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/7359686fd19d3c6e057657bcd5d6fbab4a6c753c"},{"sha":"abd6e899776b4df48cbed5557a177253eeed846c","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Upgrade to signed Pdf4Eclipse build to reduce set of unsiged bundles\nshown in warning dialog during p2 upgrade.\n\n[Build][Toolbox]","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/abd6e899776b4df48cbed5557a177253eeed846c"},{"sha":"05867c221ae857703d16c5e0b75a0513553b0465","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Add MIT license statement.","distinct":false,"url":"https://api.github.com/repos/tlaplus/tlaplus/commits/05867c221ae857703d16c5e0b75a0513553b0465"}]}
{"actor":{"display_login":"lemmy"}}