Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : remove unused function
[simgrid.git] / src /
2012-08-01 Marion Guthmullermodel-checker : remove unused function tree | commitdiff
2012-08-01 Jean-Baptiste HervéPlatform generation : add the edge length in its data tree | commitdiff
2012-08-01 Jean-Baptiste HervéPlatform generation : Add the Waxman topology algorithm tree | commitdiff
2012-08-01 Jean-Baptiste HervéPlatform generation : make public structures for node... tree | commitdiff
2012-08-01 Jean-Baptiste HervéPlatform generation : add the Zegura algorithm topology tree | commitdiff
2012-08-01 Jean-Baptiste HervéPlatform generation : add the Barabasi-Albert algorithm... tree | commitdiff
2012-07-31 schnorr[trace] something might have failed during process... tree | commitdiff
2012-07-31 schnorr[trace] factorize more tree | commitdiff
2012-07-31 schnorr[trace] factorize code, use TRACE_msg_process_destroy... tree | commitdiff
2012-07-31 schnorr[trace] add function to destroy process container tree | commitdiff
2012-07-31 schnorrcosmetics tree | commitdiff
2012-07-31 schnorr[trace] only update power and bandwidth if trace subsys... tree | commitdiff
2012-07-31 schnorr[trace] it seems there are no availability traces for... tree | commitdiff
2012-07-31 schnorr[trace] make sure variable is zeroed before writing... tree | commitdiff
2012-07-31 navarroAdd function to unlink a file. tree | commitdiff
2012-07-31 navarroFix memory leak tree | commitdiff
2012-07-31 navarroDuring the storage open, create the file if not exist. tree | commitdiff
2012-07-31 Jean-Baptiste Hervéplatform generation : add promoters and labelers support tree | commitdiff
2012-07-31 Jean-Baptiste Hervéplatform generation : modify some interfaces tree | commitdiff
2012-07-31 Jean-Baptiste HervéPlatform generation : add a function to set link parameters tree | commitdiff
2012-07-31 Jean-Baptiste HervéMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-07-31 Jean-Baptiste HervéPlatform generation : add promotion functions tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : add debug information about pointers... tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : free memory tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : use bprintf instead of sprintf tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : ignore differences of pointers in ... tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : cleanup for heap comparison tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : update tests for snapshot comparison tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : remove core dump for each reached pair tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : cleanup on mc_checkpoint tree | commitdiff
2012-07-30 Jean-Baptiste HervéPlatform generation : add the exponential topology tree | commitdiff
2012-07-30 Jean-Baptiste HervéPlatform generation : add a function to compute distanc... tree | commitdiff
2012-07-30 Jean-Baptiste HervéPlatform generation : add the uniform topology tree | commitdiff
2012-07-27 Jean-Baptiste HervéPlatform generation : add the clique topology tree | commitdiff
2012-07-27 Jean-Baptiste HervéPlatform generation : add the "ring" topology tree | commitdiff
2012-07-27 Jean-Baptiste HervéPlatform generation : Add 2 topology setup functions tree | commitdiff
2012-07-27 Jean-Baptiste HervéPlatform generation : Add some debug tree | commitdiff
2012-07-26 Jean-Baptiste HervéPlatform generation : Add a function to interconnect... tree | commitdiff
2012-07-26 Jean-Baptiste HervéPlatform generation : modify some interface tree | commitdiff
2012-07-26 Jean-Baptiste HervéFirst step to implement a platform generator in Simgrid tree | commitdiff
2012-07-25 Marion Guthmullermodel-checker : cleanups for liveness property model... tree | commitdiff
2012-07-25 Marion Guthmullermodel-checker : new heap comparison algorithm tree | commitdiff
2012-07-24 Jean-Baptiste HervéAdd an include to avoid a compilation warning tree | commitdiff
2012-07-22 Martin QuinsonAdd some support to bench the sequential and parallel... tree | commitdiff
2012-07-22 Martin Quinsonuseless tiny cleanups that should be done all over... tree | commitdiff
2012-07-22 Martin QuinsonNew function: xbt_os_timer_resume() to restart a timer... tree | commitdiff
2012-07-17 Martin Quinsonregenerate the flexer files with a recent flexml, so... tree | commitdiff
2012-07-17 Martin QuinsonFix a bug making that the simulation ran longer than... tree | commitdiff
2012-07-16 Marion Guthmullermodel-checker : #ifdef instead of #if (found by Cristia... tree | commitdiff
2012-07-16 Marion Guthmullermodel-checker : add new pair reached in raw_heap tree | commitdiff
2012-07-16 Marion Guthmullermodel-checker : add new pair reached even if compare==0 tree | commitdiff
2012-07-12 suterDo the same as before to replay traces with SMPI, but... tree | commitdiff
2012-07-12 Marion Guthmullermodel-checker : remove unnecessary memset on free fragm... tree | commitdiff
2012-07-12 Marion Guthmullermodel-checker : comment MC_compare tree | commitdiff
2012-07-12 navarroRemove this output. tree | commitdiff
2012-07-11 navarroAdd a tag cabinet to write new kind of cluster. See... tree | commitdiff
2012-07-11 Marion Guthmullermodel-checker : application alert for state equality... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : new recursive function for comparison... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : malloc_backtrace_display functions... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : heapinfo adresses refer to saved heap... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : remove header of unused function tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : memset 0 on free block/fragment tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : factorization of set_pair_reached and... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : remove useless code tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : update backtrace display tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : remove unused function tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : remove unnecessary take_snapshot for... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : initialize variables tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : remove useless code tree | commitdiff
2012-07-10 suterFinally understand how the rate works. Explain it in... tree | commitdiff
2012-07-09 suterAdd what's missing to load traces from SMPI. tree | commitdiff
2012-07-09 suterAs pointed out by a user, the rate should be expressed... tree | commitdiff
2012-07-09 suterno need to add "rank" to the rank (will decrease trace... tree | commitdiff
2012-07-09 Martin Quinsondocument the upcoming change in SMPI tree | commitdiff
2012-07-09 Jean-Baptiste HervéFix a mistake in the Weibull inverse distribution function tree | commitdiff
2012-07-05 Arnaud GierschBreak loop here. tree | commitdiff
2012-07-05 Arnaud GierschCheck if cnst->cnst_usage is NULL. tree | commitdiff
2012-07-05 Martin Quinsonregenerate the parser files with flexml 1.9.3 (thx... tree | commitdiff
2012-07-05 navarrofree this dynar in none_finalize (if it was used). tree | commitdiff
2012-07-05 navarroUse new tag host_link for peer. No need for router... tree | commitdiff
2012-07-05 navarroAdd two new tag for routing cluster (only): tree | commitdiff
2012-07-04 Marion Guthmullermodel-checker : use rename() instead of system(mv ..) tree | commitdiff
2012-07-04 Samuel LepetitMemory leak fix tree | commitdiff
2012-07-04 Samuel LepetitAdd MSG_vm_reboot tree | commitdiff
2012-07-04 Samuel LepetitReturn the new process in SIMIX_process_restart, simcal... tree | commitdiff
2012-07-04 Samuel LepetitFix SIMIX_process_kill(SIMIX_process_self()); issue... tree | commitdiff
2012-07-04 Arnaud GierschInclude simgrid_config.h before stdio.h to define _GNU_... tree | commitdiff
2012-07-04 Arnaud GierschRemove useless defines. tree | commitdiff
2012-07-04 Arnaud GierschDon't define variables in header files (part 2). tree | commitdiff
2012-07-04 navarroMore cache cleaning in lmm_solve tree | commitdiff
2012-07-04 schnorr[trace] correctly declaring simgrid tracing mark values... tree | commitdiff
2012-07-04 schnorr[trace] don't specify color when declaring an event... tree | commitdiff
2012-07-04 schnorr[trace] follow the paje file format specification tree | commitdiff
2012-07-04 Arnaud GierschDon't define variables in header file. tree | commitdiff
2012-07-03 Arnaud GierschFix memory leak. tree | commitdiff
2012-07-03 Arnaud Giersch[trace] free dicts on TRACE_end. tree | commitdiff
2012-07-03 Arnaud GierschFix free function for dynar, and simplify the code... tree | commitdiff
2012-07-03 Arnaud GierschAvoid to free object twice. tree | commitdiff
2012-07-03 Marion Guthmullermodel-checker : use abort() instead of a hack for core... tree | commitdiff
2012-07-03 Marion Guthmullermodel-checker : typo tree | commitdiff
next
Clone of SimGrid repository with local patches