sefm2017.git
2017-06-09 Laurent GeorgetClarify the set of flow identifiers and flows master origin/HEAD origin/master
2017-06-06 Laurent GeorgetFix a definition
2017-06-06 Laurent GeorgetFix the bibliography
2017-06-01 Laurent GeorgetMake first corrections from reviewers
2017-04-14 Laurent GeorgetRename Concrete execution -> Ideal propagation
2017-04-13 Laurent GeorgetChange two section titles
2017-04-10 Laurent GeorgetFix some wierd wording
2017-03-28 Laurent GeorgetStop compiling in draft mode
2017-03-28 Laurent GeorgetAdd Mathieu's fixes
2017-03-23 Laurent GeorgetApply fixes by Guillaume
2017-03-17 Laurent GeorgetApply minor Valérie's fixes
2017-03-16 Laurent GeorgetFinish the proof
2017-03-15 Laurent GeorgetAdd some content to the conclusion
2017-03-15 Laurent GeorgetFix wording, imprecisions, spacing
2017-03-14 Laurent GeorgetApply more fixes by Valérie
2017-03-13 Laurent GeorgetFix some LaTeX warnings and fix grammar/wording
2017-03-13 Laurent GeorgetApply fixes from Mathieu
2017-03-11 Laurent GeorgetFix wierd vertical spacing
2017-03-11 Laurent GeorgetApply some fixes from Valérie
2017-03-09 Laurent GeorgetAdd process_vm_readv to the list of syscalls
2017-03-09 Laurent GeorgetFix wording, grammar
2017-03-08 Laurent GeorgetRedact the paper
2017-02-27 Laurent GeorgetInitialize the SEFM 2017 repository