P

proper

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 4 days ago. based on code collected 4 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 28, 2023 — May 28, 2024 Showing page 23 of 28 Search / Filter on:
implemented with_parameters/3	eirini	More...				over 13 years ago
Document EUnit ?LET clash	Manolis Papadakis	More...				over 13 years ago
Don't be Bash-specific	Manolis Papadakis	More...				over 13 years ago
moved command generators to proper_statem.erl	eirini	More...				over 13 years ago
Add PropEr's base directory by one of two ways	Joseph Wayne Norton	More...				over 13 years ago
first unit tests of command execution	eirini	More...				over 13 years ago
Fix confusing example of setting up ERL_LIBS	Kostis Sagonas	More...				over 13 years ago
first unit tests for command generation	eirini	More...				over 13 years ago
Ignore stacktraces when comparing trapped exits	Manolis Papadakis	More...				over 13 years ago
compare only the fail reasons (not stacktraces) when shrinking ?TRAPEXIT	eirini	More...				over 13 years ago
added example reminder_app	eirini	More...				over 13 years ago
merge master branch to statem	eirini	More...				over 13 years ago
small changes	eirini	More...				over 13 years ago
Cleanup suggested by tidier	Kostis Sagonas	More...				over 13 years ago
Implement ?TRAPEXIT	Manolis Papadakis	More...				over 13 years ago
store initial state in process dictionnary	eirini	More...				over 13 years ago
Implement conjunction/1	Manolis Papadakis	More...				over 13 years ago
parallel commands added	eirini	More...				over 13 years ago
Move main shrinking function to main module	Manolis Papadakis	More...				over 13 years ago
Merge remote branch 'origin/master'	Manolis Papadakis	More...				over 13 years ago
Make counterexample representation compatible with EQC	Manolis Papadakis	More...				over 13 years ago
Tidier suggested code simplification	Kostis Sagonas	More...				over 13 years ago
Rename target 'check' to 'dialyze'	Kostis Sagonas	More...				over 13 years ago
Add debug_info in erl_opts	Kostis Sagonas	More...				over 13 years ago
statem shrinking,validating and exception handling fixes	eirini	More...				over 13 years ago
Fix proper:module/2 argument order	Manolis Papadakis	More...				over 13 years ago
help functions added to proper_statem + fixed run_commands()	eirini	More...				over 13 years ago
Changed shrinkers in proper_statem.erl	eirini	More...				over 13 years ago
Merge branch 'master' into statem	eirini	More...				over 13 years ago
first commit of statem branch	eirini	More...				over 13 years ago

←
1
2
…
19
20
21
22
23
24
25
26
27
28
→