================================================

Structured Markov Chains Solver  [ SMCSolver ]
Dario Bini, Beatrice Meini, Sergio Steffe'
dario.bini@unipi.it, beatrice.meini@unipi.it, steffe@cs.dm.unipi.it
Dipartimento di Matematica - Universita' di Pisa
Largo Pontecorvo 5
56127 Pisa
Italy

Version 2.2 - March 2024


===============================================


Known bugs:

===> there is still a race condition in multi treading during allocation/disallocation of 
big matrices, and when fortran writes very fast many messages on the notepad.

===> sometime detaching the TollBar leaves a hole in the screen.

===> locale different from en_US are not supported, but some gtk calls will respect your
default locale, and this results in passing wrong numbers to Fortran Routines.
Be sure to have the correct locale, giving the command

export LANG=en_US.UTF-8
or
export LANG=en_US.UTF-8

before using SMCSolver

==============================================

Please e-mail bugs to:

dario.bini@unipi.it
beatrice.meini@unipi.it
steffe@cs.dm.unipi.it

subject: SMCSolver_2.2 bug

describing the errors, bug or crash.

=============================================
