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