Name		Name	Last commit message	Last commit date
Latest commit History 515 Commits
notes		notes
README.md		README.md
appreciate_warnings.md		appreciate_warnings.md
axiom_level_contract_statements.md		axiom_level_contract_statements.md
bad_alloc_r1.md		bad_alloc_r1.md
constexpr_bool_conv_r1.md		constexpr_bool_conv_r1.md
constexpr_bool_conv_r2.md		constexpr_bool_conv_r2.md
contract_assertions_versus_static_analysis_and_safety.html		contract_assertions_versus_static_analysis_and_safety.html
contracts_and_coroutines.html		contracts_and_coroutines.html
contracts_explained.md		contracts_explained.md
contracts_use_cases.html		contracts_use_cases.html
defaults_are_immediate.html		defaults_are_immediate.html
minimum_contracts_R1.html		minimum_contracts_R1.html
on_side_effects.html		on_side_effects.html
side_effects_in_contract_statements.md		side_effects_in_contract_statements.md

Repository files navigation

papers

Documents produced for WG21