2011-11-14 |
Marion Guthmuller | model-checker : add name of program in arguments of... |
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-03 |
Martin Quinson | improve reference documentation |
tree | commitdiff |
2011-08-01 |
Navarrop | We can specify the router name of a cluster. |
tree | commitdiff |
2011-07-30 |
Quintin Jean-Noël | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2011-07-29 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-07-28 |
unknown | No need to have difference between win32 and Unix syste... |
tree | commitdiff |
2011-07-28 |
unknown | On win64 we must use XBT_LOG_MAYDAY. |
tree | commitdiff |
2011-07-19 |
Arnaud Giersch | Add const qualifier to parameters of xbt_str_diff. |
tree | commitdiff |
2011-07-06 |
Martin Quinson | trivial merge of changes about gras architecture |
tree | commitdiff |
2011-06-28 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-06-28 |
Navarrop | Add XBT_INLINE functions to doxygen documentation. |
tree | commitdiff |
2011-06-23 |
Arnaud Giersch | Define CATCH_ANONYMOUS. |
tree | commitdiff |
2011-06-16 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-06-16 |
Lucas Schnorr | [trace] fix define's to let users compile when tracing... |
tree | commitdiff |
2011-06-15 |
Lucas Schnorr | [trace] let user specify color for user variables for... |
tree | commitdiff |
2011-05-24 |
Martin Quinson | merge |
tree | commitdiff |
2011-05-24 |
Arnaud Giersch | Regenerate files in maintainer mode. |
tree | commitdiff |
2011-05-24 |
Lucas Schnorr | [trace] interface cosmetics: removing pre-processor... |
tree | commitdiff |
2011-05-24 |
Lucas Schnorr | [trace] adding new way of set user variables for links... |
tree | commitdiff |
2011-05-24 |
Lucas Schnorr | [trace] cosmetics, cleaner public include tracing header |
tree | commitdiff |
2011-05-18 |
Arnaud Giersch | [surf] Don't define variable "platform_filename" twice. |
tree | commitdiff |
2011-05-17 |
Pierre-Nicolas Clauss | Very basic memoizer. |
tree | commitdiff |
2011-05-12 |
Lucas Schnorr | [trace] cosmetics on user variables tracing, simpler... |
tree | commitdiff |
2011-05-10 |
Lucas Schnorr | [trace] fix on user link variable declaration |
tree | commitdiff |
2011-05-05 |
Arnaud Giersch | Remove the get_thread_id field from context_factory. |
tree | commitdiff |
2011-05-05 |
Arnaud Giersch | xbt_swag: remove duplicated code. |
tree | commitdiff |
2011-05-05 |
Arnaud Giersch | xbt_swag: use correct field for getPrev and getNext. |
tree | commitdiff |
2011-04-27 |
Navarrop | Move src/surf/surf_routing.h in include/surf/surf_routing.h |
tree | commitdiff |
2011-04-22 |
Navarrop | Check if __thread is available. |
tree | commitdiff |
2011-04-22 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-22 |
Christophe Thiéry | When __thread is not available, use xbt_os_thread_get_s... |
tree | commitdiff |
2011-04-18 |
Martin Quinson | further doxygen fixes (I'll try to stop for today) |
tree | commitdiff |
2011-04-18 |
Martin Quinson | some more tiny doxygen fixes |
tree | commitdiff |
2011-04-14 |
mehdi | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-14 |
Lucas Schnorr | two new functions to xbt_graph, load and save |
tree | commitdiff |
2011-04-12 |
Navarrop | Fixing building warning. |
tree | commitdiff |
2011-04-12 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-11 |
Lucas Schnorr | merging tracing changes |
tree | commitdiff |
2011-04-11 |
Lucas Schnorr | export to graphviz function in the tracing way, we... |
tree | commitdiff |
2011-04-11 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-11 |
Navarrop | Delete coordinates for AS. |
tree | commitdiff |
2011-04-09 |
Lucas Schnorr | graphicator re-implemented |
tree | commitdiff |
2011-04-08 |
Pierre-Nicolas Clauss | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-08 |
Navarrop | Merge commit '521daa8271ac2778d8b2944be25daae65d3540a1... |
tree | commitdiff |
2011-04-08 |
Navarrop | Add tag include. |
tree | commitdiff |
2011-04-01 |
Navarrop | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-03-31 |
Pierre-Nicolas Clauss | Added one more missing call. C-MPI should now compile. |
tree | commitdiff |
2011-03-31 |
Pierre-Nicolas Clauss | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-03-31 |
Pierre-Nicolas Clauss | Added one more missing MPI call. |
tree | commitdiff |
2011-03-31 |
Lucas Schnorr | Merge branch 'master' into master-svn |
tree | commitdiff |
2011-03-29 |
Pierre-Nicolas Clauss | Merge branch 'master' of github.com:THEpini/simgrid |
tree | commitdiff |
2011-03-29 |
Pierre-Nicolas Clauss | Coding Sprint : Synchronize SVN with GitHub |
tree | commitdiff |
2011-03-29 |
cristianrosa | Merge branch 'master', remote branch 'git-hub-cristian... |
tree | commitdiff |
2011-03-24 |
agiersch | Remove usage of xbt_assert[0-9]. |
tree | commitdiff |
2011-03-24 |
agiersch | Define xbt_assert as a variadic macro. |
tree | commitdiff |
2011-03-24 |
agiersch | Use new macros THROWF and RETHROWF. |
tree | commitdiff |
2011-03-24 |
agiersch | Define THROWF and RETHROWF as variadic macros. |
tree | commitdiff |
2011-03-24 |
navarrop | Reimplement SIMIX_host_get_dict. |
tree | commitdiff |
2011-03-24 |
navarrop | Remove xbt_dict host from simix. |
tree | commitdiff |
2011-03-24 |
navarrop | Add xbt_lib_size and xbt_lib_rehash |
tree | commitdiff |
2011-03-24 |
navarrop | Add library (xbt_lib) to simgrid. |
tree | commitdiff |
2011-03-18 |
thiery | Add functions SIMIX_comm_has_send/recv_match |
tree | commitdiff |
2011-03-15 |
mquinson | make SIMIX_comm_finish() public |
tree | commitdiff |
2011-03-15 |
mquinson | allow MSG users to play with request matching mecanism |
tree | commitdiff |
2011-03-14 |
pini | Add wrapper to match receiving mailboxes against a... |
tree | commitdiff |
2011-03-09 |
navarrop | Revert "Change those functions to public for use extern... |
tree | commitdiff |
2011-03-01 |
pini | Tentatively use sampling with Fortran. |
tree | commitdiff |
2011-02-28 |
navarrop | Change those functions to public for use external parser. |
tree | commitdiff |
2011-02-22 |
thiery | Simplify the management of processes in MSG. |
tree | commitdiff |
2011-02-22 |
agiersch | Use variadic variants of xbt_test_{add,fail,assert... |
tree | commitdiff |
2011-02-22 |
agiersch | Make xbt_test_{add,fail,assert,log} variadic macros. |
tree | commitdiff |
2011-02-22 |
agiersch | Replace xbt_die(bprintf(...)) with xbt_die(...). |
tree | commitdiff |
2011-02-22 |
agiersch | Make xbt_die() accept a format string with arguments. |
tree | commitdiff |
2011-02-22 |
agiersch | Define macro _XBT_IF_ONE_ARG. |
tree | commitdiff |
2011-02-22 |
agiersch | Define SIMGRID_VERSION through cmake. |
tree | commitdiff |
2011-02-21 |
thiery | Allow MSG_process_cleanup(p) to be called by other... |
tree | commitdiff |
2011-02-17 |
agiersch | Revert "Remove old style logging macros." |
tree | commitdiff |
2011-02-17 |
mquinson | Define a SIMGRID_VERSION macro in simgrid_config.h |
tree | commitdiff |
2011-02-17 |
agiersch | Make XBT_{IN,OUT,HERE} function-like macros. |
tree | commitdiff |
2011-02-17 |
agiersch | Remove old style logging macros. |
tree | commitdiff |
2011-02-17 |
agiersch | Use new style logging macros. |
tree | commitdiff |
2011-02-17 |
agiersch | Define variadic logging macros. |
tree | commitdiff |
2011-02-17 |
agiersch | Remove ; after SG_BEGIN_DECL(). |
tree | commitdiff |
2011-02-16 |
thiery | Evaluating the expression of xbt_assert must not have... |
tree | commitdiff |
2011-02-14 |
navarrop | Add sources for rngstreams |
tree | commitdiff |
next |