Hello,
I see on the TI home page that the Stellaris M4F line has been renamed to Tiva. Why the change of name? They're now called the "4C" series - I assume they still have the floating point M4F core, correct?
http://www.ti.com/lsds/ti/microcontroller/tiva_arm_cortex/c_series/tm4c_arm_cortex-m4/overview.page
BTW, I think I should get an award for being the first forum person to notice the name change :)