PPLite 0.11 integration in Apron (C, Java and OCaml bindings)#71

Merged

antoinemine merged 13 commits intoantoinemine:masterfrom ezaffanella:pplite

Jun 22, 2023

+6,509-24

Commits on Jan 31, 2023

Commits on Feb 15, 2023

Commits on Mar 7, 2023

Commits on Mar 10, 2023

Minor changes to fix compilation in the case PPLite and Apron
ezaffanella
committed

Commits on Jun 9, 2023

Updated to PPLite 0.11.
ezaffanella
committed