Hi,
I'd like to announce that support for both Tiva C 123x and 1294 microcontroller families was merged to the current OpenOCD dev version.
This allows you to use just about any popular JTAG or SWD adapter (TI's ICDI, numerous FTDIs including XDSv2, JLink, STLink etc etc) to debug your projects with any modern host OS, provides reach scripting and extension capabilities as well as the usual remote GDB protocol. Installation is easy and straightforward (e.g. on OS X it's just "brew install --head openocd"), and the user community is big and responsive.
Please provide your feedback on the devel mailing list as I'm a bit allergic to web "fora". Your input will allow us to release the next version with better and more robust support for the devices you care about. Specifically, protection statuses on Snowflake might need more testing.
HTH