)]}' { "log": [ { "commit": "74113dbf6c41b7275ce61a7aa25a4b9551e3793d", "tree": "7f40fbaf11187528cc58d1da01c0db0e0d1f0bfa", "parents": [ "2dacd938bb270b26f857853711352e1a7f6160a4", "a2ad775576c43c7ec8b217a10f94cf5df0fc8430" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Wed Feb 07 23:33:42 2018 +0100" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Feb 07 23:33:42 2018 +0100" }, "message": "Merge pull request #79 from tuncer/prepare-1.2.0\n\n" }, { "commit": "a2ad775576c43c7ec8b217a10f94cf5df0fc8430", "tree": "7f40fbaf11187528cc58d1da01c0db0e0d1f0bfa", "parents": [ "2dacd938bb270b26f857853711352e1a7f6160a4" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 22:31:28 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 22:31:28 2018 +0000" }, "message": "Prepare 1.2.0\n" }, { "commit": "2dacd938bb270b26f857853711352e1a7f6160a4", "tree": "e2abefcfb724abbed2ce381baecbc38378781465", "parents": [ "67a5c6c721333b7ee28bdf5611f70bf98ecb4154", "265382de2e652e7ba3af3680dc1308b62d3395a0" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Feb 07 18:06:26 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Feb 07 18:06:26 2018 +0100" }, "message": "Merge remote-tracking branch \u0027tuncer/remove-obsolete-sys.config\u0027\n" }, { "commit": "265382de2e652e7ba3af3680dc1308b62d3395a0", "tree": "54a718082faf424ca24847a04d514c943f7bf4c9", "parents": [ "30ff093892b317d56dc93c40c7a816db2d7cb15d" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 16:52:33 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 16:52:33 2018 +0000" }, "message": "Remove unused config/sys.config\n" }, { "commit": "67a5c6c721333b7ee28bdf5611f70bf98ecb4154", "tree": "9de50f6accb8178f2307f1fe69e0428f270a37dc", "parents": [ "30ff093892b317d56dc93c40c7a816db2d7cb15d", "38dbbca18d412ddbfd325e75fdd59596dd368e7f" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Feb 07 17:38:10 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Feb 07 17:38:10 2018 +0100" }, "message": "Merge remote-tracking branch \u0027tuncer/remove-obsolete-script\u0027\n" }, { "commit": "38dbbca18d412ddbfd325e75fdd59596dd368e7f", "tree": "9de50f6accb8178f2307f1fe69e0428f270a37dc", "parents": [ "30ff093892b317d56dc93c40c7a816db2d7cb15d" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 14:53:20 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 14:53:20 2018 +0000" }, "message": "Remove obsolete releaser script\n" }, { "commit": "30ff093892b317d56dc93c40c7a816db2d7cb15d", "tree": "8b714fb3006afa263d91b4112ded0067b35d4966", "parents": [ "9dc3d8308578a770e2b2b5219c07cc80d21caaa1", "582d01b40b1ab492bb308b0081be1578ac5e59c2" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 13:50:35 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Feb 07 13:50:35 2018 +0000" }, "message": "Merge pull request #60 from KrzysiekJ/benchmarks\n\nVector shrinking is inefficient" }, { "commit": "9dc3d8308578a770e2b2b5219c07cc80d21caaa1", "tree": "f444c84b4c6f57d54d23a9031035e1cee19db3ca", "parents": [ "5f13dc4dcb9b9f8d20212ec80c70bbb69283d1ff", "8754c67062f3a004526232c192740d44f1781a77" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 13:50:25 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Feb 07 13:50:25 2018 +0000" }, "message": "Merge pull request #75 from nickva/fix-oneof-test-timeout\n\nIncrease timeout of oneof test from default 5 sec to 15 sec" }, { "commit": "5f13dc4dcb9b9f8d20212ec80c70bbb69283d1ff", "tree": "3251e5ece8b67a8656d0354bf6e83d682e8434fe", "parents": [ "7678e30a9cf17f7f117d5bcc931f78c7fab82424", "fd568db13ba7424f090b272c7720e6a95c9f65bf" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 13:50:08 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Feb 07 13:50:08 2018 +0000" }, "message": "Merge pull request #76 from KrzysiekJ/travis-removal\n\nRemove .travis.yml" }, { "commit": "fd568db13ba7424f090b272c7720e6a95c9f65bf", "tree": "3251e5ece8b67a8656d0354bf6e83d682e8434fe", "parents": [ "7678e30a9cf17f7f117d5bcc931f78c7fab82424" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Feb 07 11:22:13 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Feb 07 11:22:13 2018 +0100" }, "message": "Remove .travis.yml\n\nSince we’re moving to GitLab CI, it should not be needed anymore.\n" }, { "commit": "582d01b40b1ab492bb308b0081be1578ac5e59c2", "tree": "9a96f9a4b472d6be09b7f3afa9b85d36b06960c4", "parents": [ "7678e30a9cf17f7f117d5bcc931f78c7fab82424" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Jan 12 14:23:54 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Feb 07 11:18:29 2018 +0100" }, "message": "Add a failing benchmark for vector shrinking\n\nThis introduces an ad-hoc framework for making benchmarking\nassertions, using cprof.\n" }, { "commit": "8754c67062f3a004526232c192740d44f1781a77", "tree": "68ccbc1b25df8e16930bd98d83a58fbb38bac4b1", "parents": [ "7678e30a9cf17f7f117d5bcc931f78c7fab82424" ], "author": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Tue Feb 06 23:35:42 2018 -0500" }, "committer": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Tue Feb 06 23:35:42 2018 -0500" }, "message": "Increase timeout of oneof test from default 5 sec to 15 sec\n\nIn an overcrowded CI environment 5 sec is sometimes not enough.\n" }, { "commit": "7678e30a9cf17f7f117d5bcc931f78c7fab82424", "tree": "cae2e9e37b9b58516b1b4cc7e49b2405bb9d8f74", "parents": [ "70a8d7080c57eb448d0bcc98633fd4320f0a9bb4", "8907f71f21272c992fc11038df76d3ace3e28e09" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Feb 07 00:09:56 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Feb 07 00:09:56 2018 +0000" }, "message": "Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test\n\nAvoid timeout in non_empty_list_shrink_test" }, { "commit": "8907f71f21272c992fc11038df76d3ace3e28e09", "tree": "cae2e9e37b9b58516b1b4cc7e49b2405bb9d8f74", "parents": [ "70a8d7080c57eb448d0bcc98633fd4320f0a9bb4" ], "author": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Tue Feb 06 18:31:24 2018 -0500" }, "committer": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Tue Feb 06 18:39:33 2018 -0500" }, "message": "Avoid timeout in non_empty_list_shrink_test\n\nOn Gitlab\u0027s CI sometimes the test fails with a timeout. When run locally it\ntakes about 2 seconds to run on a relatively new laptop. So on a heavly loaded\nCI environment it\u0027s plausible it would take more than 5 seconds sometime.\n\nReduce the number of tries from 25 to 15. Now it takes under a second to run,\nhopefully that gives it enough headroom in the CI environment.\n" }, { "commit": "70a8d7080c57eb448d0bcc98633fd4320f0a9bb4", "tree": "4ae457e9a68b696fb05b93350db07ab803be86cb", "parents": [ "ade17a9817ae81901e9386f48666489c0658709d", "6a63708a852272356da394697ab0d32577d30554" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Tue Feb 06 23:18:41 2018 +0100" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Tue Feb 06 23:18:41 2018 +0100" }, "message": "Merge pull request #73 from tuncer/migration\n\n" }, { "commit": "6a63708a852272356da394697ab0d32577d30554", "tree": "f9ea01ece704c69ba4afd69fe8d216e325107b93", "parents": [ "fc812bdaf5b9a964504d61c31c5e934a44ff2e2c" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Feb 06 21:28:44 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Feb 06 21:28:44 2018 +0000" }, "message": "Prepare GitLab migration (adjust app file URLs)\n" }, { "commit": "ade17a9817ae81901e9386f48666489c0658709d", "tree": "7b05473d67545036e383fa0483a60d4d22daead2", "parents": [ "fc812bdaf5b9a964504d61c31c5e934a44ff2e2c", "b4ce70c9e292c2e576e3076cdaa6151352417fde" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Tue Feb 06 16:42:33 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Tue Feb 06 16:42:33 2018 +0100" }, "message": "Merge remote-tracking branch \u0027nickva/fix-int-range-shrink\u0027\n" }, { "commit": "b4ce70c9e292c2e576e3076cdaa6151352417fde", "tree": "7b05473d67545036e383fa0483a60d4d22daead2", "parents": [ "fc812bdaf5b9a964504d61c31c5e934a44ff2e2c" ], "author": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Wed Jan 31 01:03:57 2018 -0500" }, "committer": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Tue Feb 06 10:00:31 2018 -0500" }, "message": "Improve choose/2 and int/2 generators.\n\nAPI level changes:\n\n* Previously `choose/2` shrunk to the lowest limit, it now shrink to\nlowest absolute value. This behavior is consistent with QuickCheck and Proper.\n\n* Previously `int/2` ignored the bounds and always shrunk to 0. The new\nbehavior is equivalent to the `choose/2` function.\n\nImplementation details:\n\nPreviously `int/2` function always decremented by 1 when shrinking. That works\nfor small integers, but is very inefficient and slow for large integer\nboundaries. `choose/2` on the other hand always halved its value, however it\nmight skip interesting values around the shrink target or the Min / Max\nboundaries.\n\nThe improvement is to get the best for both cases. If the current value is\nclose to the shrinking target then decrement by 1 is used, otherwise\nhalving is used. The transition is done probabilistically based on an\nexponential function. The closer to the interesting boundary the value is,\nthere is an exponentially higher chance of decrement being used.\n\nFixes #66\n" }, { "commit": "fc812bdaf5b9a964504d61c31c5e934a44ff2e2c", "tree": "b323ea75462bcc4db53791b8a924386223ff579d", "parents": [ "1a9b022cc0432c9314f6f06c61dc375e474b5573", "88e157e3a6080d920971e151ac81f1d47811374f" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sat Feb 03 17:11:46 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Sat Feb 03 17:11:46 2018 +0000" }, "message": "Merge pull request #71 from tuncer/clean-docs\n\ndoc: remove obsolete generated files" }, { "commit": "88e157e3a6080d920971e151ac81f1d47811374f", "tree": "b323ea75462bcc4db53791b8a924386223ff579d", "parents": [ "1a9b022cc0432c9314f6f06c61dc375e474b5573" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sat Feb 03 17:08:57 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sat Feb 03 17:08:57 2018 +0000" }, "message": "doc: remove obsolete generated files\n" }, { "commit": "1a9b022cc0432c9314f6f06c61dc375e474b5573", "tree": "c97ce98cb744c25551c558d63f71e22dbb81c84f", "parents": [ "3086e3fa1e61bd81ced968a0531d61536dfc3af2", "20448af636a93e2c6799596c45d0d10548f0cd05" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Feb 01 10:25:45 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Thu Feb 01 10:25:45 2018 +0000" }, "message": "Merge pull request #70 from tuncer/contributing-index-links\n\npages: link to index from contributing" }, { "commit": "20448af636a93e2c6799596c45d0d10548f0cd05", "tree": "bd32c3794990e785a36a57d5ed9849c85b45d7a3", "parents": [ "827867a0d762b92153e4a5aa168077eae8885c1b" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Feb 01 10:19:43 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Feb 01 10:20:43 2018 +0000" }, "message": "pages: link to index from contributing\n" }, { "commit": "3086e3fa1e61bd81ced968a0531d61536dfc3af2", "tree": "884115c4de69f98b89690c2f8875aa488b06e48c", "parents": [ "827867a0d762b92153e4a5aa168077eae8885c1b", "99d795e7d53d6d9bd185680bcc0a570f816a0eef" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Thu Feb 01 09:39:32 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Thu Feb 01 09:39:32 2018 +0100" }, "message": "Merge remote-tracking branch \u0027nickva/fix-largeint-type\u0027\n" }, { "commit": "827867a0d762b92153e4a5aa168077eae8885c1b", "tree": "32ce80ea4617f74d32ad89c9361db1fa68f51282", "parents": [ "fd0510919e30e20f7349f6c21a403371aa5d4fa4", "00a2d175ada6bd6f0e51e42ccd499bd1161e5cba" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Feb 01 03:17:14 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Thu Feb 01 03:17:14 2018 +0000" }, "message": "Merge pull request #69 from tuncer/pages-add-contributing-guide\n\nAdd contributing guide to gitlab pages" }, { "commit": "00a2d175ada6bd6f0e51e42ccd499bd1161e5cba", "tree": "32ce80ea4617f74d32ad89c9361db1fa68f51282", "parents": [ "fd0510919e30e20f7349f6c21a403371aa5d4fa4" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Feb 01 03:05:44 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Feb 01 03:12:45 2018 +0000" }, "message": "Add contributing guide to gitlab pages\n" }, { "commit": "99d795e7d53d6d9bd185680bcc0a570f816a0eef", "tree": "d3d1410e2eef5d8d86a4cb7738b2a4b177868ed6", "parents": [ "fd0510919e30e20f7349f6c21a403371aa5d4fa4" ], "author": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Wed Jan 31 12:04:22 2018 -0500" }, "committer": { "name": "Nick Vatamaniuc", "email": "vatamane@apache.org", "time": "Wed Jan 31 16:11:02 2018 -0500" }, "message": "Make largeint() generate integers\n\nPreviously it generated floats.\n\nIn shrinking function, since Val is a proper integer, instead of checking for \u003c\n1 or \u003e 1 then do the same operation (`Val / 10`), reverse the logic and\nspecial-case 0 instead. It should read as \"if it is 0 we are done shrinking,\notherwise we should / 10\".\n\nFixes #67\n" }, { "commit": "fd0510919e30e20f7349f6c21a403371aa5d4fa4", "tree": "cb2f5a64494e4377183c76a5bb46b641fcf39a98", "parents": [ "eb220d7eee375579a8efb0f299137f213fa2dce8", "9bf6ab6e51a83ace8175abbed2f3dd810d2f0406" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Jan 31 18:23:16 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Jan 31 18:23:16 2018 +0000" }, "message": "Merge pull request #64 from KrzysiekJ/noshrink-refactor\n\nRemove the noshrink field from domain record" }, { "commit": "9bf6ab6e51a83ace8175abbed2f3dd810d2f0406", "tree": "cb2f5a64494e4377183c76a5bb46b641fcf39a98", "parents": [ "eb220d7eee375579a8efb0f299137f213fa2dce8" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Jan 29 19:15:12 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Jan 29 19:15:12 2018 +0100" }, "message": "Remove the noshrink field from domain record\n\nThis is only a refactoring.\n" }, { "commit": "eb220d7eee375579a8efb0f299137f213fa2dce8", "tree": "560226eccc4514f37238ae2c6ae903cef9f997e6", "parents": [ "babad21eb5f30336e36207259b19cec96b9dc968", "0ce1cb0a8c310cb757c6beef7f8509ea8e3170f7" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Jan 16 19:38:34 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Tue Jan 16 19:38:34 2018 +0000" }, "message": "Merge pull request #63 from tuncer/README-update\n\nREADME: update links and title" }, { "commit": "0ce1cb0a8c310cb757c6beef7f8509ea8e3170f7", "tree": "560226eccc4514f37238ae2c6ae903cef9f997e6", "parents": [ "babad21eb5f30336e36207259b19cec96b9dc968" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Jan 16 19:31:48 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Jan 16 19:31:48 2018 +0000" }, "message": "README: update links and title\n" }, { "commit": "babad21eb5f30336e36207259b19cec96b9dc968", "tree": "2dba4599914233768655261d3eb7cac33e842791", "parents": [ "3c9cdc9bb2903a2a11092f442b25de37fafe81c6", "5dbce6bf8848d5e2f46362a7832e0f9b70eeffb5" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Mon Jan 15 21:53:21 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Jan 15 21:53:21 2018 +0000" }, "message": "Merge pull request #62 from KrzysiekJ/noshrink-type-fix\n\nFix type definition of triq_dom:domrec/1" }, { "commit": "5dbce6bf8848d5e2f46362a7832e0f9b70eeffb5", "tree": "2dba4599914233768655261d3eb7cac33e842791", "parents": [ "3c9cdc9bb2903a2a11092f442b25de37fafe81c6" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Jan 15 21:47:04 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Jan 15 21:47:04 2018 +0100" }, "message": "Fix type definition of triq_dom:domrec/1\n" }, { "commit": "3c9cdc9bb2903a2a11092f442b25de37fafe81c6", "tree": "ac07ba8b74b33f61e6f94c6a63839923e889c57f", "parents": [ "b66ff7007a2ecbfc193eda9918d86ca48e1a15e5", "1e26d5e27ecbf257f53d9197900fd0694e2dba62" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Fri Jan 12 16:51:06 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Fri Jan 12 16:51:06 2018 +0000" }, "message": "Merge pull request #61 from KrzysiekJ/noshrink\n\nAdd noshrink/1" }, { "commit": "1e26d5e27ecbf257f53d9197900fd0694e2dba62", "tree": "ac07ba8b74b33f61e6f94c6a63839923e889c57f", "parents": [ "b66ff7007a2ecbfc193eda9918d86ca48e1a15e5" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Jan 12 14:05:53 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Jan 12 14:05:53 2018 +0100" }, "message": "Add noshrink/1\n" }, { "commit": "b66ff7007a2ecbfc193eda9918d86ca48e1a15e5", "tree": "c5cf12b8f10f608c617684ab932ecbf540abd335", "parents": [ "47d6cad0d7ac8a79d17f172abea9efd43a862f41" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Thu Jan 04 14:43:40 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Jan 08 11:21:13 2018 +0100" }, "message": "Increase sample size in consecutive ?SUCHTHAT attempts\n\nAlso remove a redundant invocation of property test via EUnit.\n" }, { "commit": "47d6cad0d7ac8a79d17f172abea9efd43a862f41", "tree": "73b9fe6efa81bdc5cba4a174a27abbcaa081bdf8", "parents": [ "5971f009c032799fa438626691ea60fbb5a78833", "67868ad690f2298a1d6d001876267fbcd7911f91" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Sun Jan 07 10:56:31 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Sun Jan 07 10:56:31 2018 +0100" }, "message": "Merge remote-tracking branch \u0027tuncer/pages\u0027\n" }, { "commit": "67868ad690f2298a1d6d001876267fbcd7911f91", "tree": "9d04d49c1fa2a7975bcfbecf177c68b7f1a74251", "parents": [ "7d1aaed362d3fb87ea8a91525ab89e9490f8cd6f" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Mon Jan 01 13:36:40 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Jan 07 01:41:26 2018 +0000" }, "message": "Implement GitLab Pages\n\n1. convert README.markdown -\u003e README.org\n2. reuse README.org in org-mode based GitLab pages implementation\n\nThis way, we use org-mode to maintain README which GitLab-CI turns into\na homepage on GitLab Pages. It doesn\u0027t require a separate git branch and\nmakes it effortless to keep README and landing page in sync. We don\u0027t\ncheck in any generated/exported files, it\u0027s all done by GitLab-CI during\npublishing.\n" }, { "commit": "5971f009c032799fa438626691ea60fbb5a78833", "tree": "88952053d7c5200ba57ccfc0ae9dee1e25703eec", "parents": [ "9d4951ae23502bc927222a21c36b53d8f6ca2183", "5085ccf670f705d3c2eed5a358f96ae9c15013e8" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Jan 07 01:32:14 2018 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Sun Jan 07 01:32:14 2018 +0000" }, "message": "Merge pull request #58 from KrzysiekJ/compiler-dependency\n\nAdd compiler as a dependency" }, { "commit": "5085ccf670f705d3c2eed5a358f96ae9c15013e8", "tree": "88952053d7c5200ba57ccfc0ae9dee1e25703eec", "parents": [ "9d4951ae23502bc927222a21c36b53d8f6ca2183" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Sat Jan 06 13:18:31 2018 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Sat Jan 06 13:18:31 2018 +0100" }, "message": "Add compiler as a dependency\n" }, { "commit": "7d1aaed362d3fb87ea8a91525ab89e9490f8cd6f", "tree": "e6d9af1a22fb51234f7672893e28a058cc045b9d", "parents": [ "9d4951ae23502bc927222a21c36b53d8f6ca2183" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Mon Jan 01 19:36:25 2018 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Mon Jan 01 19:56:06 2018 +0000" }, "message": "getrebar: update copyright year\n" }, { "commit": "9d4951ae23502bc927222a21c36b53d8f6ca2183", "tree": "bb4a51ce419a54515c13d17febe84f8184ad7f7f", "parents": [ "c12555cc81a1df0ab3c4610d4b6529baf13d598d", "9a43a0ee4484d017256a299eb26c20524d7a5ec5" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Nov 27 12:04:21 2017 +0100" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Nov 27 12:04:21 2017 +0100" }, "message": "Merge remote-tracking branch \u0027tuncer/fix-dialyzer\u0027\n" }, { "commit": "9a43a0ee4484d017256a299eb26c20524d7a5ec5", "tree": "bb4a51ce419a54515c13d17febe84f8184ad7f7f", "parents": [ "c12555cc81a1df0ab3c4610d4b6529baf13d598d" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Nov 26 19:32:57 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Mon Nov 27 10:54:25 2017 +0000" }, "message": "Dialyzer: fix contract and potential infinite loop\n\n\u0027any\u0027 is used for size\u003dany, even though it\u0027s easy to confuse with any().\nIt\u0027s not a type but a plain atom.\n\nThis was introduced in ebd20fc4d6d810ba5574dbc15a06c707f213b543\n" }, { "commit": "c12555cc81a1df0ab3c4610d4b6529baf13d598d", "tree": "253408cfb49020ac7411c1f04f9f119174532513", "parents": [ "f8f87363505c6ad02bc001c17158290dfd8fa11a", "cade138271ff1c126252e8535908bb94e8f31637" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Nov 23 11:57:07 2017 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Thu Nov 23 11:57:07 2017 +0000" }, "message": "Merge pull request #54 from tuncer/apk-add-make\n\ngitlab-ci: add make in alpine image" }, { "commit": "cade138271ff1c126252e8535908bb94e8f31637", "tree": "253408cfb49020ac7411c1f04f9f119174532513", "parents": [ "f8f87363505c6ad02bc001c17158290dfd8fa11a" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Nov 23 11:55:37 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Nov 23 11:55:37 2017 +0000" }, "message": "gitlab-ci: add make in alpine image\n" }, { "commit": "f8f87363505c6ad02bc001c17158290dfd8fa11a", "tree": "50a9302a433a63194763cb2384e9f80b30fdd037", "parents": [ "d89aff4b295cb11ad161bfb68d977ba70d06b050", "659d8f3f9a368841aba74f3bfd54127e87fe2afc" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Nov 23 08:15:19 2017 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Thu Nov 23 08:15:19 2017 +0000" }, "message": "Merge pull request #53 from tuncer/rebar3-ci\n\nAdapt CI config to rebar3 migration and rm rebar" }, { "commit": "659d8f3f9a368841aba74f3bfd54127e87fe2afc", "tree": "50a9302a433a63194763cb2384e9f80b30fdd037", "parents": [ "d89aff4b295cb11ad161bfb68d977ba70d06b050" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Nov 22 10:12:21 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Nov 22 11:55:48 2017 +0000" }, "message": "Adapt CI config to rebar3 migration and rm rebar\n" }, { "commit": "d89aff4b295cb11ad161bfb68d977ba70d06b050", "tree": "f48299d146ede5823ed3cf3aad40c3f24ca7d283", "parents": [ "b600950a94a17806e62ae7e2929eb5d2257ef862", "a619e7e4889b8b635da3229450c6343da506335f" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Wed Nov 22 12:09:47 2017 +0200" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Nov 22 12:09:47 2017 +0200" }, "message": "Merge pull request #52 from tuncer/rebar3\n\nMigrate to rebar3" }, { "commit": "a619e7e4889b8b635da3229450c6343da506335f", "tree": "f48299d146ede5823ed3cf3aad40c3f24ca7d283", "parents": [ "b600950a94a17806e62ae7e2929eb5d2257ef862" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Nov 22 09:54:39 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Wed Nov 22 10:06:04 2017 +0000" }, "message": "Migrate to rebar3\n" }, { "commit": "b600950a94a17806e62ae7e2929eb5d2257ef862", "tree": "fe204fc18d784410f2677d4fbf95a7c03b88f510", "parents": [ "18fb3cdbb13c61d141d017eeaae64be79c480be3", "628527980e6564815a708f650956ed5f3cb5e10d" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Wed Nov 22 11:30:04 2017 +0200" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Nov 22 11:30:04 2017 +0200" }, "message": "Merge pull request #51 from tuncer/proj-cleanup\n\nProject cleanup" }, { "commit": "628527980e6564815a708f650956ed5f3cb5e10d", "tree": "fe204fc18d784410f2677d4fbf95a7c03b88f510", "parents": [ "5208bfaad0b05b5f3e9bc235f6b78da2c3b4f2f5" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:32:57 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:32:57 2017 +0000" }, "message": "pdict_statem: fix export_all warning\n" }, { "commit": "5208bfaad0b05b5f3e9bc235f6b78da2c3b4f2f5", "tree": "568d81ea7993c855e9f9cb9781d5a8050b659132", "parents": [ "e6d187a25fde6338717b7c5319fb9cfb6146d092" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:18:12 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:19:25 2017 +0000" }, "message": "Makefile: remove xref (not needed); use Dialyzer\n" }, { "commit": "e6d187a25fde6338717b7c5319fb9cfb6146d092", "tree": "acdb9cebd4527dfffe053f9bcc1e143551311ee8", "parents": [ "9eaa0cb2ad316927cd84af423ada88af6f11620d" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:05:30 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:19:25 2017 +0000" }, "message": "Fix lock_fsm:prop_lock_fsm/0 formatting\n" }, { "commit": "9eaa0cb2ad316927cd84af423ada88af6f11620d", "tree": "5f32bcee2a042dd35c351b1516494d86e2929ef8", "parents": [ "77c69add196c71607f5ffe5e8f7b637a9981e052" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 08:27:44 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:19:25 2017 +0000" }, "message": "Remove unused Vagrant files\n" }, { "commit": "77c69add196c71607f5ffe5e8f7b637a9981e052", "tree": "0d6d07715a4857831463d8e39a07ff597577ae55", "parents": [ "7e1a891aef486bbb403909735be6a5d0fd781273" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 08:13:19 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:19:22 2017 +0000" }, "message": "Makefile: properties are already tested, remove qc\n" }, { "commit": "7e1a891aef486bbb403909735be6a5d0fd781273", "tree": "a94aac7a9ecc52a1069256252f1be3c672e5ca79", "parents": [ "18fb3cdbb13c61d141d017eeaae64be79c480be3" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 08:13:02 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 21 09:15:53 2017 +0000" }, "message": "THANKS: add Harlan Lieberman-Berg\n" }, { "commit": "18fb3cdbb13c61d141d017eeaae64be79c480be3", "tree": "79f7b08a728e785ab9bfa7f46257a89bbbad2c72", "parents": [ "11669a8b4c9c3475bd2c6840f63bb3aa99b05016", "beb4ab1b8904f863644103082b797b1a927cef7a" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Mon Nov 20 19:19:06 2017 +0100" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Nov 20 19:19:06 2017 +0100" }, "message": "Merge pull request #50 from tuncer/fix-dialyzer-errors\n\n" }, { "commit": "beb4ab1b8904f863644103082b797b1a927cef7a", "tree": "75a9fd484acc94be58e3aa567cb1d8ed9934c4f3", "parents": [ "b2b858b4559f6a8b1940b98b6690460c8d18de0f" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 14 16:22:44 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Nov 16 00:41:50 2017 +0000" }, "message": "Dialyzer: fix improper lists\n" }, { "commit": "b2b858b4559f6a8b1940b98b6690460c8d18de0f", "tree": "1384acc5f54211084b789df20c71f36d5da50012", "parents": [ "4480def0b27f8821af4c86d354205d8eab195281" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 14 15:59:48 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Nov 16 00:41:50 2017 +0000" }, "message": "Dialyzer: adapt domain() contract to actual use\n" }, { "commit": "11669a8b4c9c3475bd2c6840f63bb3aa99b05016", "tree": "619b13f4f259287a93bb5e9aa9b2fccf4d0aeadf", "parents": [ "4480def0b27f8821af4c86d354205d8eab195281", "794b4a5121bcbb0b94e803b57829a42b35185226" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Wed Nov 15 09:10:29 2017 +0100" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Nov 15 09:10:29 2017 +0100" }, "message": "Merge pull request #41 from tuncer/ci-dialyze\n\n" }, { "commit": "794b4a5121bcbb0b94e803b57829a42b35185226", "tree": "96eb421e77cd9749a787bb9926adb71e67a9b78e", "parents": [ "b025c4e9fca2efe1b85b910872c1401c398e2b07" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 14 16:04:53 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Nov 14 16:04:53 2017 +0000" }, "message": "travis-ci: update otp versions\n" }, { "commit": "4480def0b27f8821af4c86d354205d8eab195281", "tree": "0691631727f49fa7e0cce51d2f462bb96831b076", "parents": [ "adbe976084efc3dfda8c1b2ef21734df809ae015", "b0d1095a893f4d0bb95e4166b3f1fbcedc976d31" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Sep 28 03:18:51 2017 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Thu Sep 28 03:18:51 2017 +0000" }, "message": "Merge pull request #49 from tuncer/gl-ci-fix\n\ngitlab-ci: no need to repeat image for build jobs" }, { "commit": "b0d1095a893f4d0bb95e4166b3f1fbcedc976d31", "tree": "0691631727f49fa7e0cce51d2f462bb96831b076", "parents": [ "adbe976084efc3dfda8c1b2ef21734df809ae015" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Sep 28 03:16:52 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Sep 28 03:16:52 2017 +0000" }, "message": "gitlab-ci: no need to repeat image for build jobs\n" }, { "commit": "adbe976084efc3dfda8c1b2ef21734df809ae015", "tree": "be4242707ccb1f38616381b8749e2142242793aa", "parents": [ "8f2c8e5ee65db45ac7858fa0dc3118b2b03f4971", "93242cf0ead1ba985770ed423ae6938c064e652d" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Sep 28 03:11:29 2017 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Thu Sep 28 03:11:29 2017 +0000" }, "message": "Merge pull request #48 from tuncer/gitlab-ci-fix\n\ngitlab-ci: fix Dialyzer and images" }, { "commit": "93242cf0ead1ba985770ed423ae6938c064e652d", "tree": "866ac889eaad2dbcf9730b61fe64ebbf3cf14f3f", "parents": [ "6889636638e1d8704ea83f7e08a189aab1dc2fa8" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Sep 28 03:09:01 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Sep 28 03:09:01 2017 +0000" }, "message": "gitlab-ci: fix Dialyzer and images\n\n- use Alpine image starting with 20\n- use 20 for builds\n- fix dependencies and Dialyzer with OTP \u003e\u003d20\n" }, { "commit": "8f2c8e5ee65db45ac7858fa0dc3118b2b03f4971", "tree": "5c44a59e6b265adcee95709c730c1cd83af877df", "parents": [ "6889636638e1d8704ea83f7e08a189aab1dc2fa8", "08925d7b9a1e491393ddeb6c6e7ca12686ec975f" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Fri Sep 22 12:51:55 2017 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Fri Sep 22 12:51:55 2017 +0000" }, "message": "Merge pull request #47 from KrzysiekJ/autoexport-fix\n\nAutoexport EUnit property wrappers" }, { "commit": "08925d7b9a1e491393ddeb6c6e7ca12686ec975f", "tree": "5c44a59e6b265adcee95709c730c1cd83af877df", "parents": [ "6889636638e1d8704ea83f7e08a189aab1dc2fa8" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Sep 22 10:29:12 2017 +0200" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Sep 22 10:29:12 2017 +0200" }, "message": "Autoexport EUnit property wrappers\n\nThis makes -triq(eunit) module attribute actually work.\n" }, { "commit": "6889636638e1d8704ea83f7e08a189aab1dc2fa8", "tree": "e557bcd4cd61e6c11bd8bac9edf0263efcf30fe5", "parents": [ "34a8dbf38dfd18702e78e8278eb5923be369a201", "ef1ed31d0fe45d65fb17e554958a7694a4c18ccf" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Sep 17 20:58:57 2017 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Sun Sep 17 20:58:57 2017 +0000" }, "message": "Merge pull request #46 from tuncer/gl-ci-no-xref\n\ngitlab-ci: no need to run xref" }, { "commit": "ef1ed31d0fe45d65fb17e554958a7694a4c18ccf", "tree": "e557bcd4cd61e6c11bd8bac9edf0263efcf30fe5", "parents": [ "34a8dbf38dfd18702e78e8278eb5923be369a201" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Sep 17 20:56:26 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Sep 17 20:56:26 2017 +0000" }, "message": "gitlab-ci: no need to run xref\n\nWe run Dialyzer anyway, so remove the xref call that was added in the\nprevious diff to .gitlab-ci.yml. It provokes unnecessary warnings.\n" }, { "commit": "34a8dbf38dfd18702e78e8278eb5923be369a201", "tree": "f8ba7e5c22180d357b21b6766dd633615d05a457", "parents": [ "a35a12680bbf6eefad062e6dc46797de6f7762ae", "5c5ee4bbd93cbf0f217782ff4e79329a7c560a53" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sat Sep 16 01:34:59 2017 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Sat Sep 16 01:34:59 2017 +0000" }, "message": "Merge pull request #45 from tuncer/gl-ci-fix\n\ngitlab-ci: fix Dialyzer stage" }, { "commit": "5c5ee4bbd93cbf0f217782ff4e79329a7c560a53", "tree": "f8ba7e5c22180d357b21b6766dd633615d05a457", "parents": [ "a35a12680bbf6eefad062e6dc46797de6f7762ae" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Sep 12 13:56:08 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Sep 12 13:56:08 2017 +0000" }, "message": "gitlab-ci: fix Dialyzer stage\n\nThere are only 3 supported stages (build, test, deploy) which are not\ngoing to be removed in the 10.0 release and we cannot define custom\nstages.\n" }, { "commit": "a35a12680bbf6eefad062e6dc46797de6f7762ae", "tree": "41f5f4134bcbec637bf58b12a86c1e13e19f6911", "parents": [ "9f6a9bd05fe0be4cae26436a1bb3223000baf92a", "68e290528ced5c7ad8d7a5a8c5603263698cbe9a" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Sep 08 14:23:57 2017 +0200" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Sep 08 14:23:57 2017 +0200" }, "message": "Merge branch \u0027tuncer-gitlab-separate-dialyze\u0027\n" }, { "commit": "68e290528ced5c7ad8d7a5a8c5603263698cbe9a", "tree": "41f5f4134bcbec637bf58b12a86c1e13e19f6911", "parents": [ "9f6a9bd05fe0be4cae26436a1bb3223000baf92a" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Sep 05 13:03:39 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Fri Sep 08 11:51:14 2017 +0000" }, "message": "gitlab-ci: dialyze in a separate stage\n" }, { "commit": "b025c4e9fca2efe1b85b910872c1401c398e2b07", "tree": "bc9233dc3ae3d94a4409552179109cf557546725", "parents": [ "9f6a9bd05fe0be4cae26436a1bb3223000baf92a" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Aug 20 11:56:14 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Aug 31 14:21:32 2017 +0000" }, "message": "Improve Travis-CI config\n\n- Run Dialyzer in a separate job, for the latest OTP release only.\n- Run xref.\n- Implement a custom script instead of Travis-CI default rebar task.\n" }, { "commit": "9f6a9bd05fe0be4cae26436a1bb3223000baf92a", "tree": "38fc8aa30ea8df21c7076fb4443b799b9bf586f2", "parents": [ "7a37243a4a322667e3911b105c023f94ffce6186", "d44beba06c0a59915ce45f6ba6c57992a056e6db" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Thu Aug 31 15:53:48 2017 +0200" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Thu Aug 31 15:53:48 2017 +0200" }, "message": "Merge branch \u0027tuncer-update-ci-badges\u0027\n" }, { "commit": "d44beba06c0a59915ce45f6ba6c57992a056e6db", "tree": "38fc8aa30ea8df21c7076fb4443b799b9bf586f2", "parents": [ "7a37243a4a322667e3911b105c023f94ffce6186" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Aug 31 12:40:18 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Aug 31 12:40:18 2017 +0000" }, "message": "README: update CI badges\n" }, { "commit": "7a37243a4a322667e3911b105c023f94ffce6186", "tree": "08a68f4fc6216b5f962c3cbf7738b7bc04cfb365", "parents": [ "7a1187c8d696d40a6c45898b16a2d0235c4d56fb", "a1217e99b003833fd27dd2d90d06045789389536" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Wed Aug 30 23:12:34 2017 +0200" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Aug 30 23:12:34 2017 +0200" }, "message": "Merge pull request #42 from tuncer/README\n\nUpdate and improve README" }, { "commit": "a1217e99b003833fd27dd2d90d06045789389536", "tree": "08a68f4fc6216b5f962c3cbf7738b7bc04cfb365", "parents": [ "7a1187c8d696d40a6c45898b16a2d0235c4d56fb" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Fri Aug 25 20:33:12 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Tue Aug 29 11:55:52 2017 +0000" }, "message": "Update and improve README\n\n- Document package manager use\n- Document EUnit runner generator\n- Update URLs\n- Update from-source installation instractions\n" }, { "commit": "7a1187c8d696d40a6c45898b16a2d0235c4d56fb", "tree": "0680bb25ab8d6b0508a7d822a95fa530629ec096", "parents": [ "a6d6965bdd2d2b63156a84f3076bf4df8c409c6d", "9952e84d094e3838a0253ccd4b16657e44c20153" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Mon Aug 21 10:56:56 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Aug 21 10:56:56 2017 +0300" }, "message": "Merge pull request #38 from tuncer/gitlab-ci\n\ngitlab-ci: test with Erlang 20" }, { "commit": "a6d6965bdd2d2b63156a84f3076bf4df8c409c6d", "tree": "525f17cfc2972a9b89a5e94d5107eebfb1fc0f9a", "parents": [ "bd57721c845cfc9bd90bbebcd103075cbbfa01a5", "9438bc06a26fe06f00bb76193c49d77d986c6a57" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Mon Aug 21 10:56:48 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Aug 21 10:56:48 2017 +0300" }, "message": "Merge pull request #39 from triqng/hq1-fix-shrinking-reporting\n\nFix reporting when in shrinking phase" }, { "commit": "bd57721c845cfc9bd90bbebcd103075cbbfa01a5", "tree": "f1446c6162a565072fcfae7f68136a0e69def5e0", "parents": [ "0c05b1b5ace1dfa7bd0ec4c80b16e2815c795c77", "ae3222cc720fb48a74ecd1f7aa693f39171749be" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Mon Aug 21 10:56:25 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Aug 21 10:56:25 2017 +0300" }, "message": "Merge pull request #40 from tuncer/doc-eunit-gen\n\nDocument EUnit integration" }, { "commit": "ae3222cc720fb48a74ecd1f7aa693f39171749be", "tree": "f1446c6162a565072fcfae7f68136a0e69def5e0", "parents": [ "0c05b1b5ace1dfa7bd0ec4c80b16e2815c795c77" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sat Aug 19 17:46:43 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sat Aug 19 17:52:49 2017 +0000" }, "message": "Document EUnit integration\n" }, { "commit": "9438bc06a26fe06f00bb76193c49d77d986c6a57", "tree": "3dfedaec1ce4742a04d67c9c05e94add7b0cd7f7", "parents": [ "0c05b1b5ace1dfa7bd0ec4c80b16e2815c795c77" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Fri Aug 18 17:09:40 2017 +0200" }, "committer": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Fri Aug 18 17:12:55 2017 +0200" }, "message": "Fix stdout reporting of shrinking phase\n" }, { "commit": "9952e84d094e3838a0253ccd4b16657e44c20153", "tree": "75f29baa0bbb86e535e5e0e320eef495d6659876", "parents": [ "0c05b1b5ace1dfa7bd0ec4c80b16e2815c795c77" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Aug 13 17:12:50 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Sun Aug 13 17:12:50 2017 +0000" }, "message": "gitlab-ci: test with Erlang 20\n" }, { "commit": "0c05b1b5ace1dfa7bd0ec4c80b16e2815c795c77", "tree": "8471802c13df77df97a6e27f93244a2ff0705734", "parents": [ "1edc4728c2679b013e44bb8848aea9ac2ce68096", "51a7bb77f04a7aab14a335b8c9e4189ceb8410e4" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Sun Aug 13 06:22:37 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Sun Aug 13 06:22:37 2017 +0300" }, "message": "Merge pull request #36 from tuncer/disable-werror\n\nDisable warnings_as_errors" }, { "commit": "51a7bb77f04a7aab14a335b8c9e4189ceb8410e4", "tree": "8471802c13df77df97a6e27f93244a2ff0705734", "parents": [ "1edc4728c2679b013e44bb8848aea9ac2ce68096" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Fri Aug 11 20:37:27 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Fri Aug 11 20:37:27 2017 +0000" }, "message": "Disable warnings_as_errors\n\nWith the deprecation of gen_fsm and Triq\u0027s continued support of it,\nthere are warnings we cannot fix right now. Also, Werror is generally a\nrisky option, since there can always be unexpected warnings which then\ncause the build to fail.\n" }, { "commit": "1edc4728c2679b013e44bb8848aea9ac2ce68096", "tree": "cce4da34f935be8517851e95136cc315b2bb0d25", "parents": [ "4fea56d30a24ce9ce0a93f3dd1301044d35513ed", "05b18cb1d93b1ef75896764d0d4480ccda75de5e" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Mon Aug 07 10:22:24 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Aug 07 10:22:24 2017 +0300" }, "message": "Merge pull request #35 from tuncer/dialyzer\n\nDialyzer: delete dead code" }, { "commit": "05b18cb1d93b1ef75896764d0d4480ccda75de5e", "tree": "cce4da34f935be8517851e95136cc315b2bb0d25", "parents": [ "4fea56d30a24ce9ce0a93f3dd1301044d35513ed" ], "author": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Aug 03 17:25:03 2017 +0000" }, "committer": { "name": "Tuncer Ayaz", "email": "tuncer.ayaz@gmail.com", "time": "Thu Aug 03 17:25:03 2017 +0000" }, "message": "Dialyzer: delete dead code\n" }, { "commit": "4fea56d30a24ce9ce0a93f3dd1301044d35513ed", "tree": "b5e6408831f894e890c2042f8d5c4aeae110b744", "parents": [ "73bb310339e1ae1835e0970e62762fb6cbc11684" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed May 10 16:34:01 2017 +0200" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Jul 19 22:19:50 2017 +0200" }, "message": "Fix non-empty list shrinking\n" }, { "commit": "73bb310339e1ae1835e0970e62762fb6cbc11684", "tree": "ddef045df3cb3d1bba98aedf2248d3b8b906fa3e", "parents": [ "6101366f36dfa7398b719ae1f32e39a9d8a3c350" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed May 10 14:22:58 2017 +0200" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Jul 19 22:10:34 2017 +0200" }, "message": "Apply predicate when shrinking ?SUCHTHAT\n" }, { "commit": "6101366f36dfa7398b719ae1f32e39a9d8a3c350", "tree": "a9fd0e600649e5aca5e262696d66f7d2b2423d04", "parents": [ "0591543a91bd42cd8466e441765f5b49dbef3443" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Fri Apr 21 15:44:34 2017 +0200" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Wed Jul 19 22:00:01 2017 +0200" }, "message": "Support singleton ranges in choose/2 generator\n" }, { "commit": "0591543a91bd42cd8466e441765f5b49dbef3443", "tree": "e39dd03258efa565827615229629661122e5d5a0", "parents": [ "8a6e8dd7ddb9cfbe2478a2dd73ee6cceaf516aeb" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Tue Jul 04 11:19:09 2017 +0200" }, "committer": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Tue Jul 04 11:19:09 2017 +0200" }, "message": "Update license\n" }, { "commit": "8a6e8dd7ddb9cfbe2478a2dd73ee6cceaf516aeb", "tree": "19e1d69f819c3f6e90b929bd245e9c52e33051c4", "parents": [ "c8a60981475f2bb7f1a3327c387437e5652c0c44" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Tue Jul 04 11:09:33 2017 +0200" }, "committer": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Tue Jul 04 11:09:33 2017 +0200" }, "message": "Fix GitLab link\n" }, { "commit": "c8a60981475f2bb7f1a3327c387437e5652c0c44", "tree": "812e25698a76195621040606d8d8252310fe9e2a", "parents": [ "17753d3353da634b88d537a51c761b0c788325fd" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Tue Jul 04 11:08:29 2017 +0200" }, "committer": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Tue Jul 04 11:08:29 2017 +0200" }, "message": "Update package metadata\n" }, { "commit": "17753d3353da634b88d537a51c761b0c788325fd", "tree": "3726aa71373ae44c197644d2e9433222622fc5f7", "parents": [ "8dfe582451422839a99efb531dc1f618ced09b33", "2262a902e93ec83f7d49e191c4cbe977180f9d0d" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Mon Jul 03 09:47:02 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Jul 03 09:47:02 2017 +0300" }, "message": "Merge pull request #28 from aerosol/master\n\nAdd configurable reporting module" }, { "commit": "2262a902e93ec83f7d49e191c4cbe977180f9d0d", "tree": "3726aa71373ae44c197644d2e9433222622fc5f7", "parents": [ "8dfe582451422839a99efb531dc1f618ced09b33" ], "author": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Mon Jul 03 08:15:00 2017 +0200" }, "committer": { "name": "Adam Rutkowski", "email": "hq@mtod.org", "time": "Mon Jul 03 08:15:00 2017 +0200" }, "message": "Add configurable reporting module\n" }, { "commit": "8dfe582451422839a99efb531dc1f618ced09b33", "tree": "d3baea6fc3ab82c13a8a3df1301e4a0883cf04ae", "parents": [ "27ec7fc66287de162b063f56e6e5e3dde6345a5b", "2d31ad793854171b9fc2ccb74e376d2b31821aee" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Mon Apr 10 16:59:41 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Apr 10 16:59:41 2017 +0300" }, "message": "Merge pull request #24 from KrzysiekJ/rebar-executable\n\nMake the bundled Rebar binary executable" }, { "commit": "2d31ad793854171b9fc2ccb74e376d2b31821aee", "tree": "d3baea6fc3ab82c13a8a3df1301e4a0883cf04ae", "parents": [ "27ec7fc66287de162b063f56e6e5e3dde6345a5b" ], "author": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Apr 10 15:11:35 2017 +0200" }, "committer": { "name": "Krzysztof Jurewicz", "email": "krzysztof.jurewicz@gmail.com", "time": "Mon Apr 10 15:12:27 2017 +0200" }, "message": "Make the bundled Rebar binary executable\n" }, { "commit": "27ec7fc66287de162b063f56e6e5e3dde6345a5b", "tree": "a1729c365d60fbac6b4a91049ac8cc1d8a6549c0", "parents": [ "2c497398e020e06db8496f1d89f12481cc5adab9", "c951d710909f5889b7f029aa5b80f57b02e29818" ], "author": { "name": "Zachary Kessin", "email": "zkessin@gmail.com", "time": "Wed Mar 29 09:21:45 2017 +0300" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Wed Mar 29 09:21:45 2017 +0300" }, "message": "Merge pull request #23 from lemenkov/fix_edoc\n\nFix error while building edocs" }, { "commit": "c951d710909f5889b7f029aa5b80f57b02e29818", "tree": "a1729c365d60fbac6b4a91049ac8cc1d8a6549c0", "parents": [ "10d8d01d060e8867cb90253ea5ded79a9aa6cd7b" ], "author": { "name": "Peter Lemenkov", "email": "lemenkov@gmail.com", "time": "Tue Mar 28 17:51:58 2017 +0300" }, "committer": { "name": "Peter Lemenkov", "email": "lemenkov@gmail.com", "time": "Tue Mar 28 17:51:58 2017 +0300" }, "message": "Spec matches actual function\n\nINFO: Regenerating edocs for triq\n./src/triq_dom.erl, function atom/0: at line 797: @spec name does not match.\nedoc: skipping source file \u0027./src/triq_dom.erl\u0027: {\u0027EXIT\u0027,error}\n\nSigned-off-by: Peter Lemenkov \u003clemenkov@gmail.com\u003e\n" }, { "commit": "10d8d01d060e8867cb90253ea5ded79a9aa6cd7b", "tree": "92995e4342a75a243ddb3d6a028845210e288960", "parents": [ "2c497398e020e06db8496f1d89f12481cc5adab9" ], "author": { "name": "Peter Lemenkov", "email": "lemenkov@gmail.com", "time": "Tue Mar 28 17:48:09 2017 +0300" }, "committer": { "name": "Peter Lemenkov", "email": "lemenkov@gmail.com", "time": "Tue Mar 28 17:48:58 2017 +0300" }, "message": "Fix error while building edocs\n\nINFO: Regenerating edocs for triq\n./src/triq_dom.erl, function largeint/0: at line 638: unknown error parsing specification: {638,edoc_parser,\n [\"syntax error before: \",\"\u0027.\u0027\"]}.\nedoc: skipping source file \u0027./src/triq_dom.erl\u0027: {\u0027EXIT\u0027,error}.\n\nSigned-off-by: Peter Lemenkov \u003clemenkov@gmail.com\u003e\n" } ], "next": "2c497398e020e06db8496f1d89f12481cc5adab9" }