Sign in
apache
/
couchdb-triq
/
c6a68e1527e18cec88abffd42adf9ea8eb83447d
/
src
391f65a
Document origin and new name
by Tuncer Ayaz
· 7 years ago
544d875
Make rand/random mod selection at compile time
by tuncer
· 7 years ago
51dd82d
Remove superfluous comment lines
by Tuncer Ayaz
· 7 years ago
fadefe0
triq.app.src: delete superfluous comment
by Tuncer Ayaz
· 7 years ago
09903cf
Remove unused supervision and app modules
by Krzysztof Jurewicz
· 7 years ago
da34d9e
Make triq_dom:non_neg_integer/0 generate 0 sometimes
by Krzysztof Jurewicz
· 7 years ago
d0b10eb
Add missing license header to reporter
by Nick Vatamaniuc
· 7 years ago
7ba7d9b
Simplify OTP 21 trace fix (Thanks Michael Truog)
by Tuncer Ayaz
· 7 years ago
32081d3
Merge branch 'otp-21-stacktrace-syntax' into 'master'
by tuncer
· 7 years ago
e0d25a2
Add copyright line mentioning Triq authors
by Nick Vatamaniuc
· 7 years ago
fde5d51
Fix OTP 21 stacktrace deprecation
by Tuncer Ayaz
· 7 years ago
042ac55
Implement -triq({eunit, [{runs, N}]}) attribute
by Tuncer Ayaz
· 7 years ago
f90cb36
Fix OTP string API deprecations
by Tuncer Ayaz
· 7 years ago
a2ad775
Prepare 1.2.0
by Tuncer Ayaz
· 7 years ago
70a8d70
Merge pull request #73 from tuncer/migration
by Adam Rutkowski
· 7 years ago
6a63708
Prepare GitLab migration (adjust app file URLs)
by Tuncer Ayaz
· 7 years ago
b4ce70c
Improve choose/2 and int/2 generators.
by Nick Vatamaniuc
· 7 years ago
99d795e
Make largeint() generate integers
by Nick Vatamaniuc
· 7 years ago
9bf6ab6
Remove the noshrink field from domain record
by Krzysztof Jurewicz
· 7 years ago
5dbce6b
Fix type definition of triq_dom:domrec/1
by Krzysztof Jurewicz
· 7 years ago
1e26d5e
Add noshrink/1
by Krzysztof Jurewicz
· 7 years ago
b66ff70
Increase sample size in consecutive ?SUCHTHAT attempts
by Krzysztof Jurewicz
· 7 years ago
5085ccf
Add compiler as a dependency
by Krzysztof Jurewicz
· 7 years ago
9a43a0e
Dialyzer: fix contract and potential infinite loop
by Tuncer Ayaz
· 7 years ago
beb4ab1
Dialyzer: fix improper lists
by Tuncer Ayaz
· 7 years ago
b2b858b
Dialyzer: adapt domain() contract to actual use
by Tuncer Ayaz
· 7 years ago
08925d7
Autoexport EUnit property wrappers
by Krzysztof Jurewicz
· 7 years ago
9438bc0
Fix stdout reporting of shrinking phase
by Adam Rutkowski
· 7 years ago
05b18cb
Dialyzer: delete dead code
by Tuncer Ayaz
· 7 years ago
4fea56d
Fix non-empty list shrinking
by Krzysztof Jurewicz
· 8 years ago
73bb310
Apply predicate when shrinking ?SUCHTHAT
by Krzysztof Jurewicz
· 8 years ago
6101366
Support singleton ranges in choose/2 generator
by Krzysztof Jurewicz
· 8 years ago
0591543
Update license
by Adam Rutkowski
· 8 years ago
8a6e8dd
Fix GitLab link
by Adam Rutkowski
· 8 years ago
1.0.2
c8a6098
Update package metadata
by Adam Rutkowski
· 8 years ago
1.0.1
2262a90
Add configurable reporting module
by Adam Rutkowski
· 8 years ago
c951d71
Spec matches actual function
by Peter Lemenkov
· 8 years ago
10d8d01
Fix error while building edocs
by Peter Lemenkov
· 8 years ago
5d6e042
Fixup unused variable
by Tuncer Ayaz
· 8 years ago
6151d20
Fixup re-introduced random:X() calls
by Tuncer Ayaz
· 8 years ago
055a685
Merge pull request #19 from tuncer/hlieberman1
by Zachary Kessin
· 8 years ago
c709d91
Make EUnit test generation opt-in
by Tuncer Ayaz
· 8 years ago
404919c
triq_autoexport: apply minor whitespace fix
by Tuncer Ayaz
· 8 years ago
e631069
triq_autoexport: apply minor fixes
by Tuncer Ayaz
· 8 years ago
f5b3921
Merge branch 'bugfixes' of https://gitlab.com/hlieberman/triq into hlieberman1
by Tuncer Ayaz
· 8 years ago
9965c53
Add clarification on purpose of triq_dom:sample/1
by Harlan Lieberman-Berg
· 9 years ago
2a07194
Evaluate dynamic next_state
by James Fish
· 10 years ago
4365abc
Correct symbolic state leaking into postcondition/3
by Harlan Lieberman-Berg
· 10 years ago
3a47a99
Merge remote-tracking branch 'gitlab/master' into add-types
by Harlan Lieberman-Berg
· 8 years ago
bfbdd73
Merge https://github.com/triqng/triq into merge-kresten-master
by Tuncer Ayaz
· 8 years ago
4c4f90a
Introduce and use compat random number module
by Tuncer Ayaz
· 8 years ago
c574f6d
Added extra guard clause
by Luc Tielen
· 9 years ago
819103d
Added possibility to specify amount of tests for entire module.
by Luc Tielen
· 9 years ago
43cb191
add each property as its own eunit test
by Zachary Kessin
· 9 years ago
05e217e
add float as an alias for real
by Zachary Kessin
· 10 years ago
eb4013b
add statem behaviour
by Zachary Kessin
· 10 years ago
ea85a85
First implementation of large integer support.
by Harlan Lieberman-Berg
· 10 years ago
77f8258
Add support for bitstring/0, bitstring/1 types.
by Harlan Lieberman-Berg
· 10 years ago
4ffa140
Add edoc string for atom domain.
by Harlan Lieberman-Berg
· 10 years ago
2f9fe6e
Add support for ?SETUP and ?LAZY.
by Harlan Lieberman-Berg
· 10 years ago
37a0bdd
Add preliminary support for triq:conjunction/1.
by Harlan Lieberman-Berg
· 10 years ago
90e9bd9
Add equals/2, a property which succeeds on equality.
by Harlan Lieberman-Berg
· 10 years ago
b486233
alias quickcheck for check, for compatability with PropEr and eqc APIS
by Zachary Kessin
· 10 years ago
2fe1529
Merge pull request #43 from zkessin/num_tests
by Kresten Krab Thorup
· 10 years ago
2b6b872
add module/2 to allow a variable number of tests
by Zachary Kessin
· 10 years ago
806b184
changes int range generator to range across full given range, regardless of current samplesize
by fsg
· 10 years ago
5cc1ffd
Fix int/2 generator
by Loïc Hoguin
· 10 years ago
0c6118d
the autogenerated function in the parse transform was calling triq:test,
by fsg
· 10 years ago
f440bc0
Merge pull request #31 from jhlywa/master
by Kresten Krab Thorup
· 10 years ago
2eff593
Remove verbose seed output
by Kresten Krab Thorup
· 10 years ago
c38f75c
Increased level of randomness
by Mirko Bonadei
· 10 years ago
db97613
More aggressive shrinker for choose/2
by Jeff Hlywa
· 10 years ago
0c1a00d
Merge pull request #28 from richcarl/autoexport-relicense
by Kresten Krab Thorup
· 11 years ago
502016f
Merge branch 'master' of git://github.com/krestenkrab/triq
by Kresten Krab Thorup
· 11 years ago
abc157b
allow all kinds of specific values as generators
by Kresten Krab Thorup
· 11 years ago
812549b
relicense the autoexport module under Apache 2.0 to make things simpler
by Richard Carlsson
· 11 years ago
ecbcf37
triq_dom: minor fixup
by Tuncer Ayaz
· 12 years ago
f542503
Delete unused fun triq_dom:try_shrink/3 (Reported-by: Joe Norton)
by Tuncer Ayaz
· 12 years ago
d556c9e
Remove vestiges of package syntax
by Tuncer Ayaz
· 12 years ago
a1f8dd3
triq_fsm: fix warnings (unused var and imports)
by Tuncer Ayaz
· 12 years ago
74b6c36
Update copyright years
by Tuncer Ayaz
· 12 years ago
cbb0f3e
Add missing copyright headers based on git history
by Tuncer Ayaz
· 12 years ago
91c8b89
Fix R16 compatibility (stop using pmod)
by Tuncer Ayaz
· 12 years ago
0a01c59
Fix pos_integer/0 and non_neg_integer/0
by Tuncer Ayaz
· 12 years ago
99de9fb
Fix M:initial_state/0 handling
by Tuncer Ayaz
· 12 years ago
2b66b3d
Fix formatting
by Tuncer Ayaz
· 12 years ago
58e7676
Add file local vars
by Tuncer Ayaz
· 12 years ago
fba3f55
triq_dom: minor comment fixes
by Tuncer Ayaz
· 12 years ago
3c80722
Fix -spec syntax in triq_dom:sized/1
by Tuncer Ayaz
· 12 years ago
0e3db91
Move tests from src/ to test/
by Tuncer Ayaz
· 12 years ago
8d1d4cf
Make import and export style consistent
by Tuncer Ayaz
· 12 years ago
b2af981
Fix comments
by Tuncer Ayaz
· 12 years ago
a076fe2
Fix minor typo
by Tuncer Ayaz
· 12 years ago
5ea2913
Fix spurious whitespace errors
by Tuncer Ayaz
· 12 years ago
ebd20fc
Improved unicode generators.
by Uvarov Michael
· 12 years ago
2a185ff
Add pos_integer/0 and non_neg_integer/0
by Tuncer Ayaz
· 12 years ago
7fb90cd
Add triq_fsm (based on triq_statem)
by Kresten Krab Thorup
· 13 years ago
2c2a280
Implement triq:numtests/2
by Kresten Krab Thorup
· 13 years ago
a938333
Fix edoc typo
by Kresten Krab Thorup
· 13 years ago
2079f7e
Implement commands/2, command_names/1, zip/2
by Kresten Krab Thorup
· 13 years ago
Next »