id Summary Owner Status Priority Component Version 24 Non-compatible safety conversion (like C++), prevent void * to T * Rob Schluntz closed major cfa-cc 1.0 28 Look at automatically generating ?==?, ?!=? for all structs new major cfa-cc 1.0 30 Generating builtin C routines is awkward new major prelude 1.0 31 Glen's new prelude closed major prelude 1.0 101 Multi operators on tuples new major cfa-cc 1.0 133 Better signature for copy constructors. new major cfa-cc 1.0 134 Unification is not the right logic for assertion resolution new major cfa-cc 1.0 136 PtrsAssignable Rework new major cfa-cc 1.0 143 Extended Designator Syntax for Arrays new major cfa-cc 1.0 206 Replace Lvalues With References new major cfa-cc 1.0 248 Lazily generate prelude functions on demande. new major prelude 1.0 249 "extern ""Builtins""" new major prelude 1.0 256 New Clause Node for Statements closed major cfa-cc 1.0 295 Prelude Rework (New Header for Regular Declarations) new major cfa-cc 1.0 310 Find Cause of IO Header Compliation Slowdown new major cfa-cc 1.0 314 Disallow implicit conversion from arithmetic type to char new major cfa-cc 1.0 13 Default type arguments for generic types Rob Schluntz closed minor cfa-cc 1.0 18 Allow sizeof On Generic Type Parameters Aaron Moss closed minor cfa-cc 1.0 33 Updating Exception Built-ins to CFA Code (Requires Virtual) new minor cfa-cc 1.0 125 Warning for uninitialised fields new minor cfa-cc 1.0 127 Anonymous parameters should have attribute((unused)) implicitly closed minor cfa-cc 1.0 128 Rearchitect TupleType closed minor cfa-cc 1.0 170 unpark new thread Thierry Delisle closed minor libcfa 1.0 181 Add Support for Opaque Polymorphic Types new minor cfa-cc 1.0 188 Aliasing C names with Cforall Names new minor cfa-cc 1.0 191 Pass More Information to Resolver new minor cfa-cc 1.0 207 Safe const variations are not considered for assertion satisfaction new minor cfa-cc 1.0 210 Should string literals be const, like in C++? new minor cfa-cc 1.0 211 Mutable Initializers are not Detected new minor cfa-cc 1.0 219 Forall Typedef new minor cfa-cc 1.0 228 To define behaviour of new-delete on empty structs Peter A. Buhr closed minor libcfa 1.0 243 Add warning for thread casts in constructors new minor cfa-cc 1.0 246 Increase Control of AutoGenerated Routines new minor cfa-cc 1.0 255 Better Linkage Default closed minor cfa-cc 1.0 294 Polymorphic nested aggregates may over-generalize the inner type new minor cfa-cc 1.0 308 Unused Polymorpic Parameters new minor cfa-cc 1.0 199 Only Forward Declare Concrete Instantiations When Needed closed trivial cfa-cc 1.0