Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' into MC_LTL
[simgrid.git] / src /
2011-11-04 Martin Quinsonno need to reset a struct that will be freed tree | commitdiff
2011-11-04 NavarropReplace stupid char* by doubles in the cluster struct... tree | commitdiff
2011-11-04 NavarropAdd new model for cluster tag. tree | commitdiff
2011-11-04 Martin Quinsonensure that the create_resource functions do call strdu... tree | commitdiff
2011-11-04 Martin Quinsonuseless cosmetics tree | commitdiff
2011-11-03 Martin Quinsondamn. Make sure that the models are inited only once... tree | commitdiff
2011-11-03 Martin Quinsonfix a bug that I recently introduced that prevented... tree | commitdiff
2011-11-03 Christophe ThiéryEnable clobbered variable warnings again and fix the... tree | commitdiff
2011-11-03 Martin Quinsonintegrate initialization functions within the parsing... tree | commitdiff
2011-11-03 Martin Quinsoncleanup the way surf_parse_models_setup is called after... tree | commitdiff
2011-11-03 Martin Quinsonsplit raw parsing functions from platform parsing,... tree | commitdiff
2011-11-03 Martin Quinsonprivatize this function that must be called at some... tree | commitdiff
2011-11-03 Marion Guthmullermodel-checker : more condition (state with processes... tree | commitdiff
2011-11-03 Martin Quinsonoops, this should have been in a previous commit (a4f77... tree | commitdiff
2011-11-03 Christophe ThiéryFix the mallocator of SimDag tasks. tree | commitdiff
2011-11-03 Christophe Thiéryxbt_swag_foreach_safe is actually needed here. tree | commitdiff
2011-11-03 Martin QuinsonNobody cares about this argument since maybe 4 years... tree | commitdiff
2011-11-03 Martin Quinsonfinish to kill a unused function tree | commitdiff
2011-11-03 Christophe Thiérykeep_track should be set only when lmm_solve is called... tree | commitdiff
2011-11-03 Christophe ThiéryMake xbt_swag_insert_at_head/tail uniform and check... tree | commitdiff
2011-11-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-11-02 Martin Quinsonimprove the documentation of the parser (getting used... tree | commitdiff
2011-11-02 Christophe ThiéryOptimize swags and save calls from Surf tree | commitdiff
2011-11-02 Christophe ThiéryThis useless test makes a warning when assertions are... tree | commitdiff
2011-11-02 Christophe ThiéryFix gcc 4.6 warnings about clobbered variables with... tree | commitdiff
2011-11-02 Christophe ThiéryImplement direct context switching also for raw contexts tree | commitdiff
2011-11-02 Marion Guthmullermodel-checker : add or remove debug information tree | commitdiff
2011-11-02 Marion Guthmullermodel-checker : change variable successors (local-... tree | commitdiff
2011-11-02 Marion Guthmullermodel-checker : memory leaks fixed in dfs algorithm... tree | commitdiff
2011-11-02 Christophe ThiéryThe impossible might be possible sometimes, actually tree | commitdiff
2011-11-02 Christophe ThiéryDirect context switching: clean the semantics of parmap tree | commitdiff
2011-11-02 Christophe ThiérySwitch directly between runnable contextes (work in... tree | commitdiff
2011-11-02 Martin Quinsontypos tree | commitdiff
2011-11-02 Martin Quinsoncosmetics tree | commitdiff
2011-11-01 Martin Quinsonregenerate with flexml 1.9.1 (integrate small changes... tree | commitdiff
2011-11-01 Martin Quinsonuseless simplification tree | commitdiff
2011-10-30 Martin QuinsonRegenerate with flexml 1.9 (robust against multiple... tree | commitdiff
2011-10-28 Martin Quinsonsimplification by removing a useless level of call tree | commitdiff
2011-10-28 Martin Quinsonmark as volatile variables that are used within TRY... tree | commitdiff
2011-10-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-10-28 Arnaud GierschIn xbt_log_layout_simple_doit, add missing calls to... tree | commitdiff
2011-10-28 Marion Guthmullermodel-checker : function mmalloc_compare_mdesc fixed... tree | commitdiff
2011-10-28 Martin Quinsoncosmetics/tiny computation saving tree | commitdiff
2011-10-28 Christophe ThiéryDon't memset to zero tree | commitdiff
2011-10-28 Christophe ThiéryWith optimizations, gcc 4.6 warns about clobbered variables tree | commitdiff
2011-10-28 Christophe Thiérymemset with a size of 0 is forbidden tree | commitdiff
2011-10-27 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-10-27 Christophe ThiéryMake suspending/resuming a suspended/non-suspended... tree | commitdiff
2011-10-27 NavarropFix cluster without backbone. tree | commitdiff
2011-10-26 NavarropEnsure windows combatibility. tree | commitdiff
2011-10-26 NavarropRewrite the way to do the parsing for host,cluster... tree | commitdiff
2011-10-26 NavarropDo the parsing one time and not more. tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : function to compare values of propositi... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : remove unused variables tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : function to compare propositional symbo... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : change printf for size_t variables tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : test data in libsimgrid memory region... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new functions to compare mmalloc in... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : add type in s_mc_mem_region (0=std_heap... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : nettoyage du code tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new comparison for reached pairs (autom... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new comparison of pair reached (automat... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : delete visited in struct xbt_state_t... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : delete struct reached_pair_stateless... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : delete num in struct mc_pair_t tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : empty pair for stateless ddfs fixed tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : ddfs stateless and stateful fixed tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : update ddfs stateful model checking... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new structure reached_pair_stateless... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : stateless model checking for liveness... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : separate informations for safety statef... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new example bugged1 for stateful dpor tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : one more condition before interleaving... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : add condition of invisibility to reduce... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new structure mc_pair_prop_t and backup... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : DPOR (independant transitions) algorith... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : separate dfs and dpor algorithms with... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : 128bits->160bits for hash of visited... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : restore interleaved process when restor... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : dfs with good restore snapshot tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : correction of dfs algorithm for livenes... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : test dpor without replay from initial... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : rename file mc_dfs -> mc_liveness tree | commitdiff
2011-10-25 Marion GuthmullerMC LTL : last version dfs algorithm before reduction tree | commitdiff
2011-10-25 Marion GuthmullerMC LTL : add statistics tree | commitdiff
2011-10-25 Marion Guthmullermodel checker : dfs algorithm corrected tree | commitdiff
2011-10-25 Marion Guthmullermodel-check : show stack when property not valid tree | commitdiff
2011-10-25 Marion Guthmullermodel-check : dump stack for acceptance cycle tree | commitdiff
2011-10-25 Marion Guthmullermodel-check : show stack for acceptance cycle tree | commitdiff
2011-10-25 Marion Guthmullermodel check : acceptance cycle detection with automaton... tree | commitdiff
2011-10-25 Marion Guthmullerdétection de cycle d'acceptation ok mais boucle infinie... tree | commitdiff
2011-10-25 Marion Guthmullercorrection compile warnings tree | commitdiff
2011-10-25 Marion Guthmullerstart new example with parsing lex/yacc of automaton... tree | commitdiff
2011-10-25 Marion Guthmullernew dfs algorithm with automaton of LTL formula tree | commitdiff
2011-10-25 Marion Guthmullernew struct automaton tree | commitdiff
2011-10-21 NavarropOptimize bprintf during cluster loop. tree | commitdiff
2011-10-20 Martin Quinsonuse more consistently the resource create of models... tree | commitdiff
2011-10-20 Martin Quinsonreduce the amount of damn paranoid checks in simdag... tree | commitdiff
2011-10-20 NavarropNeed to set state_file and availability file into the... tree | commitdiff
2011-10-20 NavarropUpdate include tag. tree | commitdiff
next
Clone of SimGrid repository with local patches