This is an old revision of the document!
See Tailspin on GitHub.
Tailspin currently passes 99% of the ECMAScript Language test262 test suite.
Tailspin is able to run in a reversible mode, where state changes are recorded so that they can be undone, as well as a non-revsersible mode which is slightly faster and more memory efficient.
In reversible mode almost all state changes can be undone. Some state changes such as