A flexible construction of equivariant Floer homology and applications. (20th October 2016)