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
79	shall I support a no-exception mode (BOOST_NO_EXCEPTION)?	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
78	rename enumerations to be lower case	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
77	add a note that operator<< can be used in contracts for printf-style debugging	1.0.0	accepted	Lorenzo Caminiti	2012-09-10	2012-09-10
76	allow #define oldof CONTRACT_OLDOF	1.0.0	accepted	Lorenzo Caminiti	2012-09-03	2012-09-10
75	fix examples for rvalues	1.0.0	accepted	Lorenzo Caminiti	2012-09-03	2012-09-10
74	constructor base class preconditions not checked	1.0.0	accepted	Lorenzo Caminiti	2012-09-02	2012-09-10
73	can I support ellipses parameters?	1.1.0	accepted	Lorenzo Caminiti	2012-09-02	2012-09-10
72	use correct concept for (const) constructibiliy	1.0.0	accepted	Lorenzo Caminiti	2012-09-02	2012-09-10
71	extend syntax to support function types and arrays as function parameters	1.1.0	accepted	Lorenzo Caminiti	2012-09-02	2012-09-10
70	can I use thread specific storage to lock global state?	1.0.0	accepted	Lorenzo Caminiti	2012-09-02	2012-09-10
69	support non-standard declaration features like __declspec, __attribute__, verbatim	1.1.0	accepted	Lorenzo Caminiti	2012-09-01	2012-09-10
68	fully test contracts for virtual inheritance	1.0.0	accepted	Lorenzo Caminiti	2012-08-30	2012-09-10
67	provide a configuration macro to check class invariant only at exit (no at entry)	1.0.0	accepted	Lorenzo Caminiti	2012-08-30	2012-09-10
66	check no class invariant if destructor throws	1.0.0	accepted	Lorenzo Caminiti	2012-08-29	2012-09-10
65	consider adding base class aliases (as from N2881)	1.1.0	accepted	Lorenzo Caminiti	2012-08-28	2012-09-10
64	can I gracefully handle misuse of FREE_BODY instead of MEMBER_BODY?	1.0.0	accepted	Lorenzo Caminiti	2012-08-27	2012-09-10
63	make function parameter names optional	1.1.0	accepted	Lorenzo Caminiti	2012-08-27	2012-09-10
62	fix all header files links from Reference section	1.0.0	accepted	Lorenzo Caminiti	2012-08-27	2012-09-10
61	support all C++11 features	1.1.0	accepted	Lorenzo Caminiti	2012-08-26	2012-09-10
60	duplicate global variables	1.0.0	accepted	Lorenzo Caminiti	2012-08-26	2012-09-10
59	support C++11-like auto functions	1.1.0	accepted	Lorenzo Caminiti	2012-06-07	2012-09-10
58	make sure that sequence syntax support all features	Future	new	Lorenzo Caminiti	2012-06-03	2012-06-03
56	override seems not to work with pure virtual functions	1.0.0	accepted	Lorenzo Caminiti	2012-05-24	2012-09-10
55	override seems not to work for protected/private functions	1.0.0	accepted	Lorenzo Caminiti	2012-05-24	2012-09-10
54	assertion requirements don't work when all types known	1.0.0	accepted	Lorenzo Caminiti	2012-05-24	2012-09-10

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels

(applies to this page only)

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