descriptionDeuxième contribution
ownerLaurent Georget
last changeMon, 21 Aug 2017 08:09:16 +0000 (10:09 +0200)
shortlog
2017-08-21 Laurent GeorgetTfix in proof comment master origin/HEAD origin/master
2017-01-15 Laurent GeorgetProove that compatible builds an interleaving
2017-01-13 Laurent GeorgetSimplify a bit more the proofs
2017-01-12 Laurent GeorgetImprove the proof
2017-01-10 Laurent GeorgetAdd the Coq proofs (coq 8.4p6)
2017-01-02 Laurent GeorgetFix the arrow width for enable/exec/disable
2016-12-24 Laurent GeorgetReplace abstract
2016-12-24 Laurent GeorgetFix LaTeX overflow warnings
2016-12-22 Laurent GeorgetRemove the proofs from the submitted version
2016-12-21 Laurent GeorgetApply fixes by Valérie
2016-12-21 Laurent GeorgetFinish the proofs
2016-12-17 Laurent GeorgetCorrect the number of experiment runs
2016-12-17 Laurent GeorgetApply more fixes and introduce the experiments
2016-12-15 Laurent GeorgetMore fixes and small adjustements
2016-12-15 Laurent GeorgetFill in the experiments section
2016-12-15 Laurent GeorgetFixes by Valérie
...
heads
3 years ago master