commit | 989d0b17f041bad38c3cde09d56b48df493e1d03 | [log] [tgz] |
---|---|---|
author | Richard Smith <richard-llvm@metafoo.co.uk> | Thu May 16 22:18:32 2013 +0000 |
committer | Richard Smith <richard-llvm@metafoo.co.uk> | Thu May 16 22:18:32 2013 +0000 |
tree | a7e84d3c72411c89f4b65581cfbfae2e9603f833 | |
parent | c50c6ff49aa3648ae031349de6f09439f52425f0 [diff] |
Since we're counting number of steps, switch to turing machines which maximize #steps not #1s, and use a more traditional step count where the 'halt' step is not counted. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@182057 91177308-0d34-0410-b5e6-96231b3b80d8