projects
/
couchdb-triq.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
couchdb-triq.git
2018-02-07
Adam Rutkowski
Merge pull request #79 from tuncer/prepare-1.2.0
upstream
v1.2.0
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Tuncer Ayaz
Prepare 1.2.0
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Krzysztof Jurewicz
Merge remote-tracking branch 'tuncer/remove-obsolete...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Tuncer Ayaz
Remove unused config/sys.config
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Krzysztof Jurewicz
Merge remote-tracking branch 'tuncer/remove-obsolete...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Tuncer Ayaz
Remove obsolete releaser script
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Tuncer Ayaz
Merge pull request #60 from KrzysiekJ/benchmarks
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Tuncer Ayaz
Merge pull request #75 from nickva/fix-oneof-test-timeout
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Tuncer Ayaz
Merge pull request #76 from KrzysiekJ/travis-removal
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Krzysztof Jurewicz
Remove .travis.yml
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Krzysztof Jurewicz
Add a failing benchmark for vector shrinking
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Nick Vatamaniuc
Increase timeout of oneof test from default 5 sec to...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Tuncer Ayaz
Merge pull request #74 from nickva/reduce-tries-on...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-06
Nick Vatamaniuc
Avoid timeout in non_empty_list_shrink_test
commit
|
commitdiff
|
tree
|
snapshot
2018-02-06
Adam Rutkowski
Merge pull request #73 from tuncer/migration
commit
|
commitdiff
|
tree
|
snapshot
2018-02-06
Tuncer Ayaz
Prepare GitLab migration (adjust app file URLs)
commit
|
commitdiff
|
tree
|
snapshot
2018-02-06
Krzysztof Jurewicz
Merge remote-tracking branch 'nickva/fix-int-range...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-06
Nick Vatamaniuc
Improve choose/2 and int/2 generators.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-03
Tuncer Ayaz
Merge pull request #71 from tuncer/clean-docs
commit
|
commitdiff
|
tree
|
snapshot
2018-02-03
Tuncer Ayaz
doc: remove obsolete generated files
commit
|
commitdiff
|
tree
|
snapshot
2018-02-01
Tuncer Ayaz
Merge pull request #70 from tuncer/contributing-index...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-01
Tuncer Ayaz
pages: link to index from contributing
commit
|
commitdiff
|
tree
|
snapshot
2018-02-01
Krzysztof Jurewicz
Merge remote-tracking branch 'nickva/fix-largeint-type'
commit
|
commitdiff
|
tree
|
snapshot
2018-02-01
Tuncer Ayaz
Merge pull request #69 from tuncer/pages-add-contributi...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-01
Tuncer Ayaz
Add contributing guide to gitlab pages
commit
|
commitdiff
|
tree
|
snapshot
2018-01-31
Nick Vatamaniuc
Make largeint() generate integers
commit
|
commitdiff
|
tree
|
snapshot
2018-01-31
Tuncer Ayaz
Merge pull request #64 from KrzysiekJ/noshrink-refactor
commit
|
commitdiff
|
tree
|
snapshot
2018-01-29
Krzysztof Jurewicz
Remove the noshrink field from domain record
commit
|
commitdiff
|
tree
|
snapshot
2018-01-16
Tuncer Ayaz
Merge pull request #63 from tuncer/README-update
commit
|
commitdiff
|
tree
|
snapshot
2018-01-16
Tuncer Ayaz
README: update links and title
commit
|
commitdiff
|
tree
|
snapshot
2018-01-15
Tuncer Ayaz
Merge pull request #62 from KrzysiekJ/noshrink-type-fix
commit
|
commitdiff
|
tree
|
snapshot
2018-01-15
Krzysztof Jurewicz
Fix type definition of triq_dom:domrec/1
commit
|
commitdiff
|
tree
|
snapshot
2018-01-12
Tuncer Ayaz
Merge pull request #61 from KrzysiekJ/noshrink
commit
|
commitdiff
|
tree
|
snapshot
2018-01-12
Krzysztof Jurewicz
Add noshrink/1
commit
|
commitdiff
|
tree
|
snapshot
2018-01-08
Krzysztof Jurewicz
Increase sample size in consecutive ?SUCHTHAT attempts
commit
|
commitdiff
|
tree
|
snapshot
2018-01-07
Krzysztof Jurewicz
Merge remote-tracking branch 'tuncer/pages'
commit
|
commitdiff
|
tree
|
snapshot
2018-01-07
Tuncer Ayaz
Implement GitLab Pages
commit
|
commitdiff
|
tree
|
snapshot
2018-01-07
Tuncer Ayaz
Merge pull request #58 from KrzysiekJ/compiler-dependency
commit
|
commitdiff
|
tree
|
snapshot
2018-01-06
Krzysztof Jurewicz
Add compiler as a dependency
commit
|
commitdiff
|
tree
|
snapshot
2018-01-01
Tuncer Ayaz
getrebar: update copyright year
commit
|
commitdiff
|
tree
|
snapshot
2017-11-27
Krzysztof Jurewicz
Merge remote-tracking branch 'tuncer/fix-dialyzer'
commit
|
commitdiff
|
tree
|
snapshot
2017-11-27
Tuncer Ayaz
Dialyzer: fix contract and potential infinite loop
commit
|
commitdiff
|
tree
|
snapshot
2017-11-23
Tuncer Ayaz
Merge pull request #54 from tuncer/apk-add-make
commit
|
commitdiff
|
tree
|
snapshot
2017-11-23
Tuncer Ayaz
gitlab-ci: add make in alpine image
commit
|
commitdiff
|
tree
|
snapshot
2017-11-23
Tuncer Ayaz
Merge pull request #53 from tuncer/rebar3-ci
commit
|
commitdiff
|
tree
|
snapshot
2017-11-22
Tuncer Ayaz
Adapt CI config to rebar3 migration and rm rebar
commit
|
commitdiff
|
tree
|
snapshot
2017-11-22
Zachary Kessin
Merge pull request #52 from tuncer/rebar3
commit
|
commitdiff
|
tree
|
snapshot
2017-11-22
Tuncer Ayaz
Migrate to rebar3
commit
|
commitdiff
|
tree
|
snapshot
2017-11-22
Zachary Kessin
Merge pull request #51 from tuncer/proj-cleanup
commit
|
commitdiff
|
tree
|
snapshot
2017-11-21
Tuncer Ayaz
pdict_statem: fix export_all warning
commit
|
commitdiff
|
tree
|
snapshot
2017-11-21
Tuncer Ayaz
Makefile: remove xref (not needed); use Dialyzer
commit
|
commitdiff
|
tree
|
snapshot
2017-11-21
Tuncer Ayaz
Fix lock_fsm:prop_lock_fsm/0 formatting
commit
|
commitdiff
|
tree
|
snapshot
2017-11-21
Tuncer Ayaz
Remove unused Vagrant files
commit
|
commitdiff
|
tree
|
snapshot
2017-11-21
Tuncer Ayaz
Makefile: properties are already tested, remove qc
commit
|
commitdiff
|
tree
|
snapshot
2017-11-21
Tuncer Ayaz
THANKS: add Harlan Lieberman-Berg
commit
|
commitdiff
|
tree
|
snapshot
2017-11-20
Adam Rutkowski
Merge pull request #50 from tuncer/fix-dialyzer-errors
commit
|
commitdiff
|
tree
|
snapshot
2017-11-16
Tuncer Ayaz
Dialyzer: fix improper lists
commit
|
commitdiff
|
tree
|
snapshot
2017-11-16
Tuncer Ayaz
Dialyzer: adapt domain() contract to actual use
commit
|
commitdiff
|
tree
|
snapshot
2017-11-15
Adam Rutkowski
Merge pull request #41 from tuncer/ci-dialyze
commit
|
commitdiff
|
tree
|
snapshot
2017-11-14
Tuncer Ayaz
travis-ci: update otp versions
commit
|
commitdiff
|
tree
|
snapshot
2017-09-28
Tuncer Ayaz
Merge pull request #49 from tuncer/gl-ci-fix
commit
|
commitdiff
|
tree
|
snapshot
2017-09-28
Tuncer Ayaz
gitlab-ci: no need to repeat image for build jobs
commit
|
commitdiff
|
tree
|
snapshot
2017-09-28
Tuncer Ayaz
Merge pull request #48 from tuncer/gitlab-ci-fix
commit
|
commitdiff
|
tree
|
snapshot
2017-09-28
Tuncer Ayaz
gitlab-ci: fix Dialyzer and images
commit
|
commitdiff
|
tree
|
snapshot
2017-09-22
Tuncer Ayaz
Merge pull request #47 from KrzysiekJ/autoexport-fix
commit
|
commitdiff
|
tree
|
snapshot
2017-09-22
Krzysztof Jurewicz
Autoexport EUnit property wrappers
commit
|
commitdiff
|
tree
|
snapshot
2017-09-17
Tuncer Ayaz
Merge pull request #46 from tuncer/gl-ci-no-xref
commit
|
commitdiff
|
tree
|
snapshot
2017-09-17
Tuncer Ayaz
gitlab-ci: no need to run xref
commit
|
commitdiff
|
tree
|
snapshot
2017-09-16
Tuncer Ayaz
Merge pull request #45 from tuncer/gl-ci-fix
commit
|
commitdiff
|
tree
|
snapshot
2017-09-12
Tuncer Ayaz
gitlab-ci: fix Dialyzer stage
commit
|
commitdiff
|
tree
|
snapshot
2017-09-08
Krzysztof Jurewicz
Merge branch 'tuncer-gitlab-separate-dialyze'
commit
|
commitdiff
|
tree
|
snapshot
2017-09-08
Tuncer Ayaz
gitlab-ci: dialyze in a separate stage
commit
|
commitdiff
|
tree
|
snapshot
2017-08-31
Tuncer Ayaz
Improve Travis-CI config
commit
|
commitdiff
|
tree
|
snapshot
2017-08-31
Krzysztof Jurewicz
Merge branch 'tuncer-update-ci-badges'
commit
|
commitdiff
|
tree
|
snapshot
2017-08-31
Tuncer Ayaz
README: update CI badges
commit
|
commitdiff
|
tree
|
snapshot
2017-08-30
Adam Rutkowski
Merge pull request #42 from tuncer/README
commit
|
commitdiff
|
tree
|
snapshot
2017-08-29
Tuncer Ayaz
Update and improve README
commit
|
commitdiff
|
tree
|
snapshot
2017-08-21
Zachary Kessin
Merge pull request #38 from tuncer/gitlab-ci
commit
|
commitdiff
|
tree
|
snapshot
2017-08-21
Zachary Kessin
Merge pull request #39 from triqng/hq1-fix-shrinking...
commit
|
commitdiff
|
tree
|
snapshot
2017-08-21
Zachary Kessin
Merge pull request #40 from tuncer/doc-eunit-gen
commit
|
commitdiff
|
tree
|
snapshot
2017-08-19
Tuncer Ayaz
Document EUnit integration
commit
|
commitdiff
|
tree
|
snapshot
2017-08-18
Adam Rutkowski
Fix stdout reporting of shrinking phase
commit
|
commitdiff
|
tree
|
snapshot
2017-08-13
Tuncer Ayaz
gitlab-ci: test with Erlang 20
commit
|
commitdiff
|
tree
|
snapshot
2017-08-13
Zachary Kessin
Merge pull request #36 from tuncer/disable-werror
commit
|
commitdiff
|
tree
|
snapshot
2017-08-11
Tuncer Ayaz
Disable warnings_as_errors
commit
|
commitdiff
|
tree
|
snapshot
2017-08-07
Zachary Kessin
Merge pull request #35 from tuncer/dialyzer
commit
|
commitdiff
|
tree
|
snapshot
2017-08-03
Tuncer Ayaz
Dialyzer: delete dead code
commit
|
commitdiff
|
tree
|
snapshot
2017-07-19
Krzysztof Jurewicz
Fix non-empty list shrinking
commit
|
commitdiff
|
tree
|
snapshot
2017-07-19
Krzysztof Jurewicz
Apply predicate when shrinking ?SUCHTHAT
commit
|
commitdiff
|
tree
|
snapshot
2017-07-19
Krzysztof Jurewicz
Support singleton ranges in choose/2 generator
commit
|
commitdiff
|
tree
|
snapshot
2017-07-04
Adam Rutkowski
Update license
commit
|
commitdiff
|
tree
|
snapshot
2017-07-04
Adam Rutkowski
Fix GitLab link
1.0.2
commit
|
commitdiff
|
tree
|
snapshot
2017-07-04
Adam Rutkowski
Update package metadata
1.0.1
commit
|
commitdiff
|
tree
|
snapshot
2017-07-03
Zachary Kessin
Merge pull request #28 from aerosol/master
1.1
commit
|
commitdiff
|
tree
|
snapshot
2017-07-03
Adam Rutkowski
Add configurable reporting module
commit
|
commitdiff
|
tree
|
snapshot
2017-04-10
Zachary Kessin
Merge pull request #24 from KrzysiekJ/rebar-executable
commit
|
commitdiff
|
tree
|
snapshot
2017-04-10
Krzysztof Jurewicz
Make the bundled Rebar binary executable
commit
|
commitdiff
|
tree
|
snapshot
2017-03-29
Zachary Kessin
Merge pull request #23 from lemenkov/fix_edoc
commit
|
commitdiff
|
tree
|
snapshot
2017-03-28
Peter Lemenkov
Spec matches actual function
commit
|
commitdiff
|
tree
|
snapshot
2017-03-28
Peter Lemenkov
Fix error while building edocs
commit
|
commitdiff
|
tree
|
snapshot
next