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 : stateless model checking for liveness properties
[simgrid.git] / src /
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
2011-10-20 NavarropMove arguments outside of the loop of hosts. tree | commitdiff
2011-10-20 NavarropRemove unused and old function. tree | commitdiff
2011-10-20 NavarropRemove supernovae mode for SimGrid v3.7 tree | commitdiff
2011-10-20 NavarropUpdate tag include tree | commitdiff
2011-10-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-10-20 Martin Quinsonsetup a mallocator for the simdag tasks. The gain is... tree | commitdiff
2011-10-20 Arnaud Gierschs/GRAS_STUB_GENERATOR/SIMGRID_LUA/ to actually match... tree | commitdiff
2011-10-20 Arnaud GierschGuard against multiple inclusion. tree | commitdiff
2011-10-20 Martin QuinsonMerge stuff again. Damn, I should pull before changing... tree | commitdiff
2011-10-20 Martin Quinsonmerge branches tree | commitdiff
2011-10-20 Martin QuinsonPerformance boost by using a swag internally in SD_simulate tree | commitdiff
2011-10-20 Martin QuinsonUse the partial invalidation optimization by default... tree | commitdiff
2011-10-20 Christophe ThiéryThis memory leak fix did not work with complex simulations. tree | commitdiff
2011-10-20 Christophe ThiérySIMIX_CANCELED is a more adapted state in SIMIX_comm_ca... tree | commitdiff
2011-10-14 Christophe ThiéryIn case of failures, a process may become runnable... tree | commitdiff
2011-10-14 Christophe ThiéryImprove debug messages tree | commitdiff
2011-10-14 Christophe ThiéryMake cancelling a non-running task a no-op tree | commitdiff
2011-10-14 Christophe ThiéryFix remaining memory leaks in MSG tree | commitdiff
2011-10-14 Christophe ThiérySimix: clean unfinished comms when terminating a process tree | commitdiff
2011-10-13 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-10-13 Christophe ThiéryFighting more memory leaks in Chord tree | commitdiff
2011-10-13 NavarropAdd host core to "1.0" for tag peer. tree | commitdiff
2011-10-13 Christophe ThiéryMerge branch 'lua' tree | commitdiff
2011-10-13 Christophe ThiéryLua: more debugging info tree | commitdiff
2011-10-10 Lucas Schnorr[trace] strictly following the header of the paje file... tree | commitdiff
2011-10-06 Christophe ThiéryLua: add support of closures to the state cloner tree | commitdiff
2011-10-05 Arnaud GierschMake xbt_strbuff_chomp() really do its work. tree | commitdiff
2011-10-05 Arnaud GierschAn empty strbuff should really be empty. tree | commitdiff
2011-10-05 Arnaud Giersch.gitignore: delete .gitignore files in subdirectories. tree | commitdiff
2011-10-05 Arnaud GierschDo not call surf_solve() when there is nothing to run. tree | commitdiff
2011-10-04 Christophe ThiéryRemove an obsolete function tree | commitdiff
2011-10-03 Christophe ThiéryLua: fix registering maestro tables tree | commitdiff
2011-09-29 Christophe ThiérySimplifying and improving identification of tables tree | commitdiff
2011-09-29 Christophe ThiérySplit sglua_move_value() in different functions for... tree | commitdiff
2011-09-29 Christophe ThiéryRename s_buffer_t to s_sglua_buffer_t tree | commitdiff
2011-09-29 Christophe ThiéryLua: separate bindings, state cloning functions and... tree | commitdiff
2011-09-29 NavarropImplement RED module for ns3 into simgrid code. tree | commitdiff
2011-09-28 Christophe ThiéryLua: sending and receiving tasks work, tests are okay. tree | commitdiff
2011-09-28 NavarropWe need the same gcc of cmake for smpicc. tree | commitdiff
2011-09-27 Christophe ThiéryTrying to make userdata work tree | commitdiff
2011-09-27 Christophe ThiéryLua: handle userdata and the registry tree | commitdiff
2011-09-27 NavarropRevert "Those files should not be in git." tree | commitdiff
2011-09-27 Christophe ThiéryMerge branch 'lua' of git+ssh://scm.gforge.inria.fr... tree | commitdiff
2011-09-27 NavarropThose files should not be in git. tree | commitdiff
2011-09-27 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-09-27 Christophe ThiéryRevert "Implementing Lua simulated processes as indepen... tree | commitdiff
2011-09-27 Christophe ThiéryRevert "These messages should be print in debug logs... tree | commitdiff
2011-09-27 Christophe ThiéryRevert "Fix format string error." tree | commitdiff
2011-09-27 NavarropThis file should not be in git repository. tree | commitdiff
2011-09-27 Christophe ThiéryImprove formatting of debug info tree | commitdiff
2011-09-27 Arnaud GierschFix format string error. tree | commitdiff
2011-09-27 Arnaud GierschFree exception. tree | commitdiff
2011-09-27 Arnaud GierschCommit changes to simgrid_dtd.l. tree | commitdiff
2011-09-27 Christophe ThiéryThese messages should be print in debug logs only tree | commitdiff
2011-09-27 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-09-27 Christophe ThiéryImplementing Lua simulated processes as independent... tree | commitdiff
2011-09-21 Martin Quinsoncut an infinite loop of exception raising which raises... tree | commitdiff
2011-09-20 Lucas Schnorr[ns3, trace] tracing needs the sentBytes variable being... tree | commitdiff
2011-09-20 NavarropRemove option for pcre from cmake files and from sources. tree | commitdiff
2011-09-20 NavarropDon't malloc data if mysmysocket->remaining equals... tree | commitdiff
2011-09-20 NavarropRewrite the way to use dict_socket. tree | commitdiff
2011-09-20 Lucas Schnorr[trace] "bugfix", this line is causing a segfault in... tree | commitdiff
2011-09-20 Lucas Schnorr[trace] cosmetics, declare variable when it is first... tree | commitdiff
2011-09-20 Lucas Schnorr[trace] cosmetics, break lines of --help-tracing tree | commitdiff
2011-09-16 Christophe ThiéryFix a uninitialized variable warning and simplify surf_... tree | commitdiff
2011-09-16 Lucas Schnorr[trace] fix on the trace header, strictly following... tree | commitdiff
2011-09-16 Lucas Schnorr[trace] hosts might have spaces tree | commitdiff
2011-09-15 Martin Quinsonlet this code compile without warning tree | commitdiff
2011-09-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
next
Clone of SimGrid repository with local patches