swh:1:snp:70f530b74f5be73cfb71c212c9e3317ce44c1ebc
History
Tip revision: 5fa8749096360ecde7dda1a19547ca0a4ce3241e authored by Steven Johnson on 27 August 2018, 18:38:14 UTC
Don't run associativity/commutativity proof in reorder unless there are RVars in the dims.
Tip revision: 5fa8749

back to top