History of examples @0ef0f2fc-f9c3-47b2-a315-095c7b9df73a/main
- Correct an erroneous type and rename a record field Kostis Sagonas 7 years ago
- invalid newline escape sequence in examples Dave Parfitt 8 years ago
- Remove e-mail addresses from EDoc output Manolis Papadakis 12 years ago
- proper_statem, proper_fsm behaviours introduced eirini 12 years ago
- move some private types to their proper place eirini 12 years ago
- changes in ets_statem example eirini 13 years ago
- small change in computation of initial state + cleanups eirini 13 years ago
- Merge branch 'master' of github.com:manopapad/proper into fsm eirini 13 years ago
- clean-ups eirini 13 years ago
- Fix copyright notices Manolis Papadakis 13 years ago
- more clean-ups eirini 13 years ago
- clean-ups in fsm examples and tests eirini 13 years ago
- Merge branch 'master' into fsm eirini 13 years ago
- fix in handling state attributes; added example elevator_fsm eirini 13 years ago
- Slightly better description Kostis Sagonas 13 years ago
- fixed type declaration inexamples/ets_statem eirini 13 years ago
- added example ets_statem eirini 13 years ago
- Typeserver now parses untyped records too Manolis Papadakis 13 years ago
- change in pdict_statem eirini 13 years ago
- deleted files eirini 13 years ago
- some changes eirini 13 years ago
- documentation for statem eirini 13 years ago
- changes to example reminder_app eirini 13 years ago
- Delay the calculation of initial state until actual command generation eirini 13 years ago
- first unit tests for command generation eirini 13 years ago
- compare only the fail reasons (not stacktraces) when shrinking ?TRAPEXIT eirini 13 years ago
- added example reminder_app eirini 13 years ago
- small changes eirini 13 years ago
- store initial state in process dictionnary eirini 13 years ago
- parallel commands added eirini 13 years ago