Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ce3bec7)
Sanitize the handling of the future_event_set
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 7 Feb 2016 21:34:06 +0000 (22:34 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 7 Feb 2016 21:35:54 +0000 (22:35 +0100)
- Make it private to surf
- dont pass it as parameter in public API. That's a singleton after all


No differences found
Clone of SimGrid repository with local patches