Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.
Die wesentliche Neuerung dieser Version ist eine vollständige Unterstützung von rationalen Gitter (dh Lösungen von endlicher Systeme Kongruenzrelationen wie "x + y - 2 * z = 3 (mod 6)"). Die Umsetzung in PPL 0,9 angeboten wird, so weit wie die Autoren wissen, die erste veröffentlichte ein funktionell abgeschlossen ist (dh die Bereitstellung aller erforderlichen Maßnahmen, einschließlich einer nachweislich richtig Erweiterung) für die Zwecke der Programm-Analyse und Verifikation. Diese Version enthält viele Verbesserungen Portabilität und ein paar Bugfixes.
Tags:
Major feature enhancements
The key new feature of this release is complete support for rational grids (i.e. solutions of finite systems of congruence relations such as 'x + y - 2*z = 3 (mod 6)'). The implementation offered in PPL 0.9 is, as far as the authors know, the first published one that is functionally complete (i.e. providing all the required operations, including a provably correct widening) for the purposes of program analysis and verification. This release includes many portability improvements and a couple of bugfixes.
Diese Version hat einige neue Features, die beiden Hauptprioritäten wird begrenzt Unterschied Formen (die einfach sind konvexe Polyeder, aber effiziente Bereitstellung von groben zu berechnen Näherungen für große Probleme Analyse) und eine neue Klasse für die Darstellung und Lösung linearer Optimierungsprobleme. Zu den weiteren Verbesserungen gehören ein neues Konfigurations-Programm und Autoconf Funktion machen Bibliothek Nutzung noch einfacher, mehrere neue Maßnahmen sinnvoll für statische Analysatoren, neue Methoden für die Ausgabe Debuggen von Anwendungen, die Benutzung der Bibliothek, Schnittstellen Verbesserungen an der C-und Prolog, und eine Handvoll Bugfixes.
Tags:
Major feature enhancements
This release has several new features, the two key ones being bounded difference shapes (which are simple convex polyhedra providing coarse but efficient-to-compute approximations for large analysis problems) and a new class for representing and solving linear programming problems. Other improvements include a new configuration program and Autoconf function making library usage even easier, several new operations useful for static analyzers, new output methods for debugging applications using the library, improvements to the C and Prolog interfaces, and a handful of bugfixes.
Die Bibliothek kann nun so konfiguriert werden, Verwendung zu überprüfen native Zahlen (8, 16, 32 oder 64 Bit breit) als Alternative zu der unbegrenzten ganzzahligen Koeffizienten von der GMP-Bibliothek zur Verfügung gestellt. Die überprüften ganzzahligen Koeffizienten für systematisches und effizientes Überlauf-Erkennung, eine Ausnahme auslöst, wenn der berechnete Wert nicht durch den zugrunde liegenden Typ vertreten sein. Dadurch können erhebliche Beschleunigungen ohne Richtigkeit gewonnen werden. Diese Pressemitteilung enthält viele weitere Verbesserungen bis hin zu den großen Effizienzsteigerungen (für alle Konfigurationen), um die Benutzerfreundlichkeit, Tragbarkeit, und Bugfixes.
Tags:
Major feature enhancements
The library can now be configured to use checked native integers (8, 16, 32, or 64 bits wide) as an alternative to the unbounded integer coefficients provided by the GMP library. The checked integer coefficients apply systematic and efficient overflow detection, raising an exception if the computed value cannot be represented by the underlying type. As a result, significant speedups can be obtained without compromising correctness. This release contains many other improvements ranging from major efficiency gains (for all configurations) to usability, portability, and bugfixes.
Vollständige Unterstützung für Kräftesets von Polyedern wurde hinzugefügt. Dies beinhaltet eine anpassbare Rahmen für die Festlegung der nachweislich richtig Erweiterung Betreiber. Unterstützung für die Zusammenfassung und / oder Gewicht wurde auch aufgenommen. Zwei Demo-Programme wurden in die Bibliothek aufgenommen. Einer von ihnen, "ppl_lcdd ', löst das Eckenaufzählung / konvexe Hülle Probleme und ihre Leistung mit der eines anderen Programmen lösen die gleichen Probleme wettbewerbsfähig. Viele weitere Verbesserungen wurden durchgeführt: Dokumentation, Leistung, Portabilität und die Konfiguration von Maschinen aller verbessert.
Tags:
Major feature enhancements
Complete support for powersets of polyhedra has been
added. This includes a customizable framework for the
definition of provably correct widening operators. Support
for summary dimensions has also been added. Two demo
programs have been added to the library. One of them,
`ppl_lcdd', solves the vertex enumeration/convex hull
problems and its performance is competitive with the one of
other programs solving the same problems. Many other
improvements have been performed: documentation,
performance, portability, and the configuration machinery
have all been improved.
Diese Version ist mit neuen Funktionen: ein extrem pecise Erweiterung Betreiber, die Unterstützung für den neuen "Erweiterung mit Token"-Technik, erweitert einige neue Operationen auf Polyedern, C und Prolog-Schnittstellen, viele Effizienz, Benutzerfreundlichkeit, Tragbarkeit und Verbesserungen, sowie eine Reihe von Bug-Fixes.
Tags:
Major feature enhancements
This release is packed with new features: an extremely pecise widening operator, support for the new "widening with tokens" technique, several new operations on polyhedra, extended C and Prolog interfaces, many efficiency, usability, and portability improvements, plus a number of bug fixes.
