Contract++ Tickets

Contract Programming Library for C++

Status: Pre-Alpha

Brought to you by: lcaminiti

Tickets Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
104	Fix all copyright and licensing info	1.0.0	new	Lorenzo Caminiti	2013-03-01	2013-03-01
103	Do not provide separate public header files unless their inclusion is exlusive	1.0.0	new	Lorenzo Caminiti	2013-03-01	2013-03-01
102	check behavior when linking lib with contract disabled	1.0.0	new	Lorenzo Caminiti	2013-01-21	2013-02-13
101	use "static if" syntax for assertion requirements	1.0.0	new	Lorenzo Caminiti	2012-10-02	2012-10-02
100	document concurrency in contracts	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
99	clarify why contracts are allowed for private and protected members	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
98	note that variadic macros are not part of C++03 up-front	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
97	add a note that lib used to support non-macro API	1.0.0	new	Lorenzo Caminiti	2012-09-10	2012-09-10
96	move static-assertions and ConceptCheck into a check clausule	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2013-04-10
95	add an Implementation section	Future	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
94	clarify that access specifiers can be used outside macros but must be repeated in macros	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
93	typos	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
92	test enable_if	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
91	add a note that the lib used to generate Doxygen docs from contracts	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
90	document mnemonic rule for BODY macros	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
89	document the init workaround for "deferred" constructors	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
88	support rvalue reference for result type (or Boost.Move)	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
87	do the _TPL macros really save compilation time?	1.2.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
86	is "deferred" the correct term for separated func definitions?	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
85	add a table to summarize all C++03 limitations	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
84	state that docs format C++ syntax closer to lib syntax (void), public, etc	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2013-02-13
83	clarify constant-assertion example and add a rationale (i.e., using local func)	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
82	add rationale on why "return" and "oldof" can't be used as "keywords"	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
81	shall I support "new" virtual specifier?	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
80	require throw() and/or noexcept for contract broken handlers	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10