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