-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-12206 2013-07-03 03:12:51 --------------------------------------------------------------------------------
Name : mona Product : Fedora 19 Version : 1.4r15 Release : 1.fc19 URL : http://www.brics.dk/mona/ Summary : A decision procedure for the WS1S and WS2S logics Description : MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counterexample. -------------------------------------------------------------------------------- Update Information: Upstream notes on this release: - fixed bug in Front/printline.cpp [Thanks to Rob Stanzel!] - fixed memory leak in dfalib.c [Thanks to Daniel Neider!] -------------------------------------------------------------------------------- ChangeLog: * Tue Jul 2 2013 Jerry James <[email protected]> - 1.4r15-1 - Update to 1.4-15 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update mona' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
