Cinnamon is not compatible with Gnome 3.8. A quick search of the Net has revealed this to be the reason why Arch and Fedora are dropping support for Cinnamon. In fact, the Cinnamon based Arch derivitive Cinnarch will be switching to Gnome as its default desktop and thus changing it's name to something else. Mint's focus is on Mint, not other distros that may move faster than Mint. My advice is if you want to enjoy Cinnamon, then stick to Mint and whatever version of Gnome it is using.
AMD Phenom II 64 X6 1090T Black Edition Hexa-Core
8 GB DDR2 RAM
nVidia GeForce GTX 660
Linux Mint 17.1 MATE+Compiz
Kernel 3.18 Liquorix-amd64