Code

Loris#4

Code

Open

LorisCros wants to merge 22 commits intoDeducteam:masterDeducteam/resystance:masterfrom LorisCros:LorisLorisCros/resystance:LorisCopy head branch name to clipboard

+748-70

Commits

Commits on Feb 25, 2021

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

  barras

  committed
  b6122f9

  Copy full SHA for b6122f9

Commits on May 27, 2022

• Ajout de la première version de mon algorithme de complétion.

  LorisCros

  committed
  248c275

  Copy full SHA for 248c275

Commits on Jun 2, 2022

• Update dune

  LorisCros

  authored
  628602f

  Copy full SHA for 628602f

• Update dune

  LorisCros

  authored
  a5d933f

  Copy full SHA for a5d933f

• Dernières modifications

  LorisCros

  committed
  5ae3e7e

  Copy full SHA for 5ae3e7e

• Update reduction.ml

  LorisCros

  authored
  79fe367

  Copy full SHA for 79fe367

• Rename reduction.ml to Algo_completion.ml

  LorisCros

  authored
  a245caf

  Copy full SHA for a245caf

• Create Algo_completion.mli

  LorisCros

  authored
  45bda95

  Copy full SHA for 45bda95

• Update dune

  LorisCros

  authored
  4015548

  Copy full SHA for 4015548

• Update Algo_completion.mli

  LorisCros

  authored
  ba709a2

  Copy full SHA for ba709a2

• Update Algo_completion.mli

  LorisCros

  authored
  18c759f

  Copy full SHA for 18c759f

• Update Algo_completion.mli

  LorisCros

  authored
  5cbe3ce

  Copy full SHA for 5cbe3ce

• Update Algo_completion.mli

  LorisCros

  authored
  14effe9

  Copy full SHA for 14effe9

• Update Algo_completion.mli

  LorisCros

  authored
  51269de

  Copy full SHA for 51269de

• Update Algo_completion.mli

  LorisCros

  authored
  c16e441

  Copy full SHA for c16e441

• Update Algo_completion.mli

  LorisCros

  authored
  096bd9d

  Copy full SHA for 096bd9d

• Update Algo_completion.mli

  LorisCros

  authored
  ec71222

  Copy full SHA for ec71222

• Update Algo_completion.mli

  LorisCros

  authored
  f137002

  Copy full SHA for f137002

• Update Algo_completion.mli

  LorisCros

  authored
  9aef326

  Copy full SHA for 9aef326

• Update Algo_completion.mli

  LorisCros

  authored
  a3113f8

  Copy full SHA for a3113f8

• Update Algo_completion.mli

  LorisCros

  authored
  ae5df17

  Copy full SHA for ae5df17

• Update Algo_completion.mli

  LorisCros

  authored
  b5e0fa2

  Copy full SHA for b5e0fa2