0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 10 hours ago.
Apr 27, 2023 — Apr 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
One more contributor to thank More... about 6 years ago
Merge branch 'master' of github.com:manopapad/proper More... about 6 years ago
Fix the indentation in PR #156 More... about 6 years ago
setup: only create map once (#156) More... about 6 years ago
Merge branch 'master' of github.com:manopapad/proper More... about 6 years ago
Increase the timeout of a test More... about 6 years ago
Merge branch 'master' of github.com:manopapad/proper More... about 6 years ago
Update for Targeted Property-Based Testing in PropEr (#154) More... about 6 years ago
Add a newer Erlang/OTP to test More... over 6 years ago
Make PropEr a bit more future compatible More... over 6 years ago
Support a map generator (#152) More... over 6 years ago
add ?MINIMIZE macro (#151) More... over 6 years ago
Add 20.1 to travis More... over 6 years ago
Add OTP 20 to Travis script More... over 6 years ago
One more contributor to THANK More... over 6 years ago
make term colors optional (#150) More... over 6 years ago
Support for Hex.pm (#147) More... almost 7 years ago
Merge branch 'master' of github.com:manopapad/proper More... almost 7 years ago
Use the correct stacktrace and make PropEr compatible with 20.0 More... almost 7 years ago
Use 19.3 instead of 19.2 on Travis More... almost 7 years ago
Up Erlang/OTP releases which are tested More... about 7 years ago
Update copyright years More... about 7 years ago
Use symbolic names for elements of the state and cleanup some types More... about 7 years ago
Tidy the code More... about 7 years ago
Update copyright years More... about 7 years ago
Merge branch 'master' of github.com:manopapad/proper More... about 7 years ago
Remove support for relases prior to 17.0 More... about 7 years ago
Remove support for Erlang/OTP versions where names for opaque types of stdlib were reserved More... about 7 years ago
Remove support for Erlang/OTP R15B and older More... about 7 years ago
Remove support for OTP versions that do not support type declarations More... about 7 years ago