projects
/
sefm2017.git
/ summary
commit
grep
author
committer
pickaxe
?
search:
re
summary |
shortlog
|
log
|
commit
|
commitdiff
|
tree
description
Deuxième contribution acceptée
owner
Laurent Georget
last change
Fri, 9 Jun 2017 07:40:03 +0000
(09:40 +0200)
shortlog
2017-06-09
Laurent Georget
Clarify the set of flow identifiers and flows
master
origin/HEAD
origin/master
commit
|
commitdiff
|
tree
|
snapshot
2017-06-06
Laurent Georget
Fix a definition
commit
|
commitdiff
|
tree
|
snapshot
2017-06-06
Laurent Georget
Fix the bibliography
commit
|
commitdiff
|
tree
|
snapshot
2017-06-01
Laurent Georget
Make first corrections from reviewers
commit
|
commitdiff
|
tree
|
snapshot
2017-04-14
Laurent Georget
Rename Concrete execution -> Ideal propagation
commit
|
commitdiff
|
tree
|
snapshot
2017-04-13
Laurent Georget
Change two section titles
commit
|
commitdiff
|
tree
|
snapshot
2017-04-10
Laurent Georget
Fix some wierd wording
commit
|
commitdiff
|
tree
|
snapshot
2017-03-28
Laurent Georget
Stop compiling in draft mode
commit
|
commitdiff
|
tree
|
snapshot
2017-03-28
Laurent Georget
Add Mathieu's fixes
commit
|
commitdiff
|
tree
|
snapshot
2017-03-23
Laurent Georget
Apply fixes by Guillaume
commit
|
commitdiff
|
tree
|
snapshot
2017-03-17
Laurent Georget
Apply minor Valérie's fixes
commit
|
commitdiff
|
tree
|
snapshot
2017-03-16
Laurent Georget
Finish the proof
commit
|
commitdiff
|
tree
|
snapshot
2017-03-15
Laurent Georget
Add some content to the conclusion
commit
|
commitdiff
|
tree
|
snapshot
2017-03-15
Laurent Georget
Fix wording, imprecisions, spacing
commit
|
commitdiff
|
tree
|
snapshot
2017-03-14
Laurent Georget
Apply more fixes by Valérie
commit
|
commitdiff
|
tree
|
snapshot
2017-03-13
Laurent Georget
Fix some LaTeX warnings and fix grammar/wording
commit
|
commitdiff
|
tree
|
snapshot
...
heads
3 years ago
master
shortlog
|
log
|
tree