Adam Rutkowski [Wed, 7 Feb 2018 22:33:42 +0000 (23:33 +0100)]
Merge pull request #79 from tuncer/prepare-1.2.0
Tuncer Ayaz [Wed, 7 Feb 2018 22:31:28 +0000 (22:31 +0000)]
Prepare 1.2.0
Krzysztof Jurewicz [Wed, 7 Feb 2018 17:06:26 +0000 (18:06 +0100)]
Merge remote-tracking branch 'tuncer/remove-obsolete-sys.config'
Tuncer Ayaz [Wed, 7 Feb 2018 16:52:33 +0000 (16:52 +0000)]
Remove unused config/sys.config
Krzysztof Jurewicz [Wed, 7 Feb 2018 16:38:10 +0000 (17:38 +0100)]
Merge remote-tracking branch 'tuncer/remove-obsolete-script'
Tuncer Ayaz [Wed, 7 Feb 2018 14:53:20 +0000 (14:53 +0000)]
Remove obsolete releaser script
Tuncer Ayaz [Wed, 7 Feb 2018 13:50:35 +0000 (13:50 +0000)]
Merge pull request #60 from KrzysiekJ/benchmarks
Vector shrinking is inefficient
Tuncer Ayaz [Wed, 7 Feb 2018 13:50:25 +0000 (13:50 +0000)]
Merge pull request #75 from nickva/fix-oneof-test-timeout
Increase timeout of oneof test from default 5 sec to 15 sec
Tuncer Ayaz [Wed, 7 Feb 2018 13:50:08 +0000 (13:50 +0000)]
Merge pull request #76 from KrzysiekJ/travis-removal
Remove .travis.yml
Krzysztof Jurewicz [Wed, 7 Feb 2018 10:22:13 +0000 (11:22 +0100)]
Remove .travis.yml
Since we’re moving to GitLab CI, it should not be needed anymore.
Krzysztof Jurewicz [Fri, 12 Jan 2018 13:23:54 +0000 (14:23 +0100)]
Add a failing benchmark for vector shrinking
This introduces an ad-hoc framework for making benchmarking
assertions, using cprof.
Nick Vatamaniuc [Wed, 7 Feb 2018 04:35:42 +0000 (23:35 -0500)]
Increase timeout of oneof test from default 5 sec to 15 sec
In an overcrowded CI environment 5 sec is sometimes not enough.
Tuncer Ayaz [Wed, 7 Feb 2018 00:09:56 +0000 (00:09 +0000)]
Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test
Avoid timeout in non_empty_list_shrink_test
Nick Vatamaniuc [Tue, 6 Feb 2018 23:31:24 +0000 (18:31 -0500)]
Avoid timeout in non_empty_list_shrink_test
On Gitlab's CI sometimes the test fails with a timeout. When run locally it
takes about 2 seconds to run on a relatively new laptop. So on a heavly loaded
CI environment it's plausible it would take more than 5 seconds sometime.
Reduce the number of tries from 25 to 15. Now it takes under a second to run,
hopefully that gives it enough headroom in the CI environment.
Adam Rutkowski [Tue, 6 Feb 2018 22:18:41 +0000 (23:18 +0100)]
Merge pull request #73 from tuncer/migration
Tuncer Ayaz [Tue, 6 Feb 2018 21:28:44 +0000 (21:28 +0000)]
Prepare GitLab migration (adjust app file URLs)
Krzysztof Jurewicz [Tue, 6 Feb 2018 15:42:33 +0000 (16:42 +0100)]
Merge remote-tracking branch 'nickva/fix-int-range-shrink'
Nick Vatamaniuc [Wed, 31 Jan 2018 06:03:57 +0000 (01:03 -0500)]
Improve choose/2 and int/2 generators.
API level changes:
* Previously `choose/2` shrunk to the lowest limit, it now shrink to
lowest absolute value. This behavior is consistent with QuickCheck and Proper.
* Previously `int/2` ignored the bounds and always shrunk to 0. The new
behavior is equivalent to the `choose/2` function.
Implementation details:
Previously `int/2` function always decremented by 1 when shrinking. That works
for small integers, but is very inefficient and slow for large integer
boundaries. `choose/2` on the other hand always halved its value, however it
might skip interesting values around the shrink target or the Min / Max
boundaries.
The improvement is to get the best for both cases. If the current value is
close to the shrinking target then decrement by 1 is used, otherwise
halving is used. The transition is done probabilistically based on an
exponential function. The closer to the interesting boundary the value is,
there is an exponentially higher chance of decrement being used.
Fixes #66
Tuncer Ayaz [Sat, 3 Feb 2018 17:11:46 +0000 (17:11 +0000)]
Merge pull request #71 from tuncer/clean-docs
doc: remove obsolete generated files
Tuncer Ayaz [Sat, 3 Feb 2018 17:08:57 +0000 (17:08 +0000)]
doc: remove obsolete generated files
Tuncer Ayaz [Thu, 1 Feb 2018 10:25:45 +0000 (10:25 +0000)]
Merge pull request #70 from tuncer/contributing-index-links
pages: link to index from contributing
Tuncer Ayaz [Thu, 1 Feb 2018 10:19:43 +0000 (10:19 +0000)]
pages: link to index from contributing
Krzysztof Jurewicz [Thu, 1 Feb 2018 08:39:32 +0000 (09:39 +0100)]
Merge remote-tracking branch 'nickva/fix-largeint-type'
Tuncer Ayaz [Thu, 1 Feb 2018 03:17:14 +0000 (03:17 +0000)]
Merge pull request #69 from tuncer/pages-add-contributing-guide
Add contributing guide to gitlab pages
Tuncer Ayaz [Thu, 1 Feb 2018 03:05:44 +0000 (03:05 +0000)]
Add contributing guide to gitlab pages
Nick Vatamaniuc [Wed, 31 Jan 2018 17:04:22 +0000 (12:04 -0500)]
Make largeint() generate integers
Previously it generated floats.
In shrinking function, since Val is a proper integer, instead of checking for <
1 or > 1 then do the same operation (`Val / 10`), reverse the logic and
special-case 0 instead. It should read as "if it is 0 we are done shrinking,
otherwise we should / 10".
Fixes #67
Tuncer Ayaz [Wed, 31 Jan 2018 18:23:16 +0000 (18:23 +0000)]
Merge pull request #64 from KrzysiekJ/noshrink-refactor
Remove the noshrink field from domain record
Krzysztof Jurewicz [Mon, 29 Jan 2018 18:15:12 +0000 (19:15 +0100)]
Remove the noshrink field from domain record
This is only a refactoring.
Tuncer Ayaz [Tue, 16 Jan 2018 19:38:34 +0000 (19:38 +0000)]
Merge pull request #63 from tuncer/README-update
README: update links and title
Tuncer Ayaz [Tue, 16 Jan 2018 19:31:48 +0000 (19:31 +0000)]
README: update links and title
Tuncer Ayaz [Mon, 15 Jan 2018 21:53:21 +0000 (21:53 +0000)]
Merge pull request #62 from KrzysiekJ/noshrink-type-fix
Fix type definition of triq_dom:domrec/1
Krzysztof Jurewicz [Mon, 15 Jan 2018 20:47:04 +0000 (21:47 +0100)]
Fix type definition of triq_dom:domrec/1
Tuncer Ayaz [Fri, 12 Jan 2018 16:51:06 +0000 (16:51 +0000)]
Merge pull request #61 from KrzysiekJ/noshrink
Add noshrink/1
Krzysztof Jurewicz [Fri, 12 Jan 2018 13:05:53 +0000 (14:05 +0100)]
Add noshrink/1
Krzysztof Jurewicz [Thu, 4 Jan 2018 13:43:40 +0000 (14:43 +0100)]
Increase sample size in consecutive ?SUCHTHAT attempts
Also remove a redundant invocation of property test via EUnit.
Krzysztof Jurewicz [Sun, 7 Jan 2018 09:56:31 +0000 (10:56 +0100)]
Merge remote-tracking branch 'tuncer/pages'
Tuncer Ayaz [Mon, 1 Jan 2018 13:36:40 +0000 (13:36 +0000)]
Implement GitLab Pages
1. convert README.markdown -> README.org
2. reuse README.org in org-mode based GitLab pages implementation
This way, we use org-mode to maintain README which GitLab-CI turns into
a homepage on GitLab Pages. It doesn't require a separate git branch and
makes it effortless to keep README and landing page in sync. We don't
check in any generated/exported files, it's all done by GitLab-CI during
publishing.
Tuncer Ayaz [Sun, 7 Jan 2018 01:32:14 +0000 (01:32 +0000)]
Merge pull request #58 from KrzysiekJ/compiler-dependency
Add compiler as a dependency
Krzysztof Jurewicz [Sat, 6 Jan 2018 12:18:31 +0000 (13:18 +0100)]
Add compiler as a dependency
Tuncer Ayaz [Mon, 1 Jan 2018 19:36:25 +0000 (19:36 +0000)]
getrebar: update copyright year
Krzysztof Jurewicz [Mon, 27 Nov 2017 11:04:21 +0000 (12:04 +0100)]
Merge remote-tracking branch 'tuncer/fix-dialyzer'
Tuncer Ayaz [Sun, 26 Nov 2017 19:32:57 +0000 (19:32 +0000)]
Dialyzer: fix contract and potential infinite loop
'any' is used for size=any, even though it's easy to confuse with any().
It's not a type but a plain atom.
This was introduced in
ebd20fc4d6d810ba5574dbc15a06c707f213b543
Tuncer Ayaz [Thu, 23 Nov 2017 11:57:07 +0000 (11:57 +0000)]
Merge pull request #54 from tuncer/apk-add-make
gitlab-ci: add make in alpine image
Tuncer Ayaz [Thu, 23 Nov 2017 11:55:37 +0000 (11:55 +0000)]
gitlab-ci: add make in alpine image
Tuncer Ayaz [Thu, 23 Nov 2017 08:15:19 +0000 (08:15 +0000)]
Merge pull request #53 from tuncer/rebar3-ci
Adapt CI config to rebar3 migration and rm rebar
Tuncer Ayaz [Wed, 22 Nov 2017 10:12:21 +0000 (10:12 +0000)]
Adapt CI config to rebar3 migration and rm rebar
Zachary Kessin [Wed, 22 Nov 2017 10:09:47 +0000 (12:09 +0200)]
Merge pull request #52 from tuncer/rebar3
Migrate to rebar3
Tuncer Ayaz [Wed, 22 Nov 2017 09:54:39 +0000 (09:54 +0000)]
Migrate to rebar3
Zachary Kessin [Wed, 22 Nov 2017 09:30:04 +0000 (11:30 +0200)]
Merge pull request #51 from tuncer/proj-cleanup
Project cleanup
Tuncer Ayaz [Tue, 21 Nov 2017 09:32:57 +0000 (09:32 +0000)]
pdict_statem: fix export_all warning
Tuncer Ayaz [Tue, 21 Nov 2017 09:18:12 +0000 (09:18 +0000)]
Makefile: remove xref (not needed); use Dialyzer
Tuncer Ayaz [Tue, 21 Nov 2017 09:05:30 +0000 (09:05 +0000)]
Fix lock_fsm:prop_lock_fsm/0 formatting
Tuncer Ayaz [Tue, 21 Nov 2017 08:27:44 +0000 (08:27 +0000)]
Remove unused Vagrant files
Tuncer Ayaz [Tue, 21 Nov 2017 08:13:19 +0000 (08:13 +0000)]
Makefile: properties are already tested, remove qc
Tuncer Ayaz [Tue, 21 Nov 2017 08:13:02 +0000 (08:13 +0000)]
THANKS: add Harlan Lieberman-Berg
Adam Rutkowski [Mon, 20 Nov 2017 18:19:06 +0000 (19:19 +0100)]
Merge pull request #50 from tuncer/fix-dialyzer-errors
Tuncer Ayaz [Tue, 14 Nov 2017 16:22:44 +0000 (16:22 +0000)]
Dialyzer: fix improper lists
Tuncer Ayaz [Tue, 14 Nov 2017 15:59:48 +0000 (15:59 +0000)]
Dialyzer: adapt domain() contract to actual use
Adam Rutkowski [Wed, 15 Nov 2017 08:10:29 +0000 (09:10 +0100)]
Merge pull request #41 from tuncer/ci-dialyze
Tuncer Ayaz [Tue, 14 Nov 2017 16:04:53 +0000 (16:04 +0000)]
travis-ci: update otp versions
Tuncer Ayaz [Thu, 28 Sep 2017 03:18:51 +0000 (03:18 +0000)]
Merge pull request #49 from tuncer/gl-ci-fix
gitlab-ci: no need to repeat image for build jobs
Tuncer Ayaz [Thu, 28 Sep 2017 03:16:52 +0000 (03:16 +0000)]
gitlab-ci: no need to repeat image for build jobs
Tuncer Ayaz [Thu, 28 Sep 2017 03:11:29 +0000 (03:11 +0000)]
Merge pull request #48 from tuncer/gitlab-ci-fix
gitlab-ci: fix Dialyzer and images
Tuncer Ayaz [Thu, 28 Sep 2017 03:09:01 +0000 (03:09 +0000)]
gitlab-ci: fix Dialyzer and images
- use Alpine image starting with 20
- use 20 for builds
- fix dependencies and Dialyzer with OTP >=20
Tuncer Ayaz [Fri, 22 Sep 2017 12:51:55 +0000 (12:51 +0000)]
Merge pull request #47 from KrzysiekJ/autoexport-fix
Autoexport EUnit property wrappers
Krzysztof Jurewicz [Fri, 22 Sep 2017 08:29:12 +0000 (10:29 +0200)]
Autoexport EUnit property wrappers
This makes -triq(eunit) module attribute actually work.
Tuncer Ayaz [Sun, 17 Sep 2017 20:58:57 +0000 (20:58 +0000)]
Merge pull request #46 from tuncer/gl-ci-no-xref
gitlab-ci: no need to run xref
Tuncer Ayaz [Sun, 17 Sep 2017 20:56:26 +0000 (20:56 +0000)]
gitlab-ci: no need to run xref
We run Dialyzer anyway, so remove the xref call that was added in the
previous diff to .gitlab-ci.yml. It provokes unnecessary warnings.
Tuncer Ayaz [Sat, 16 Sep 2017 01:34:59 +0000 (01:34 +0000)]
Merge pull request #45 from tuncer/gl-ci-fix
gitlab-ci: fix Dialyzer stage
Tuncer Ayaz [Tue, 12 Sep 2017 13:56:08 +0000 (13:56 +0000)]
gitlab-ci: fix Dialyzer stage
There are only 3 supported stages (build, test, deploy) which are not
going to be removed in the 10.0 release and we cannot define custom
stages.
Krzysztof Jurewicz [Fri, 8 Sep 2017 12:23:57 +0000 (14:23 +0200)]
Merge branch 'tuncer-gitlab-separate-dialyze'
Tuncer Ayaz [Tue, 5 Sep 2017 13:03:39 +0000 (13:03 +0000)]
gitlab-ci: dialyze in a separate stage
Tuncer Ayaz [Sun, 20 Aug 2017 11:56:14 +0000 (11:56 +0000)]
Improve Travis-CI config
- Run Dialyzer in a separate job, for the latest OTP release only.
- Run xref.
- Implement a custom script instead of Travis-CI default rebar task.
Krzysztof Jurewicz [Thu, 31 Aug 2017 13:53:48 +0000 (15:53 +0200)]
Merge branch 'tuncer-update-ci-badges'
Tuncer Ayaz [Thu, 31 Aug 2017 12:40:18 +0000 (12:40 +0000)]
README: update CI badges
Adam Rutkowski [Wed, 30 Aug 2017 21:12:34 +0000 (23:12 +0200)]
Merge pull request #42 from tuncer/README
Update and improve README
Tuncer Ayaz [Fri, 25 Aug 2017 20:33:12 +0000 (20:33 +0000)]
Update and improve README
- Document package manager use
- Document EUnit runner generator
- Update URLs
- Update from-source installation instractions
Zachary Kessin [Mon, 21 Aug 2017 07:56:56 +0000 (10:56 +0300)]
Merge pull request #38 from tuncer/gitlab-ci
gitlab-ci: test with Erlang 20
Zachary Kessin [Mon, 21 Aug 2017 07:56:48 +0000 (10:56 +0300)]
Merge pull request #39 from triqng/hq1-fix-shrinking-reporting
Fix reporting when in shrinking phase
Zachary Kessin [Mon, 21 Aug 2017 07:56:25 +0000 (10:56 +0300)]
Merge pull request #40 from tuncer/doc-eunit-gen
Document EUnit integration
Tuncer Ayaz [Sat, 19 Aug 2017 17:46:43 +0000 (17:46 +0000)]
Document EUnit integration
Adam Rutkowski [Fri, 18 Aug 2017 15:09:40 +0000 (17:09 +0200)]
Fix stdout reporting of shrinking phase
Tuncer Ayaz [Sun, 13 Aug 2017 17:12:50 +0000 (17:12 +0000)]
gitlab-ci: test with Erlang 20
Zachary Kessin [Sun, 13 Aug 2017 03:22:37 +0000 (06:22 +0300)]
Merge pull request #36 from tuncer/disable-werror
Disable warnings_as_errors
Tuncer Ayaz [Fri, 11 Aug 2017 20:37:27 +0000 (20:37 +0000)]
Disable warnings_as_errors
With the deprecation of gen_fsm and Triq's continued support of it,
there are warnings we cannot fix right now. Also, Werror is generally a
risky option, since there can always be unexpected warnings which then
cause the build to fail.
Zachary Kessin [Mon, 7 Aug 2017 07:22:24 +0000 (10:22 +0300)]
Merge pull request #35 from tuncer/dialyzer
Dialyzer: delete dead code
Tuncer Ayaz [Thu, 3 Aug 2017 17:25:03 +0000 (17:25 +0000)]
Dialyzer: delete dead code
Krzysztof Jurewicz [Wed, 10 May 2017 14:34:01 +0000 (16:34 +0200)]
Fix non-empty list shrinking
Krzysztof Jurewicz [Wed, 10 May 2017 12:22:58 +0000 (14:22 +0200)]
Apply predicate when shrinking ?SUCHTHAT
Krzysztof Jurewicz [Fri, 21 Apr 2017 13:44:34 +0000 (15:44 +0200)]
Support singleton ranges in choose/2 generator
Adam Rutkowski [Tue, 4 Jul 2017 09:19:09 +0000 (11:19 +0200)]
Update license
Adam Rutkowski [Tue, 4 Jul 2017 09:09:33 +0000 (11:09 +0200)]
Fix GitLab link
Adam Rutkowski [Tue, 4 Jul 2017 09:08:29 +0000 (11:08 +0200)]
Update package metadata
Zachary Kessin [Mon, 3 Jul 2017 06:47:02 +0000 (09:47 +0300)]
Merge pull request #28 from aerosol/master
Add configurable reporting module
Adam Rutkowski [Mon, 3 Jul 2017 06:15:00 +0000 (08:15 +0200)]
Add configurable reporting module
Zachary Kessin [Mon, 10 Apr 2017 13:59:41 +0000 (16:59 +0300)]
Merge pull request #24 from KrzysiekJ/rebar-executable
Make the bundled Rebar binary executable
Krzysztof Jurewicz [Mon, 10 Apr 2017 13:11:35 +0000 (15:11 +0200)]
Make the bundled Rebar binary executable
Zachary Kessin [Wed, 29 Mar 2017 06:21:45 +0000 (09:21 +0300)]
Merge pull request #23 from lemenkov/fix_edoc
Fix error while building edocs
Peter Lemenkov [Tue, 28 Mar 2017 14:51:58 +0000 (17:51 +0300)]
Spec matches actual function
INFO: Regenerating edocs for triq
./src/triq_dom.erl, function atom/0: at line 797: @spec name does not match.
edoc: skipping source file './src/triq_dom.erl': {'EXIT',error}
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
Peter Lemenkov [Tue, 28 Mar 2017 14:48:09 +0000 (17:48 +0300)]
Fix error while building edocs
INFO: Regenerating edocs for triq
./src/triq_dom.erl, function largeint/0: at line 638: unknown error parsing specification: {638,edoc_parser,
["syntax error before: ","'.'"]}.
edoc: skipping source file './src/triq_dom.erl': {'EXIT',error}.
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>