1. 74113db Merge pull request #79 from tuncer/prepare-1.2.0 by Adam Rutkowski · 4 years, 8 months ago upstream v1.2.0
  2. a2ad775 Prepare 1.2.0 by Tuncer Ayaz · 4 years, 8 months ago
  3. 2dacd93 Merge remote-tracking branch 'tuncer/remove-obsolete-sys.config' by Krzysztof Jurewicz · 4 years, 8 months ago
  4. 265382d Remove unused config/sys.config by Tuncer Ayaz · 4 years, 8 months ago
  5. 67a5c6c Merge remote-tracking branch 'tuncer/remove-obsolete-script' by Krzysztof Jurewicz · 4 years, 8 months ago
  6. 38dbbca Remove obsolete releaser script by Tuncer Ayaz · 4 years, 8 months ago
  7. 30ff093 Merge pull request #60 from KrzysiekJ/benchmarks by Tuncer Ayaz · 4 years, 8 months ago
  8. 9dc3d83 Merge pull request #75 from nickva/fix-oneof-test-timeout by Tuncer Ayaz · 4 years, 8 months ago
  9. 5f13dc4 Merge pull request #76 from KrzysiekJ/travis-removal by Tuncer Ayaz · 4 years, 8 months ago
  10. fd568db Remove .travis.yml by Krzysztof Jurewicz · 4 years, 8 months ago
  11. 582d01b Add a failing benchmark for vector shrinking by Krzysztof Jurewicz · 4 years, 9 months ago
  12. 8754c67 Increase timeout of oneof test from default 5 sec to 15 sec by Nick Vatamaniuc · 4 years, 8 months ago
  13. 7678e30 Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test by Tuncer Ayaz · 4 years, 8 months ago
  14. 8907f71 Avoid timeout in non_empty_list_shrink_test by Nick Vatamaniuc · 4 years, 8 months ago
  15. 70a8d70 Merge pull request #73 from tuncer/migration by Adam Rutkowski · 4 years, 8 months ago
  16. 6a63708 Prepare GitLab migration (adjust app file URLs) by Tuncer Ayaz · 4 years, 8 months ago
  17. ade17a9 Merge remote-tracking branch 'nickva/fix-int-range-shrink' by Krzysztof Jurewicz · 4 years, 8 months ago
  18. b4ce70c Improve choose/2 and int/2 generators. by Nick Vatamaniuc · 4 years, 8 months ago
  19. fc812bd Merge pull request #71 from tuncer/clean-docs by Tuncer Ayaz · 4 years, 8 months ago
  20. 88e157e doc: remove obsolete generated files by Tuncer Ayaz · 4 years, 8 months ago
  21. 1a9b022 Merge pull request #70 from tuncer/contributing-index-links by Tuncer Ayaz · 4 years, 8 months ago
  22. 20448af pages: link to index from contributing by Tuncer Ayaz · 4 years, 8 months ago
  23. 3086e3f Merge remote-tracking branch 'nickva/fix-largeint-type' by Krzysztof Jurewicz · 4 years, 8 months ago
  24. 827867a Merge pull request #69 from tuncer/pages-add-contributing-guide by Tuncer Ayaz · 4 years, 8 months ago
  25. 00a2d17 Add contributing guide to gitlab pages by Tuncer Ayaz · 4 years, 8 months ago
  26. 99d795e Make largeint() generate integers by Nick Vatamaniuc · 4 years, 8 months ago
  27. fd05109 Merge pull request #64 from KrzysiekJ/noshrink-refactor by Tuncer Ayaz · 4 years, 8 months ago
  28. 9bf6ab6 Remove the noshrink field from domain record by Krzysztof Jurewicz · 4 years, 8 months ago
  29. eb220d7 Merge pull request #63 from tuncer/README-update by Tuncer Ayaz · 4 years, 8 months ago
  30. 0ce1cb0 README: update links and title by Tuncer Ayaz · 4 years, 8 months ago
  31. babad21 Merge pull request #62 from KrzysiekJ/noshrink-type-fix by Tuncer Ayaz · 4 years, 9 months ago
  32. 5dbce6b Fix type definition of triq_dom:domrec/1 by Krzysztof Jurewicz · 4 years, 9 months ago
  33. 3c9cdc9 Merge pull request #61 from KrzysiekJ/noshrink by Tuncer Ayaz · 4 years, 9 months ago
  34. 1e26d5e Add noshrink/1 by Krzysztof Jurewicz · 4 years, 9 months ago
  35. b66ff70 Increase sample size in consecutive ?SUCHTHAT attempts by Krzysztof Jurewicz · 4 years, 9 months ago
  36. 47d6cad Merge remote-tracking branch 'tuncer/pages' by Krzysztof Jurewicz · 4 years, 9 months ago
  37. 67868ad Implement GitLab Pages by Tuncer Ayaz · 4 years, 9 months ago
  38. 5971f00 Merge pull request #58 from KrzysiekJ/compiler-dependency by Tuncer Ayaz · 4 years, 9 months ago
  39. 5085ccf Add compiler as a dependency by Krzysztof Jurewicz · 4 years, 9 months ago
  40. 7d1aaed getrebar: update copyright year by Tuncer Ayaz · 4 years, 9 months ago
  41. 9d4951a Merge remote-tracking branch 'tuncer/fix-dialyzer' by Krzysztof Jurewicz · 4 years, 10 months ago
  42. 9a43a0e Dialyzer: fix contract and potential infinite loop by Tuncer Ayaz · 4 years, 10 months ago
  43. c12555c Merge pull request #54 from tuncer/apk-add-make by Tuncer Ayaz · 4 years, 10 months ago
  44. cade138 gitlab-ci: add make in alpine image by Tuncer Ayaz · 4 years, 10 months ago
  45. f8f8736 Merge pull request #53 from tuncer/rebar3-ci by Tuncer Ayaz · 4 years, 10 months ago
  46. 659d8f3 Adapt CI config to rebar3 migration and rm rebar by Tuncer Ayaz · 4 years, 10 months ago
  47. d89aff4 Merge pull request #52 from tuncer/rebar3 by Zachary Kessin · 4 years, 10 months ago
  48. a619e7e Migrate to rebar3 by Tuncer Ayaz · 4 years, 10 months ago
  49. b600950 Merge pull request #51 from tuncer/proj-cleanup by Zachary Kessin · 4 years, 10 months ago
  50. 6285279 pdict_statem: fix export_all warning by Tuncer Ayaz · 4 years, 10 months ago
  51. 5208bfa Makefile: remove xref (not needed); use Dialyzer by Tuncer Ayaz · 4 years, 10 months ago
  52. e6d187a Fix lock_fsm:prop_lock_fsm/0 formatting by Tuncer Ayaz · 4 years, 10 months ago
  53. 9eaa0cb Remove unused Vagrant files by Tuncer Ayaz · 4 years, 10 months ago
  54. 77c69ad Makefile: properties are already tested, remove qc by Tuncer Ayaz · 4 years, 10 months ago
  55. 7e1a891 THANKS: add Harlan Lieberman-Berg by Tuncer Ayaz · 4 years, 10 months ago
  56. 18fb3cd Merge pull request #50 from tuncer/fix-dialyzer-errors by Adam Rutkowski · 4 years, 10 months ago
  57. beb4ab1 Dialyzer: fix improper lists by Tuncer Ayaz · 4 years, 11 months ago
  58. b2b858b Dialyzer: adapt domain() contract to actual use by Tuncer Ayaz · 4 years, 11 months ago
  59. 11669a8 Merge pull request #41 from tuncer/ci-dialyze by Adam Rutkowski · 4 years, 11 months ago
  60. 794b4a5 travis-ci: update otp versions by Tuncer Ayaz · 4 years, 11 months ago
  61. 4480def Merge pull request #49 from tuncer/gl-ci-fix by Tuncer Ayaz · 5 years ago
  62. b0d1095 gitlab-ci: no need to repeat image for build jobs by Tuncer Ayaz · 5 years ago
  63. adbe976 Merge pull request #48 from tuncer/gitlab-ci-fix by Tuncer Ayaz · 5 years ago
  64. 93242cf gitlab-ci: fix Dialyzer and images by Tuncer Ayaz · 5 years ago
  65. 8f2c8e5 Merge pull request #47 from KrzysiekJ/autoexport-fix by Tuncer Ayaz · 5 years ago
  66. 08925d7 Autoexport EUnit property wrappers by Krzysztof Jurewicz · 5 years ago
  67. 6889636 Merge pull request #46 from tuncer/gl-ci-no-xref by Tuncer Ayaz · 5 years ago
  68. ef1ed31 gitlab-ci: no need to run xref by Tuncer Ayaz · 5 years ago
  69. 34a8dbf Merge pull request #45 from tuncer/gl-ci-fix by Tuncer Ayaz · 5 years ago
  70. 5c5ee4b gitlab-ci: fix Dialyzer stage by Tuncer Ayaz · 5 years ago
  71. a35a126 Merge branch 'tuncer-gitlab-separate-dialyze' by Krzysztof Jurewicz · 5 years ago
  72. 68e2905 gitlab-ci: dialyze in a separate stage by Tuncer Ayaz · 5 years ago
  73. b025c4e Improve Travis-CI config by Tuncer Ayaz · 5 years ago
  74. 9f6a9bd Merge branch 'tuncer-update-ci-badges' by Krzysztof Jurewicz · 5 years ago
  75. d44beba README: update CI badges by Tuncer Ayaz · 5 years ago
  76. 7a37243 Merge pull request #42 from tuncer/README by Adam Rutkowski · 5 years ago
  77. a1217e9 Update and improve README by Tuncer Ayaz · 5 years ago
  78. 7a1187c Merge pull request #38 from tuncer/gitlab-ci by Zachary Kessin · 5 years ago
  79. a6d6965 Merge pull request #39 from triqng/hq1-fix-shrinking-reporting by Zachary Kessin · 5 years ago
  80. bd57721 Merge pull request #40 from tuncer/doc-eunit-gen by Zachary Kessin · 5 years ago
  81. ae3222c Document EUnit integration by Tuncer Ayaz · 5 years ago
  82. 9438bc0 Fix stdout reporting of shrinking phase by Adam Rutkowski · 5 years ago
  83. 9952e84 gitlab-ci: test with Erlang 20 by Tuncer Ayaz · 5 years ago
  84. 0c05b1b Merge pull request #36 from tuncer/disable-werror by Zachary Kessin · 5 years ago
  85. 51a7bb7 Disable warnings_as_errors by Tuncer Ayaz · 5 years ago
  86. 1edc472 Merge pull request #35 from tuncer/dialyzer by Zachary Kessin · 5 years ago
  87. 05b18cb Dialyzer: delete dead code by Tuncer Ayaz · 5 years ago
  88. 4fea56d Fix non-empty list shrinking by Krzysztof Jurewicz · 5 years ago
  89. 73bb310 Apply predicate when shrinking ?SUCHTHAT by Krzysztof Jurewicz · 5 years ago
  90. 6101366 Support singleton ranges in choose/2 generator by Krzysztof Jurewicz · 5 years ago
  91. 0591543 Update license by Adam Rutkowski · 5 years ago
  92. 8a6e8dd Fix GitLab link by Adam Rutkowski · 5 years ago 1.0.2
  93. c8a6098 Update package metadata by Adam Rutkowski · 5 years ago 1.0.1
  94. 17753d3 Merge pull request #28 from aerosol/master by Zachary Kessin · 5 years ago 1.1
  95. 2262a90 Add configurable reporting module by Adam Rutkowski · 5 years ago
  96. 8dfe582 Merge pull request #24 from KrzysiekJ/rebar-executable by Zachary Kessin · 5 years ago
  97. 2d31ad7 Make the bundled Rebar binary executable by Krzysztof Jurewicz · 5 years ago
  98. 27ec7fc Merge pull request #23 from lemenkov/fix_edoc by Zachary Kessin · 6 years ago
  99. c951d71 Spec matches actual function by Peter Lemenkov · 6 years ago
  100. 10d8d01 Fix error while building edocs by Peter Lemenkov · 6 years ago