spin2cpp version 1.93

ersmith

There's a new version of spin2cpp (a converter from Spin source to C/C++ source and/or compiled LMM binaries). This one has more natural C output for loops and symbolic variables, support for _CLKMODE and _CLKFREQ, and many fixes to the --binary output option. There's also some tentative support for gdb (to let the debugger know what line of the original Spin code is being executed), although that still needs a lot of testing.

As always, spin2cpp releases are available from github, at: https://github.com/totalspectrum/spin2cpp/releases.

Eric