They are currently still frozen. You can purchase them on etherdelta. However You can't sell them because you will need GRX tokens in your deposited wallet. Etherdelta takes a little GRX tokens as a fee when you sell off your tokens. I was not in the ICO, so I can purchase them on ED and I cant sell/transfer them off the exchange because I have no GRX in my wallet. I can't wait until I can transfer them on the exchange.