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
53	virtual specifiers do not work with deep inheritance	1.0.0	accepted	Lorenzo Caminiti	2012-05-18	2012-09-10
52	fix non-const old-of expressions	1.1.0	accepted	Lorenzo Caminiti	2012-05-18	2012-09-10
51	can C++11 delegating constructor be used to separate body?	Future	accepted	Lorenzo Caminiti	2012-05-13	2012-05-31
50	can contracts for unions be supported?	1.1.0	accepted	Lorenzo Caminiti	2012-05-13	2012-09-10
49	support concept definitions	Future	accepted	Lorenzo Caminiti	2012-05-10	2012-05-31
48	improve compile-time performances	1.2.0	accepted	Lorenzo Caminiti	2012-05-10	2012-09-10
47	implement contract wrappers for entire STL	Future	accepted	Lorenzo Caminiti	2012-05-10	2012-05-31
46	fix infinite recursion if BODY not used for base function calls	1.0.0	accepted	Lorenzo Caminiti	2012-05-10	2012-09-10
45	make sure code can be preprocessed by Boost.Wave	1.0.0	accepted	Lorenzo Caminiti	2012-05-10	2012-09-10
44	improve parsing macro syntax error detection and reporting	1.2.0	accepted	Lorenzo Caminiti	2012-05-08	2012-09-10
43	can I avoid CONTRACT_CLASS_INVARIANT( void ) when no invariants?	Future	accepted	Lorenzo Caminiti	2012-05-08	2012-05-31
42	analyze and possibly improve run-time performances	1.2.0	accepted	Lorenzo Caminiti	2012-05-08	2012-09-10
41	destructors could have static postconditions	Future	accepted	Lorenzo Caminiti	2012-05-08	2012-05-31

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels

(applies to this page only)

<< < 1 2 3 (Page 3 of 3)