SourceForge.net Logo
What's New

There have been many upgrades in the current version driven by the need to include this system as part of another in order to benefit from the SQL semantic error analyser. First, a new string solver has been added to improve the precision analysis in the lexicographic domain. Also, a domain constraint has been included in the translation of integer conditions. Several new semantic warnings for selected SQL clauses have been added. Second, SQL have been extended with messages, checks, improvements, naming suggestions, and a bunch of new functions, with counterpart Datalog predicates. Third, some commands have been added, in particular for a TAPI connection to an external system to get semantic analysis information. Also, a new command allows for interactive processing of files, allowing the user to interact with the system via input commands (useful in particular for games). Finally, other commands have been added, and several changes have been made. The complete list of enhancements, changes and fixed bugs are listed in the Release Notes and in Section 9.1 of either the printed User Manual or the online User Manual.