ppl

È stata rilasciata la versione 1.0 della PPL

28 giugno 2012

La nuova versione include il supporto per la rappresentazione ottimizzata di vettori sparsi di coefficienti, il che comporta significativi miglioramenti di prestazioni, ad esempio quando si lavora con sistemi di vincoli che descrivono relazioni debolmente relazionali come le box e le octagonal shape. Ulteriori informazioni sono disponibili (in inglese) nelle note di rilascio .

È stata rilasciata la versione 0.12.1 della PPL

16 aprile 2012

La nuova versione include miglioramenti di portabilità, un paio di nuove funzionalità minori, alcune modifiche di interfaccia e la correzione di un errore nel risolutore PIP. Ulteriori informazioni sono disponibili (in inglese) nelle note di rilascio .

Nuovo articolo in stampa su Information and Computation

30 marzo 2012

L’articolo A New Look at the Automatic Synthesis of Linear Ranking Functions è stato accettato per la pubblicazione su Information and Computation. Questo lavoro presenta due algoritmi per la sintesi di funzioni di ranking lineari che hanno importanti applicazioni nell’analisi automatica di terminazione dei programmi. Leggi tutto »

È stata rilasciata la versione 0.12 della PPL

27 febbraio 2012
La nuova versione include miglioramenti di portabilità, alcune correzioni e miglioramenti di prestazioni per i risolutori MIP e PIP. Anche la configurabilità è stata migliorata, con speciale riguardo all'individuazione automatica della libreria GMP. ECLAIR è stato introdotto nel processo di sviluppo allo scopo di rendere la PPL conforme rispetto ad un appropriato sottoinsieme delle regole MISRA, CERT, NASA/JPL, ESA/BSSC ed altri standard di codifica diffusi.
Leggi tutto »

La PPL ha un nuovo logo ed un nuovo sito web

4 novembre 2011

Grazie a BUGSENG, la Parma Polyhedra Library ha un nuovo logo ed un sito web completamente rinnovato. Se stai leggendo questa notizia, hai già scoperto che il nuovo URI della PPL è http://bugseng.com/products/ppl. Leggi tutto »

Condividi contenuti