Yes, I did print the ngspice version for the official 5.1.4 release and it's ngspice-30, not 26.
I'll try to find the time to build from latest source and see if there's any improvements.
Yes, I did print the ngspice version for the official 5.1.4 release and it's ngspice-30, not 26.
I'll try to find the time to build from latest source and see if there's any improvements.