ezaffanella issues

Repositories
Issues
Comments

Results 2 issues of


                                            ezaffanella

PPLite domains available via both native and Apron interfaces.

This PR depends on corresponding PR on crab. It uses the following domain names: pk-pplite ==> native interface to PPLite F_Poly (Cartesian factored polyhedra) pk-ap-pplite ==> Apron interface to PPLite...

Apron wrapper for PPLite 0.12.

PPLite version 0.12 no longer depends on gmpxx (the C++ interface of GMP). Note: we also applied a minor renaming to newpolka matrix_* type and functions (adding prefix "pk_") so...