-
Andrei Paskevich authored
- get rid of val_decl, the psymbol/pvsymbol is enough - get rid of vtv_vars, keep the varset in pvsymbol - include fresh regions in pd_news (will serve for clone)
9b75e276
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
- get rid of val_decl, the psymbol/pvsymbol is enough - get rid of vtv_vars, keep the varset in pvsymbol - include fresh regions in pd_news (will serve for clone)