Initial refactor to use prop_* functions in uffda_registry_SUITE
Merge pull request #33 from jaynel/proper

Initial refactor to use prop_* functions in uffda_registry_SUITE
Allow make:all([load]) and proper:module(uffda_registry_SUITE) from erl shell
Merge pull request #34 from jaynel/proper

Allow make:all([load]) and proper:module(uffda_registry_SUITE) from erl shell
Merge branch 'master' of https://github.com/th0114nd/uffda
Add tc_proper_model to script the validation of scenarios
Report all known failures up to a caught crash when verifying proper model
Merge pull request #36 from jaynel/proper

Add tc_proper_model to script the validation of scenarios
Run dialyzer on the test suites (it fails, of course)
Fix unitialized value in test_case observed_status for tc_proper_model behaviour
Prefix all tc_proper_* types; add generate_proper_model/3
Fleshed out creating multiple models for a single behaviour
Merge pull request #37 from jaynel/proper

Run dialyzer on the test suites (it fails, of course)
Add tc_proper_model_behaviour diagram
Eliminate macro comments which cause 'make docs' to trip up
Merge pull request #38 from jaynel/proper

Proper
Merge branch 'master' of https://github.com/th0114nd/uffda into proper_behavior
Added partial proper behavior implementation."
Added REST sup and basic handler.