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