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