Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new comparison of pair reached (automaton state + values of propositi...
[simgrid.git] / include /
2011-10-25 Marion Guthmullermodel-checker : separate informations for safety statef...
2011-10-25 Marion Guthmullermodel-checker : new example bugged1 for stateful dpor
2011-10-25 Marion Guthmullermodel-check : show stack when property not valid
2011-10-25 Marion Guthmullercorrection compile warnings
2011-10-25 Marion Guthmullerstart new example with parsing lex/yacc of automaton...
2011-10-25 Marion Guthmullernew struct automaton
2011-10-20 NavarropRemove unused and old function.
2011-10-20 Martin Quinsonmerge branches
2011-09-27 Arnaud GierschInline macro _XBT_LOG_EV_BUFFER_ZERO and remove its...
2011-09-08 Arnaud GierschFix compilation warnings in ISO-C99 mode.
2011-09-08 NavarropRevert "Re-apply old patch A. Giersch 06/07/2010"
2011-09-08 NavarropRe-apply old patch A. Giersch 06/07/2010
2011-08-03 Martin Quinsonimprove reference documentation
2011-08-01 NavarropWe can specify the router name of a cluster.
2011-07-30 Quintin Jean-NoëlMerge remote-tracking branch 'origin/master'
2011-07-29 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-07-28 unknownNo need to have difference between win32 and Unix syste...
2011-07-28 unknownOn win64 we must use XBT_LOG_MAYDAY.
2011-07-19 Arnaud GierschAdd const qualifier to parameters of xbt_str_diff.
2011-07-06 Martin Quinsontrivial merge of changes about gras architecture
2011-06-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-06-28 NavarropAdd XBT_INLINE functions to doxygen documentation.
2011-06-23 Arnaud GierschDefine CATCH_ANONYMOUS.
2011-06-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-06-16 Lucas Schnorr[trace] fix define's to let users compile when tracing...
2011-06-15 Lucas Schnorr[trace] let user specify color for user variables for...
2011-05-24 Martin Quinsonmerge
2011-05-24 Arnaud GierschRegenerate files in maintainer mode.
2011-05-24 Lucas Schnorr[trace] interface cosmetics: removing pre-processor...
2011-05-24 Lucas Schnorr[trace] adding new way of set user variables for links...
2011-05-24 Lucas Schnorr[trace] cosmetics, cleaner public include tracing header
2011-05-18 Arnaud Giersch[surf] Don't define variable "platform_filename" twice.
2011-05-17 Pierre-Nicolas ClaussVery basic memoizer.
2011-05-12 Lucas Schnorr[trace] cosmetics on user variables tracing, simpler...
2011-05-10 Lucas Schnorr[trace] fix on user link variable declaration
2011-05-05 Arnaud GierschRemove the get_thread_id field from context_factory.
2011-05-05 Arnaud Gierschxbt_swag: remove duplicated code.
2011-05-05 Arnaud Gierschxbt_swag: use correct field for getPrev and getNext.
2011-04-27 NavarropMove src/surf/surf_routing.h in include/surf/surf_routing.h
2011-04-22 NavarropCheck if __thread is available.
2011-04-22 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-22 Christophe ThiéryWhen __thread is not available, use xbt_os_thread_get_s...
2011-04-18 Martin Quinsonfurther doxygen fixes (I'll try to stop for today)
2011-04-18 Martin Quinsonsome more tiny doxygen fixes
2011-04-14 mehdiMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-14 Lucas Schnorrtwo new functions to xbt_graph, load and save
2011-04-12 NavarropFixing building warning.
2011-04-12 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-11 Lucas Schnorrmerging tracing changes
2011-04-11 Lucas Schnorrexport to graphviz function in the tracing way, we...
2011-04-11 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-11 NavarropDelete coordinates for AS.
2011-04-09 Lucas Schnorrgraphicator re-implemented
2011-04-08 Pierre-Nicolas ClaussMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-08 NavarropMerge commit '521daa8271ac2778d8b2944be25daae65d3540a1...
2011-04-08 NavarropAdd tag include.
2011-04-01 NavarropMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-03-31 Pierre-Nicolas ClaussAdded one more missing call. C-MPI should now compile.
2011-03-31 Pierre-Nicolas ClaussMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-03-31 Pierre-Nicolas ClaussAdded one more missing MPI call.
2011-03-31 Lucas SchnorrMerge branch 'master' into master-svn
2011-03-29 Pierre-Nicolas ClaussMerge branch 'master' of github.com:THEpini/simgrid
2011-03-29 Pierre-Nicolas ClaussCoding Sprint : Synchronize SVN with GitHub
2011-03-29 cristianrosaMerge branch 'master', remote branch 'git-hub-cristian...
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2011-03-24 agierschDefine xbt_assert as a variadic macro.
2011-03-24 agierschUse new macros THROWF and RETHROWF.
2011-03-24 agierschDefine THROWF and RETHROWF as variadic macros.
2011-03-24 navarropReimplement SIMIX_host_get_dict.
2011-03-24 navarropRemove xbt_dict host from simix.
2011-03-24 navarropAdd xbt_lib_size and xbt_lib_rehash
2011-03-24 navarropAdd library (xbt_lib) to simgrid.
2011-03-18 thieryAdd functions SIMIX_comm_has_send/recv_match
2011-03-15 mquinsonmake SIMIX_comm_finish() public
2011-03-15 mquinsonallow MSG users to play with request matching mecanism
2011-03-14 piniAdd wrapper to match receiving mailboxes against a...
2011-03-09 navarropRevert "Change those functions to public for use extern...
2011-03-01 piniTentatively use sampling with Fortran.
2011-02-28 navarropChange those functions to public for use external parser.
2011-02-22 thierySimplify the management of processes in MSG.
2011-02-22 agierschUse variadic variants of xbt_test_{add,fail,assert...
2011-02-22 agierschMake xbt_test_{add,fail,assert,log} variadic macros.
2011-02-22 agierschReplace xbt_die(bprintf(...)) with xbt_die(...).
2011-02-22 agierschMake xbt_die() accept a format string with arguments.
2011-02-22 agierschDefine macro _XBT_IF_ONE_ARG.
2011-02-22 agierschDefine SIMGRID_VERSION through cmake.
2011-02-21 thieryAllow MSG_process_cleanup(p) to be called by other...
2011-02-17 agierschRevert "Remove old style logging macros."
2011-02-17 mquinsonDefine a SIMGRID_VERSION macro in simgrid_config.h
2011-02-17 agierschMake XBT_{IN,OUT,HERE} function-like macros.
2011-02-17 agierschRemove old style logging macros.
2011-02-17 agierschUse new style logging macros.
2011-02-17 agierschDefine variadic logging macros.
2011-02-17 agierschRemove ; after SG_BEGIN_DECL().
2011-02-16 thieryEvaluating the expression of xbt_assert must not have...
2011-02-14 navarropAdd sources for rngstreams
2011-02-14 navarropReimplement old tag random.
2011-02-11 agierschReview const attribute for pointers..
2011-02-11 agierschAdd missing XBT_PUBLIC.
2011-02-11 agierschRemove duplicated declaration.
next