2015-02-18 |
Arnaud Legrand | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2015-02-18 |
Arnaud Legrand | Improve error message |
tree | commitdiff |
2015-02-17 |
Arnaud Giersch | Replace remaining smx_action by smx_synchro. |
tree | commitdiff |
2015-02-16 |
Martin Quinson | Have smpirun, smpicc and friends display the simgrid... |
tree | commitdiff |
2015-02-16 |
Martin Quinson | make smpirun guess the hostfile for cluster tags too |
tree | commitdiff |
2015-02-13 |
Gabriel Corona | [mc] Do not use strerror(), not thread-safe |
tree | commitdiff |
2015-02-13 |
Marion Guthmuller | model-checker : include tag in comm determinism verific... |
tree | commitdiff |
2015-02-13 |
Gabriel Corona | [mc] Remote support for MC_deadlock_check() using MC_ME... |
tree | commitdiff |
2015-02-12 |
Gabriel Corona | Merge master into mc-process |
tree | commitdiff |
2015-02-12 |
Gabriel Corona | [mc] Make an option for file descriptor snapshot (off... |
tree | commitdiff |
2015-02-12 |
Gabriel Corona | [mc] Mark some issues as fixed |
tree | commitdiff |
2015-02-10 |
Marion Guthmuller | model-checker : intermediate backtracking enabled if... |
tree | commitdiff |
2015-02-10 |
Gabriel Corona | [mc] Server side symbol evaluation |
tree | commitdiff |
2015-02-10 |
Marion Guthmuller | model-checker : memory leak |
tree | commitdiff |
2015-02-10 |
Gabriel Corona | [mc] Register symbols as pointers in the examples |
tree | commitdiff |
2015-02-10 |
Gabriel Corona | [mc] Extend xbt_propositional_symbols |
tree | commitdiff |
2015-02-10 |
Gabriel Corona | [mc] Cleanup heap switching code |
tree | commitdiff |
2015-02-09 |
Marion Guthmuller | model-checker : cosmetics |
tree | commitdiff |
2015-02-09 |
Marion Guthmuller | model-checker : non-recursive liveness algorithm |
tree | commitdiff |
2015-02-09 |
Marion Guthmuller | model-checker : intermediate backtracking with model... |
tree | commitdiff |
2015-02-09 |
Marion Guthmuller | model-checker : communications determinism with visited... |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] Add MCer handling for MC_MESSAGE_IGNORE_HEAP and... |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | (wip) Move the MCed public API in the same file |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] New message for stack_area |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] Flag global variables in mc_ignore as belonging... |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] Communicate MC_remove_ignore_heap to the remote... |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] Do not call malloc_no_memset in mc_snapshot |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] Implement remote support for MC_ignore |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] Move mc_model_checker in its own .c file |
tree | commitdiff |
2015-02-06 |
Gabriel Corona | [mc] Communication of heap_area_to_ignore to the remote... |
tree | commitdiff |
2015-02-05 |
Gabriel Corona | [mc] Define one struct per MC message type |
tree | commitdiff |
2015-02-03 |
Martin Quinson | New property: watt_off to denote the disipation when... |
tree | commitdiff |
2015-02-03 |
Gabriel Corona | [mc] Move MC_init_pid outside of mc_server |
tree | commitdiff |
2015-02-03 |
Gabriel Corona | [mc] Remove some functions in mc_server |
tree | commitdiff |
2015-02-03 |
Gabriel Corona | [mc] Basic infrastructure for a real model-checker... |
tree | commitdiff |
2015-02-03 |
Martin Quinson | partially fix the energy public API (massive renames... |
tree | commitdiff |
2015-02-03 |
Martin Quinson | Fix energy plugin wrt idle time |
tree | commitdiff |
2015-02-02 |
Gabriel Corona | Enable C++11 |
tree | commitdiff |
2015-01-30 |
Gabriel Corona | [mc] Remote unwinding support |
tree | commitdiff |
2015-01-26 |
Martin Quinson | rename the property used by the energy plugin for clarity |
tree | commitdiff |
2015-01-26 |
Martin Quinson | oops, remove verbose debug output |
tree | commitdiff |
2015-01-26 |
Martin Quinson | even more informative error message |
tree | commitdiff |
2015-01-25 |
Martin Quinson | more informative (?) error message |
tree | commitdiff |
2015-01-25 |
Martin Quinson | properly pass the cluster's properties to the created... |
tree | commitdiff |
2015-01-25 |
Martin Quinson | more informative error message in some obscure error... |
tree | commitdiff |
2015-01-25 |
Martin Quinson | cosmetics in comments |
tree | commitdiff |
2015-01-23 |
Gabriel Corona | [mc] Make a copy of the libunwind context when snapshot... |
tree | commitdiff |
2015-01-22 |
Christian Heinrich | Modified error messages when creating CPUs for more... |
tree | commitdiff |
2015-01-20 |
suter | more verbose output following a weird crash on my laptop |
tree | commitdiff |
2015-01-16 |
Gabriel Corona | [mc] Add some comments |
tree | commitdiff |
2015-01-16 |
Gabriel Corona | [mc] Create a separate simgrid-mc program |
tree | commitdiff |
2015-01-09 |
Gabriel Corona | [mc] Remove remaining bits on hardcoded object list |
tree | commitdiff |
2015-01-06 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-01-05 |
Augustin Degomme | avoid breaking with recent freebsd that implement this... |
tree | commitdiff |
2014-12-22 |
Martin Quinson | Ensure that MSG_host_self() works from maestro context |
tree | commitdiff |
2014-12-19 |
Gabriel Corona | [mc] Add some FIXMEs for cross-process support |
tree | commitdiff |
2014-12-19 |
Gabriel Corona | [mc] Cross-process support for MC_ignore |
tree | commitdiff |
2014-12-19 |
Gabriel Corona | [mc] Implements privatization support for MC_process_read |
tree | commitdiff |
2014-12-19 |
Gabriel Corona | [mc] Abstract the process and a snapshot types with... |
tree | commitdiff |
2014-12-16 |
Gabriel Corona | [mc] More comments for mc_dwarf_execute_expression() |
tree | commitdiff |
2014-12-16 |
Gabriel Corona | [mc] Add more information about mc_dwarf_register_to_li... |
tree | commitdiff |
2014-12-12 |
Augustin Degomme | doc update for new appenders |
tree | commitdiff |
2014-12-12 |
Augustin Degomme | Patch by F.Chaix : add two "new" log appender methods... |
tree | commitdiff |
2014-12-12 |
Gabriel Corona | [mc] Support for reading heap state from another process |
tree | commitdiff |
2014-12-12 |
Martin Quinson | more documentation about the simcall mechanism |
tree | commitdiff |
2014-12-11 |
Gabriel Corona | [mc] Fix error handling in MC_process{read,write} |
tree | commitdiff |
2014-12-11 |
Gabriel Corona | [mc] Access memory from another process |
tree | commitdiff |
2014-12-10 |
Augustin Degomme | (try to) avoid looping forever, temporarily. |
tree | commitdiff |
2014-12-10 |
Augustin Degomme | Fix windows build (this is now used from the java library) |
tree | commitdiff |
2014-12-10 |
Marion Guthmuller | fix dot output with file descriptor checkpoint/restore |
tree | commitdiff |
2014-12-09 |
Augustin Degomme | Fix build |
tree | commitdiff |
2014-12-09 |
Gabriel Corona | [mc] Enable the custom mm malloc only in MC |
tree | commitdiff |
2014-12-09 |
Gabriel Corona | [mm] Allow to disable the mm based `malloc` at runtime |
tree | commitdiff |
2014-12-09 |
Gabriel Corona | [mc] Remove redundant typedefs |
tree | commitdiff |
2014-12-08 |
degomme | bashism -- (fix https://bugs.debian.org/cgi-bin/bugrepo... |
tree | commitdiff |
2014-12-08 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-12-08 |
Gabriel Corona | [mc] Multiple .so support for region snapshots |
tree | commitdiff |
2014-12-08 |
Christian Heinrich | Fixed return values for several MPI_WIN functions |
tree | commitdiff |
2014-12-08 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-12-08 |
Adrien Lebre | Few temporary debug messages - adrien |
tree | commitdiff |
2014-12-06 |
Augustin Degomme | Add a mutex to lock access to the SMPI mailboxes when... |
tree | commitdiff |
2014-12-06 |
Augustin Degomme | Revert "Avoid using simcalls here, as by descheduling... |
tree | commitdiff |
2014-12-05 |
Gabriel Corona | [mc] Multiple .so support in MC_ignore_local_variable() |
tree | commitdiff |
2014-12-05 |
Gabriel Corona | [mc] Basic support for more other libraries than libsim... |
tree | commitdiff |
2014-12-05 |
Augustin Degomme | Add MPI_Win_post, MPI_Win_start, MPI_Win_complete,... |
tree | commitdiff |
2014-12-04 |
Gabriel Corona | [mc] Move process info in a new s_mc_process_t structure |
tree | commitdiff |
2014-12-04 |
Gabriel Corona | [mc] Don't include libunwind.h in non MC builds |
tree | commitdiff |
2014-12-04 |
Gabriel Corona | Merge branch 'master' |
tree | commitdiff |
2014-12-04 |
Gabriel Corona | [mc] Don't use unprototyped functions |
tree | commitdiff |
2014-12-04 |
Gabriel Corona | [mc] Remove useless header #includes |
tree | commitdiff |
2014-12-02 |
Augustin Degomme | forgot to add this include |
tree | commitdiff |
2014-12-02 |
Augustin Degomme | let's try to please windows |
tree | commitdiff |
2014-12-02 |
Augustin Degomme | Avoid using simcalls here, as by descheduling the proce... |
tree | commitdiff |
2014-12-02 |
Augustin Degomme | typos-=2 |
tree | commitdiff |
2014-12-02 |
Augustin Degomme | avoid problem when freeing pointer with lb!=0 |
tree | commitdiff |
2014-12-02 |
Augustin Degomme | do the same thing as before with IB model parameters |
tree | commitdiff |
2014-12-02 |
Gabriel Corona | [mc] Modularise header files for MC |
tree | commitdiff |
2014-12-02 |
Gabriel Corona | [mc] Define a type for MC object information flags |
tree | commitdiff |
2014-12-01 |
Gabriel Corona | [mc] Remove MC_ignore_global_variable() calls |
tree | commitdiff |
2014-12-01 |
Gabriel Corona | [mc] Enable MC specific behaviour in replay mode |
tree | commitdiff |
next |