P

proper

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 11, 2023 — Jun 11, 2024 Showing page 21 of 28 Search / Filter on:
Merge remote branch 'origin/master' into fsm	eirini	More...				about 13 years ago
increased timeout in selected unit tests	eirini	More...				about 13 years ago
statem unit tests added	eirini	More...				about 13 years ago
fixes in proper_fsm.erl	eirini	More...				about 13 years ago
Merge branch 'fsm' of github.com:manopapad/proper into fsm	eirini	More...				about 13 years ago
fix in command history, as returned by run_parallel_commands/2,3	eirini	More...				about 13 years ago
fixed bug in handling false preconditions	eirini	More...				about 13 years ago
unit tests added	eirini	More...				about 13 years ago
fixed type declaration inexamples/ets_statem	eirini	More...				about 13 years ago
fixed type orddict()	eirini	More...				about 13 years ago
support for weighting transitions	eirini	More...				about 13 years ago
better approach to proper_fsm	eirini	More...				about 13 years ago
first commit of proper_fsm	eirini	More...				about 13 years ago
added example ets_statem	eirini	More...				about 13 years ago
Implement proper_gen:sample, document demo functions	Manolis Papadakis	More...				about 13 years ago
Typeserver now parses untyped records too	Manolis Papadakis	More...				about 13 years ago
added test/ets_counter	eirini	More...				about 13 years ago
Merge branch 'statem'	Manolis Papadakis	More...				about 13 years ago
change in pdict_statem	eirini	More...				about 13 years ago
deleted files	eirini	More...				about 13 years ago
some changes	eirini	More...				about 13 years ago
added to readme	eirini	More...				about 13 years ago
documentation for statem	eirini	More...				about 13 years ago
Fix a couple more README typos	Manolis Papadakis	More...				about 13 years ago
Fix a couple typos in the README	Tuncer Ayaz	More...				about 13 years ago
changes to example reminder_app	eirini	More...				about 13 years ago
deleted test/switch_statem.erl	eirini	More...				about 13 years ago
Delay the calculation of initial state until actual command generation	eirini	More...				about 13 years ago
fixed move_shrinker + added examples	eirini	More...				about 13 years ago
more fixes	eirini	More...				about 13 years ago

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