Logtalk 3.25.0 Stable

Announcements of new Logtalk releases and events

Moderator: Paulo Moura

Post Reply
Paulo Moura
Logtalk developer
Posts: 490
Joined: Sat May 05, 2007 8:35 am
Location: Portugal
Contact:

Logtalk 3.25.0 Stable

Post by Paulo Moura » Tue Apr 02, 2019 10:52 am

Hi,

Logtalk 3.25.0 is now available for downloading at:

https://logtalk.org/

This release focus on compiler linter and QuickCheck improvements. It adds 15 new linter checks, notably for possibly non-steadfast predicates, predicate and variable names that do not follow coding guidelines, repeat loops without a cut, redundant calls to built-in predicates and control constructs, cuts in clauses for multifile predicates, variable use in all-solutions predicate calls, and several others suspicious calls and constructs; adds two new compiler flags, "steadfastness" and "naming", to control the corresponding linter warnings; improves the goal-expansion mechanism to prevent infinite loops when the goal to be expanded resulted from a previous expansion of the same goal; updates the "coinductive/1" directive to also accept non-terminal indicators; updates the Handbook glossary; improves the Handbook sections on performance and on calling Prolog meta-predicates; fixes issues in the PDF version of the Handbook; improves "lgtunit" tool support for QuickCheck by allowing the user to specify the maximum number of shrink operations and by testing edge cases first; adds definitions for new types that take as argument a character set; adds shrinking supporty for most of the types supported by the "arbitrary" category; adds support for defining type edge cases to the "arbitrary" category; improves shrinking of list types; fixes steadfastness issues with some library predicates; and provides portability updates for GNU Prolog, SICStus Prolog, SWI-Prolog, and YAP. For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtal ... E_NOTES.md

Happy logtalking!
Paulo Moura
Logtalk developer

Post Reply

Who is online

Users browsing this forum: No registered users and 1 guest