From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Fri, 9 Nov 2018 19:19:43 +0000 (+0100)
Subject: Correction dans la structure de la trace d'execution.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=e173772d73eae2aa041835260794b78b627f94a1;hp=e173772d73eae2aa041835260794b78b627f94a1;p=Projet_Recherche_Operationnelle.git

Correction dans la structure de la trace d'execution.

Elle a besoin de plus de travail pour ressembler à une trace.

Fix a mismerge.
Amend the slides with some of the comments.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---