================================================ Structured Markov Chains Solver [ SMCSolver ] Dario Bini, Beatrice Meini, Sergio Steffe' bini@dm.unipi.it, meini@dm.unipi.it, steffe@dm.unipi.it Dipartimento di Matematica "Leonida Tonelli" Largo Pontecorvo 5 56127 Pisa Italy Version 2.1 - June 2009 =============================================== 2005 October: Start of the Project (no name, called "prova" ...) Fortran routines available + simple interface written in glade2 2006 March: StocMatSol_1.0 (pro tempore name) The interface rewritten and now is independent from glade, and some more Fortan routines are added. 2006 April: SMCSolver_1.0 (pre release) Interface and Fortran routines are growing ... 2006 October: SMCSolver_1.1 (first release) presented at SMCTOOLS: Tools for solving Structured Markov Chains organized within the VALUETOOLS 2006 Conference held in Pisa, Italy - October 10, 2006 2006 November: SMCSolver_1.2 added: documentation in PDF format changed: a minimun set of routines are selected from new lapack-3.1.0 and included: minimum blas, lapack and lapack95 libraries are compiled if needed. changed: Makefile has more complete dependency tree, and make.inc's with compilator specific options are added, and building libsmcsolver.a has been added. changed: a bug in is_sub.f90 is fixed changed: a race condition when calling the STOP has been removed. fixed: various small bugs in the interface. 2007 March: SMCSolver_1.3 added: Newton algorithm in menu, but still to implement. changed: write format for Fortran mode. **** unfinished ****** 2009 June: SMCSolver_2.1 changed: reorganized Algorithms and Goals menu: added: menu Preprocessing with shift and dual options changed: shift options removed from Algorithms submenus. changed: parameters menus moved in option menu. added: make.inc.gfortran. added: flag -s and option "Landscape" changed: rearranged windows for Landscape. added: .SMCSolverrc optional file for changing the graphical style.