-
Andrei Paskevich authored
Not done: double_wp/logic and avl/table. The subgoal pairing changed in verifythis_2017_tree_buffer in an unrelated VC (see the diff for why3session.xml). FIXME?
9ea8a6a4
[A venir] Mise en place de quotas sur nos instances gitlab. Pour plus d'information lire: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
Not done: double_wp/logic and avl/table. The subgoal pairing changed in verifythis_2017_tree_buffer in an unrelated VC (see the diff for why3session.xml). FIXME?