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 22 of 28 Search / Filter on:
Merge branch 'master' of github.com:manopapad/proper	Manolis Papadakis	More...				about 13 years ago
Add 'verbose' option	Manolis Papadakis	More...				about 13 years ago
fixes in parallel commands remove shrinkers	eirini	More...				about 13 years ago
fixed remove_first_command/4, update_list/5	eirini	More...				about 13 years ago
code refactoring in parallel command execution	eirini	More...				about 13 years ago
some tests added	eirini	More...				about 13 years ago
code refactorings in sequential command generation	eirini	More...				about 13 years ago
more efficient parallel command generation	eirini	More...				about 13 years ago
Fixes in parallel command handling	eirini	More...				about 13 years ago
more changes to proper_statem.erl	eirini	More...				about 13 years ago
fixed inconsistency in fix_gen/5 spec	eirini	More...				about 13 years ago
Pulled changes from the master branch and fixed minor conflict	Kostis Sagonas	More...				about 13 years ago
More cleanups	Kostis Sagonas	More...				about 13 years ago
Tidier struct cleanup	Kostis Sagonas	More...				about 13 years ago
code refactoring - part 1	eirini	More...				about 13 years ago
changed if to case	eirini	More...				about 13 years ago
spec corrections	eirini	More...				about 13 years ago
fix in command execution	eirini	More...				about 13 years ago
Move type declaration to its proper place	Kostis Sagonas	More...				about 13 years ago
More cleanups	Kostis Sagonas	More...				about 13 years ago
Shut off a dialyzer warning and cosmetic cleanups	Kostis Sagonas	More...				about 13 years ago
memoization added when checking for possible command interleavings	eirini	More...				over 13 years ago
fixes in parallel command generation	eirini	More...				over 13 years ago
Fixes in initial state computation	eirini	More...				over 13 years ago
fixes in generator with_parameters/2	eirini	More...				over 13 years ago
Add a timeout option for semi-obsolete machines ;-)	Kostis Sagonas	More...				over 13 years ago
command counter starts from {var,1}	eirini	More...				over 13 years ago
Add a size cap	Manolis Papadakis	More...				over 13 years ago
added .eunit to .gitignore	eirini	More...				over 13 years ago
added parallel_command shrinkers	eirini	More...				over 13 years ago

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