| 2012-01-11 |
Christophe Thiéry | Remove declaration of unexisting functions |
tree | commitdiff |
| 2012-01-09 |
Martin Quinson | Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... |
tree | commitdiff |
| 2012-01-06 |
Christophe Thiéry | Merge branch 'smpi' |
tree | commitdiff |
| 2012-01-05 |
Christophe Thiéry | SMPI: before terminating a process, wait for its asynch... |
tree | commitdiff |
| 2011-12-26 |
Martin Quinson | Further investigate the dsend issue, in vain so far |
tree | commitdiff |
| 2011-12-26 |
Martin Quinson | merge back the master trunk into the smpi branch |
tree | commitdiff |
| 2011-12-26 |
Martin Quinson | dupplicate the sender buffer in eager mode, when isends... |
tree | commitdiff |
| 2011-12-23 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2011-12-19 |
Christophe Thiéry | Add a function SIMIX_process_get_runnable() for context... |
tree | commitdiff |
| 2011-12-13 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
| 2011-12-13 |
Marion Guthmuller | model-checker : clean code |
tree | commitdiff |
| 2011-12-09 |
Christophe Thiéry | Alternative implementation or parmap with busy waits... |
tree | commitdiff |
| 2011-12-09 |
Christophe Thiéry | Parmap: process the whole dynar, don't force workers... |
tree | commitdiff |
| 2011-12-08 |
Martin Quinson | cosmetics |
tree | commitdiff |
| 2011-12-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2011-12-08 |
Arnaud Giersch | Define xbt_swag_reset(). |
tree | commitdiff |
| 2011-12-07 |
Christophe Thiéry | Remove xbt_parmap_get_worker_id to simplify the parmap... |
tree | commitdiff |
| 2011-12-07 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
| 2011-12-06 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2011-12-05 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
| 2011-12-01 |
Arnaud Giersch | Kill old CVS $Id$ lines. |
tree | commitdiff |
| 2011-12-01 |
Arnaud Giersch | Always define SIMGRID_VERSION_*. |
tree | commitdiff |
| 2011-12-01 |
Arnaud Giersch | Define xbt_dict_new_homogeneous(). |
tree | commitdiff |
| 2011-11-30 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
| 2011-11-29 |
Arnaud Giersch | Don't lie about xbt_xfg_t. |
tree | commitdiff |
| 2011-11-28 |
Arnaud Giersch | Rename dict structs to follow README.coding. |
tree | commitdiff |
| 2011-11-28 |
Arnaud Giersch | Reorganize structs to save a few bytes. |
tree | commitdiff |
| 2011-11-25 |
Mark Stillwell | Merge branch 'smpi' of git+ssh://scm.gforge.inria.fr... |
tree | commitdiff |
| 2011-11-24 |
mstillwell | gettimeofday also needs to update benchmark info. |
tree | commitdiff |
| 2011-11-22 |
Marion Guthmuller | merge conflicts |
tree | commitdiff |
| 2011-11-15 |
Christophe Thiéry | Nobody uses MSG_get_errno and wants useless calls to... |
tree | commitdiff |
| 2011-11-15 |
Christophe Thiéry | SIMIX: add a redundant parameter to avoid repeated... |
tree | commitdiff |
| 2011-11-15 |
Christophe Thiéry | Cosmetics |
tree | commitdiff |
| 2011-11-14 |
Christophe Thiéry | Make MSG_TASK_CANCELLED deprecated, replace it by MSG_T... |
tree | commitdiff |
| 2011-11-14 |
Marion Guthmuller | model-checker : add name of program in arguments of... |
tree | commitdiff |
| 2011-11-14 |
Arnaud Giersch | Rewrite xbt libs, using xbt dicts. |
tree | commitdiff |
| 2011-11-11 |
Martin Quinson | move the callbacks to the cluster creation from surfxml... |
tree | commitdiff |
| 2011-11-11 |
Martin Quinson | Improve a bit the documentation of hte xbt_queues,... |
tree | commitdiff |
| 2011-11-10 |
Arnaud Giersch | Simply say fun_ptr(...) instead of (*fun_ptr)(...). |
tree | commitdiff |
| 2011-11-10 |
Martin Quinson | fix the constness of xbt_strbuff_new_from(), it's too... |
tree | commitdiff |
| 2011-11-10 |
Martin Quinson | Move the SURF model initialization from routing_parse... |
tree | commitdiff |
| 2011-11-10 |
Martin Quinson | Rename sg_platf_new_AS_{open,close} to {begin,end}... |
tree | commitdiff |
| 2011-11-10 |
Martin Quinson | some users prefer this name, so provide it for symmetry... |
tree | commitdiff |
| 2011-11-09 |
Arnaud Giersch | Kill "if" before free, and useless cast of free argument. |
tree | commitdiff |
| 2011-11-09 |
Arnaud Giersch | Constification of parameter, and attribute no_return. |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | sanitize the way parsing callbacks of the routing submo... |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | One day, we'll have to deal with route creation in... |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | rename some types for consistency |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | Kill the XML-level callbacks to AS_open/close and creat... |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | integrate the peer creation in sg_platf properly |
tree | commitdiff |
| 2011-11-08 |
Arnaud Giersch | Kill bogus fixme: xbt_free_f already exists. |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | further parser cleanups |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | further fields renamings in the parser |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | Also cleanup the fields of s_sg_platf_link_cbarg_t |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | also cleanup the field names of s_sg_platf_router_cbarg_t |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | Parser cleanup: simplify structure's fields' names |
tree | commitdiff |
| 2011-11-08 |
Martin Quinson | Reimplement the lua console on top of sg_platf |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | Properly integrate the link creation into sg_platf |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | further parser cleanups |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | also deprecate ETag_surfxml_router |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | Further parser cleanups |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | fix the last broken tests by sanitizing the way propert... |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | Further parser cleanups |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | integrate properly the router creation in sg_platf... |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | Make the sg_plat_new_host() function public |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2011-11-07 |
Martin Quinson | Continue parser cleanups |
tree | commitdiff |
| 2011-11-07 |
Arnaud Giersch | This include is not needed anymore. |
tree | commitdiff |
| 2011-11-05 |
Arnaud Giersch | Avoid (almost) duplicated code in xbt_log_layout_*. |
tree | commitdiff |
| 2011-11-05 |
Martin Quinson | using pointer to scalar is a strange way to return... |
tree | commitdiff |
| 2011-11-05 |
Martin Quinson | Nobody will ever need to override the behavior of confi... |
tree | commitdiff |
| 2011-11-05 |
Martin Quinson | Add a new module allowing to interact with the platform... |
tree | commitdiff |
| 2011-11-04 |
Martin Quinson | Clean callbacks for the host parsing. |
tree | commitdiff |
| 2011-11-04 |
Martin Quinson | merge changes. Strange, it seems to ate pierre commit |
tree | commitdiff |
| 2011-11-04 |
Martin Quinson | regenerate with flexml 1.9.2 (fix to my recent changes... |
tree | commitdiff |
| 2011-11-03 |
Martin Quinson | Nobody cares about this argument since maybe 4 years... |
tree | commitdiff |
| 2011-11-02 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2011-11-02 |
Christophe Thiéry | Optimize swags and save calls from Surf |
tree | commitdiff |
| 2011-11-02 |
Christophe Thiéry | Direct context switching: clean the semantics of parmap |
tree | commitdiff |
| 2011-11-02 |
Christophe Thiéry | Switch directly between runnable contextes (work in... |
tree | commitdiff |
| 2011-11-01 |
Martin Quinson | regenerate with flexml 1.9.1 (integrate small changes... |
tree | commitdiff |
| 2011-10-30 |
Martin Quinson | Regenerate with flexml 1.9 (robust against multiple... |
tree | commitdiff |
| 2011-10-28 |
Martin Quinson | reduce greatly the size of the static string for logs... |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | model-checker : function to compare values of propositi... |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | model-checker : new functions to compare mmalloc in... |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | model-checker : new comparison for reached pairs (autom... |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | model-checker : separate informations for safety statef... |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | model-checker : new example bugged1 for stateful dpor |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | model-check : show stack when property not valid |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | correction compile warnings |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | start new example with parsing lex/yacc of automaton... |
tree | commitdiff |
| 2011-10-25 |
Marion Guthmuller | new struct automaton |
tree | commitdiff |
| 2011-10-20 |
Navarrop | Remove unused and old function. |
tree | commitdiff |
| 2011-10-20 |
Martin Quinson | merge branches |
tree | commitdiff |
| 2011-09-27 |
Arnaud Giersch | Inline macro _XBT_LOG_EV_BUFFER_ZERO and remove its... |
tree | commitdiff |
| 2011-09-08 |
Arnaud Giersch | Fix compilation warnings in ISO-C99 mode. |
tree | commitdiff |
| 2011-09-08 |
Navarrop | Revert "Re-apply old patch A. Giersch 06/07/2010" |
tree | commitdiff |
| 2011-09-08 |
Navarrop | Re-apply old patch A. Giersch 06/07/2010 |
tree | commitdiff |
| 2011-08-29 |
Mark Stillwell | moved macros that rewruite calls to sleep and gettimeof... |
tree | commitdiff |
| next |
