A group is a collection of several projects.
If you organize your projects under a group, it works like a folder.
You can manage your group member’s permissions and access to each project in the group.
P
PAGAI
Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.