Code

Mise à jour de l'outil Resystance#3

Code

Open

LorisCros wants to merge 2 commits intoDeducteam:masterDeducteam/resystance:masterfrom LorisCros:masterLorisCros/resystance:masterCopy head branch name to clipboard

+355-87

Commits

Commits on Feb 25, 2021

• test joinability of critical pairs (wip, does not compile)

  barras

  committed
  b6122f9

Commits on Nov 4, 2021

• Modification et mise à jour de Resystance

  LorisCros

  committed
  66f24e0