Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version). - Andreas Lööw; Seung Hoon Park; Daniele Nantes-Sobrinho; Sacha-Élie Ayoun; Opale Sjöstedt; Philippa Gardner (CoRR, 2025)