couchdb-triq.git
2017-07-04  Adam RutkowskiUpdate package metadata 1.0.1
2017-07-03  Zachary KessinMerge pull request #28 from aerosol/master 1.1
2017-07-03  Adam RutkowskiAdd configurable reporting module
2017-04-10  Zachary KessinMerge pull request #24 from KrzysiekJ/rebar-executable
2017-04-10  Krzysztof JurewiczMake the bundled Rebar binary executable
2017-03-29  Zachary KessinMerge pull request #23 from lemenkov/fix_edoc
2017-03-28  Peter LemenkovSpec matches actual function
2017-03-28  Peter LemenkovFix error while building edocs
2016-09-01  Zachary KessinRebar v 2.6.4
2016-09-01  Zachary KessinMerge pull request #21 from tuncer/fixup
2016-09-01  Tuncer AyazFixup unused variable
2016-09-01  Tuncer AyazFixup re-introduced random:X() calls
2016-09-01  Zachary KessinMerge pull request #19 from tuncer/hlieberman1
2016-09-01  Zachary KessinMerge pull request #20 from tuncer/eunit-opt-in
2016-09-01  Tuncer AyazMake EUnit test generation opt-in
2016-08-31  Tuncer Ayaztriq_autoexport: apply minor whitespace fix
2016-08-31  Tuncer Ayaztriq_autoexport: apply minor fixes
2016-08-31  Tuncer AyazMerge branch 'bugfixes' of https://gitlab.com/hlieberma...
2016-08-31  Tuncer AyazMerge branch 'add-types' of https://gitlab.com/hlieberm...
2016-08-28  Zachary KessinMerge pull request #18 from tuncer/better-ci
2016-08-28  Tuncer Ayaz.gitlab-ci.yml: run Dialyzer
2016-08-28  Tuncer Ayaz.gitlab-ci.yml: no need to report file deletion
2016-08-28  Tuncer Ayaz.gitlab-ci.yml: @zkessin suggested to add copyright...
2016-08-28  Tuncer AyazImprove .gitlab-ci.yml
2016-08-27  Harlan Lieberman... Add clarification on purpose of triq_dom:sample/1
2016-08-27  James FishEvaluate dynamic next_state
2016-08-27  Harlan Lieberman... Correct symbolic state leaking into postcondition/3
2016-08-27  Harlan Lieberman... Merge remote-tracking branch 'gitlab/master' into add...
2016-08-27  Zachary KessinMerge pull request #16 from tuncer/gitlab-ci
2016-08-26  Tuncer AyazAdd GitLab CI support
2016-08-24  Zachary KessinMerge pull request #9 from tuncer/merge-kresten-master
2016-08-23  Tuncer AyazRevert "improvements to the makefile"
2016-08-23  Tuncer AyazMerge https://github.com/triqng/triq into merge-kresten...
2016-08-12  Tuncer Ayazrebar.config.script: handle already started crypto app
2016-08-07  Tuncer Ayaz.travis.yml: enable more OTP versions
2016-08-07  Tuncer AyazIntroduce and use compat random number module
2016-08-07  Tuncer AyazIgnore .rebar
2015-10-29  Pieter HintjensMerge pull request #8 from zkessin/export_as_eunit
2015-10-18  Kresten Krab... Merge pull request #54 from Primordus/module_tests 1.0.0
2015-10-18  Luc TielenAdded extra guard clause
2015-10-17  Luc TielenAdded possibility to specify amount of tests for entire...
2015-09-15  Zachary KessinMerge pull request #7 from jstepien/readme-eunit
2015-09-15  Jan StępieńIn the eunit hint use binding instead of equals-to
2015-08-21  Zachary Kessinadd each property as its own eunit test
2015-06-12  Pieter HintjensMerge pull request #6 from zkessin/master
2015-06-12  Zachary Kessinadd float as an alias for real
2015-05-18  Pieter HintjensMerge pull request #5 from zkessin/master
2015-05-18  Zachary Kessinadd statem behaviour
2015-04-23  Harlan Lieberman... First implementation of large integer support.
2015-04-18  Harlan Lieberman... Add support for bitstring/0, bitstring/1 types.
2015-04-12  Harlan Lieberman... Add edoc string for atom domain.
2015-04-06  Harlan Lieberman... Add support for ?SETUP and ?LAZY.
2015-03-31  Harlan Lieberman... Add preliminary support for triq:conjunction/1.
2015-03-30  Harlan Lieberman... Add equals/2, a property which succeeds on equality.
2015-03-09  Pieter HintjensMerge pull request #4 from zkessin/master
2015-03-09  Zachary Kessinalias quickcheck for check, for compatability with...
2015-03-09  Pieter HintjensMerge pull request #3 from zkessin/master
2015-03-09  Zachary Kessinimprovements to the makefile
2015-03-09  Pieter HintjensMerge pull request #2 from tuncer/contributing
2015-03-09  Pieter HintjensMerge pull request #1 from zkessin/travis_versions
2015-03-09  Tuncer AyazAdd CONTRIBUTING and THANKS
2015-03-09  Tuncer AyazUpdate .gitignore
2015-03-09  Zachary KessinUpdate README.markdown
2015-03-09  Zachary KessinUpdate README.markdown
2015-02-02  Zachary Kessinmore versions of erlang in travis
2015-01-08  Kresten Krab... Merge pull request #43 from zkessin/num_tests
2015-01-08  Kresten Krab... Merge pull request #34 from MirkoBonadei/vagrant_dev_en...
2015-01-08  Kresten Krab... Merge pull request #42 from Cloven/full_spectrum_int_ra...
2014-12-27  Zachary Kessinadd module/2 to allow a variable number of tests
2014-12-20  fsgchanges int range generator to range across full given...
2014-12-17  Kresten Krab... Merge pull request #41 from essen/broken-intrange
2014-12-17  Loïc HoguinFix int/2 generator
2014-12-15  Kresten Krab... Merge pull request #38 from Cloven/fix_autogenerated_fu...
2014-12-15  fsgthe autogenerated function in the parse transform was...
2014-11-22  Mirko BonadeiVagrant dev environment for Triq
2014-11-17  Kresten Krab... Make triq_tests runnable again
2014-11-17  Kresten Krab... Merge pull request #30 from nifoc/makefile
2014-11-17  Kresten Krab... Merge pull request #31 from jhlywa/master
2014-11-17  Kresten Krab... Make the pict test a bit more verbose on error
2014-11-17  Kresten Krab... Add travis build graphics
2014-11-17  Kresten Krab... Fix travis yml
2014-11-17  Kresten Krab... Make pdict test be run as eunit
2014-11-17  Kresten Krab... disable breaking test
2014-11-17  Kresten Krab... Remove verbose seed output
2014-11-17  Kresten Krab... Add travis
2014-11-16  Kresten Krab... Merge pull request #32 from MirkoBonadei/increase_rando...
2014-11-16  Mirko BonadeiIncreased level of randomness
2014-09-10  Jeff HlywaMore aggressive shrinker for choose/2
2014-08-19  Daniel KempkensRemove eunit from default target
2014-07-08  Kresten Krab... Merge pull request #28 from richcarl/autoexport-relicense
2014-05-06  Kresten Krab... Merge branch 'master' of git://github.com/krestenkrab...
2014-05-06  Kresten Krab... allow all kinds of specific values as generators
2014-04-20  Richard Carlssonrelicense the autoexport module under Apache 2.0 to...
2013-06-12  Kresten Krab... Merge pull request #27 from tuncer/readme
2013-06-12  Kresten Krab... Merge pull request #26 from fishcakez/fix-unicode-char...
2013-06-12  Andrew PennebakerREADME: Git-based installation steps
2013-06-10  James FishFix typo in unicode character test
2013-04-06  Kresten Krab... Merge pull request #22 from tuncer/triq_dom-unused-fun
2013-04-06  Tuncer AyazEnable warnings_as_errors (Suggested-by: Joe Norton)
2013-04-06  Tuncer Ayaztriq_unicode_tests: make prop_unicode_char/0 actually...
next