Information set decoding for ring-linear codes | Synapse