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
File Mode Size
PyStub.cpp -rw-r--r-- 2.4 KB
PyStubImpl.cpp -rw-r--r-- 7.3 KB

back to top