Merge pull request #79 from tuncer/prepare-1.2.0

Prepare 1.2.0

Merge remote-tracking branch 'tuncer/remove-obsolete-sys.config'

Remove unused config/sys.config

Merge remote-tracking branch 'tuncer/remove-obsolete-script'

Remove obsolete releaser script

Merge pull request #60 from KrzysiekJ/benchmarks

Vector shrinking is inefficient

Merge pull request #75 from nickva/fix-oneof-test-timeout

Increase timeout of oneof test from default 5 sec to 15 sec

Merge pull request #76 from KrzysiekJ/travis-removal

Remove .travis.yml

Remove .travis.yml

Since we’re moving to GitLab CI, it should not be needed anymore.

Add a failing benchmark for vector shrinking

This introduces an ad-hoc framework for making benchmarking
assertions, using cprof.

Increase timeout of oneof test from default 5 sec to 15 sec

In an overcrowded CI environment 5 sec is sometimes not enough.

Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test

Avoid timeout in non_empty_list_shrink_test

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.

Merge pull request #73 from tuncer/migration

Prepare GitLab migration (adjust app file URLs)

Merge remote-tracking branch 'nickva/fix-int-range-shrink'

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

Merge pull request #71 from tuncer/clean-docs

doc: remove obsolete generated files

doc: remove obsolete generated files

Merge pull request #70 from tuncer/contributing-index-links

pages: link to index from contributing

pages: link to index from contributing

Merge remote-tracking branch 'nickva/fix-largeint-type'

Merge pull request #69 from tuncer/pages-add-contributing-guide

Add contributing guide to gitlab pages

Add contributing guide to gitlab pages

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

Merge pull request #64 from KrzysiekJ/noshrink-refactor

Remove the noshrink field from domain record

Remove the noshrink field from domain record

This is only a refactoring.

Merge pull request #63 from tuncer/README-update

README: update links and title

README: update links and title

Merge pull request #62 from KrzysiekJ/noshrink-type-fix

Fix type definition of triq_dom:domrec/1

Fix type definition of triq_dom:domrec/1

Merge pull request #61 from KrzysiekJ/noshrink

Add noshrink/1

Add noshrink/1

Increase sample size in consecutive ?SUCHTHAT attempts

Also remove a redundant invocation of property test via EUnit.

Merge remote-tracking branch 'tuncer/pages'

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.

Merge pull request #58 from KrzysiekJ/compiler-dependency

Add compiler as a dependency

Add compiler as a dependency

getrebar: update copyright year

Merge remote-tracking branch 'tuncer/fix-dialyzer'

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

Merge pull request #54 from tuncer/apk-add-make

gitlab-ci: add make in alpine image

gitlab-ci: add make in alpine image

Merge pull request #53 from tuncer/rebar3-ci

Adapt CI config to rebar3 migration and rm rebar

Adapt CI config to rebar3 migration and rm rebar

Merge pull request #52 from tuncer/rebar3

Migrate to rebar3

Migrate to rebar3

Merge pull request #51 from tuncer/proj-cleanup

Project cleanup

pdict_statem: fix export_all warning

Makefile: remove xref (not needed); use Dialyzer

Fix lock_fsm:prop_lock_fsm/0 formatting

Remove unused Vagrant files

Makefile: properties are already tested, remove qc

THANKS: add Harlan Lieberman-Berg

Merge pull request #50 from tuncer/fix-dialyzer-errors

Dialyzer: fix improper lists

Dialyzer: adapt domain() contract to actual use

Merge pull request #41 from tuncer/ci-dialyze

travis-ci: update otp versions

Merge pull request #49 from tuncer/gl-ci-fix

gitlab-ci: no need to repeat image for build jobs

gitlab-ci: no need to repeat image for build jobs

Merge pull request #48 from tuncer/gitlab-ci-fix

gitlab-ci: fix Dialyzer and images

gitlab-ci: fix Dialyzer and images

- use Alpine image starting with 20
- use 20 for builds
- fix dependencies and Dialyzer with OTP >=20

Merge pull request #47 from KrzysiekJ/autoexport-fix

Autoexport EUnit property wrappers

Autoexport EUnit property wrappers

This makes -triq(eunit) module attribute actually work.

Merge pull request #46 from tuncer/gl-ci-no-xref

gitlab-ci: no need to run xref

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.

Merge pull request #45 from tuncer/gl-ci-fix

gitlab-ci: fix Dialyzer stage

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.

Merge branch 'tuncer-gitlab-separate-dialyze'

gitlab-ci: dialyze in a separate stage

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.

Merge branch 'tuncer-update-ci-badges'

README: update CI badges

Merge pull request #42 from tuncer/README

Update and improve README

Update and improve README

- Document package manager use
- Document EUnit runner generator
- Update URLs
- Update from-source installation instractions

Merge pull request #38 from tuncer/gitlab-ci

gitlab-ci: test with Erlang 20

Merge pull request #39 from triqng/hq1-fix-shrinking-reporting

Fix reporting when in shrinking phase

Merge pull request #40 from tuncer/doc-eunit-gen

Document EUnit integration

Document EUnit integration

Fix stdout reporting of shrinking phase

gitlab-ci: test with Erlang 20

Merge pull request #36 from tuncer/disable-werror

Disable warnings_as_errors

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.

Merge pull request #35 from tuncer/dialyzer

Dialyzer: delete dead code

Dialyzer: delete dead code

Fix non-empty list shrinking

Apply predicate when shrinking ?SUCHTHAT

Support singleton ranges in choose/2 generator

Update license

Fix GitLab link

Update package metadata

Merge pull request #28 from aerosol/master

Add configurable reporting module

Add configurable reporting module

Merge pull request #24 from KrzysiekJ/rebar-executable

Make the bundled Rebar binary executable

Make the bundled Rebar binary executable

Merge pull request #23 from lemenkov/fix_edoc

Fix error while building edocs

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>

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>