id Summary Status Owner Priority Component Version 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 33 Updating Exception Built-ins to CFA Code (Requires Virtual) new minor cfa-cc 1.0 101 Multi operators on tuples new major cfa-cc 1.0 125 Warning for uninitialised fields new minor 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 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 Resolve For Assertions/Traits new minor cfa-cc 1.0 199 Only Forward Declare Concrete Instantiations When Needed new trivial cfa-cc 1.0 206 Replace Lvalues With References new major 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 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 248 Lazily generate prelude functions on demande. new major prelude 1.0 249 "extern ""Builtins""" new major prelude 1.0