Spinroot

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Spin Version 6.4.7 is now available

==== Version 6.4.7 - 19 August 2017 ====

- fixed a bug in the parsing of for (...) statements if
  initialized variable declarations appear in the body of the loop
- optimization in interpreting the swarm option, by avoiding
  unnecessary recompilations, plus other small fixes in the
  generation of parameter values for -k and -w with swarms
- added runtime option -W to suppress recompilation of pan if
  the executable already exists
- fixed bug in printing the value of a random seed at the end of
  a randomized run
- added compilation warning if both -DNP and -DNOCLAIM are used
  (in that case -DNP is assumed to override -DNOCLAIM)
- fixed a bug in the parsing of select (...) statements that could
  cause unwarranted syntax errors when larger ranges are used
- switched to executables for Windows PCs that do not require
  a cygwin installation (using mingw32 and mingw64 bit compilations)

feng_lei_76

Member

Registered: 2011-05-13

Posts: 43

Re: Spin Version 6.4.7 is now available

I have problem to run SPIN6.4.7.
I have been using SPIN for almost 10 years. My current working installation is SPIN6.4.6 32 bit for Windows. I am using 64 bit Windows 7 and MINGW32. I downloaded SPIN647_windows32, but it doesn't work. I also noticed that the EXE file of spin647 is only 310 kB but the EXE file of spin646 is 1010 kB.
Can you please double check your upload?
Thank you!

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: Spin Version 6.4.7 is now available

i will check -- but what is the specific problem you're having?
these are the sizes of the windows executables for 646 and 647 on spinroot:
-rw-r--r--  1 spinroot spinroot  389008 Dec  2  2016 spin646_windows32.exe.gz
-rw-r--r--  1 spinroot spinroot  316698 Aug 19 14:50 spin647_windows32.exe.gz

feng_lei_76

Member

Registered: 2011-05-13

Posts: 43

Re: Spin Version 6.4.7 is now available

When I open iSPIN by Wish, an error message box pops out. Here is the copy of the first a few lines.

can't read "fd": no such variable
while executing
"if {$fd == -1}{
                        puts "$errmsg"
                        exit 0
             } else {
                        set version "Spin Version unknown"
                       if {[gets $fd line] > -1}{
                               set version "$line"
..."

.................
}

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: Spin Version 6.4.7 is now available

as best as i can determine, the spin 647 executable for windows is correct
and works as it should
you have to make sure you make the file executable after you
download it, and place it in a directory that's within your PATH

feng_lei_76

Member

Registered: 2011-05-13

Posts: 43

Re: Spin Version 6.4.7 is now available

Thanks for help! I solved the problem. I use 7zip to unpack the .gz file. After the first extraction, the file appears an exe file, but is actually not. I have to extract the unpacked file again with 7zip and then the new file is indeed an exe file. Perhaps my experience is helpful for other Windows users.