Note the -smt-to: option to the alive executable; corrects my c46e7ef.
Add “in ms” to alive-tv --help for -smt-to.
Note in build instructions that BUILD_SHARED_LIBS may not be necessary; it wasn’t for our build system, and caused severe problems when enabled.
Move its CMake problems to the instructions from Troubleshooting.
Convert alive-tv example instructions into text which can be triple-clicked and dragged. (I’ve started using it a lot; it found an important bug which had been fixed while I was fiddling with the build system.)
Convert Compiler Explorer instance URL into a Markdown clickable link. (Though I expect it will be made clickable anyway for most viewers by GitHub.)
-smt-to:option to thealiveexecutable; corrects my c46e7ef.alive-tv --helpfor-smt-to.BUILD_SHARED_LIBSmay not be necessary; it wasn’t for our build system, and caused severe problems when enabled.alive-tvexample instructions into text which can be triple-clicked and dragged. (I’ve started using it a lot; it found an important bug which had been fixed while I was fiddling with the build system.)