gricad-gitlab.univ-grenoble-alpes.fr / pagai 2 Repositories
Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
pagai/pagai
Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
pagai/apron-clone
Clone of Apron (used to control which version of Apron we use with PAGAI).
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0