| 2015-02-13 |
Marion Guthmuller | model-checker : include tag in comm determinism verific... |
tree | commitdiff |
| 2015-02-10 |
Marion Guthmuller | model-checker : intermediate backtracking enabled if... |
tree | commitdiff |
| 2015-02-10 |
Marion Guthmuller | model-checker : memory leak |
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-03 |
Martin Quinson | New property: watt_off to denote the disipation when... |
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-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-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-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-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 |
Martin Quinson | more documentation about the simcall mechanism |
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] 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 |
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 |
Augustin Degomme | Add MPI_Win_post, MPI_Win_start, MPI_Win_complete,... |
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 |
| 2014-12-01 |
Gabriel Corona | Revert "[mc] Enable MC specific behaviour in replay... |
tree | commitdiff |
| 2014-12-01 |
Gabriel Corona | [mc] Enable MC specific behaviour in replay mode |
tree | commitdiff |
| 2014-12-01 |
Gabriel Corona | [mc] Remove useless condition check |
tree | commitdiff |
| 2014-12-01 |
Gabriel Corona | Use pthread mutex instead of semaphore in mm |
tree | commitdiff |
| 2014-12-01 |
Gabriel Corona | s/formated/formatted/ |
tree | commitdiff |
| 2014-12-01 |
Gabriel Corona | [mc] Initial support MC record/replay |
tree | commitdiff |
| 2014-12-01 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2014-11-29 |
Martin Quinson | fix the build of java bundles, sorry |
tree | commitdiff |
| 2014-11-29 |
Martin Quinson | reindent and improve displayed message |
tree | commitdiff |
| 2014-11-29 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2014-11-28 |
Augustin Degomme | move smpi bandwidth and latency factors out of the... |
tree | commitdiff |
| 2014-11-28 |
Adrien Lebre | merge msg_vm.c - adrien (please note that there is... |
tree | commitdiff |
| 2014-11-28 |
Augustin Degomme | Remove warnings in vm |
tree | commitdiff |
| 2014-11-28 |
Augustin Degomme | remove potential bug / clang warning |
tree | commitdiff |
| 2014-11-27 |
Takahiro Hirofuchi | support timeout of migration |
tree | commitdiff |
| 2014-11-27 |
Takahiro Hirofuchi | fix indent in migration code |
tree | commitdiff |
| 2014-11-27 |
Takahiro Hirofuchi | remove unnecessary comment out |
tree | commitdiff |
| 2014-11-27 |
Takahiro Hirofuchi | remove the unnecessary vm object in migration |
tree | commitdiff |
| 2014-11-27 |
Takahiro Hirofuchi | remove unused code in migration |
tree | commitdiff |
| 2014-11-27 |
Takahiro Hirofuchi | remove trailing space in the migration code |
tree | commitdiff |
| 2014-11-27 |
Takahiro Hirofuchi | remove unused migration code for CPU overheads |
tree | commitdiff |
| 2014-11-21 |
Gabriel Corona | Merge branch 'xp' |
tree | commitdiff |
| 2014-11-21 |
Gabriel Corona | Revert "Temporarily disable an option" |
tree | commitdiff |
| 2014-11-21 |
gabriel corona | Temporarily disable an option |
tree | commitdiff |
| 2014-11-18 |
Gabriel Corona | Infrastructure for statically defined tracepoints |
tree | commitdiff |
| 2014-11-18 |
Gabriel Corona | [mc] Remove reference to DW_TAG_mutable_type: |
tree | commitdiff |
| 2014-11-18 |
Martin Quinson | typo -= 2 |
tree | commitdiff |
| 2014-11-18 |
degomme | protect these calls to smpi_datatype_size as they are... |
tree | commitdiff |
| 2014-11-17 |
degomme | Fix problem with unknown datatypes in replay/tracing. |
tree | commitdiff |
| 2014-11-17 |
degomme | There should not be msg datatypes here |
tree | commitdiff |
| 2014-11-17 |
Gabriel Corona | [mm] Disable HAVE_GNU_LD code in order to get rid of... |
tree | commitdiff |
| 2014-11-13 |
Gabriel Corona | Remove warning about uninitialized variable |
tree | commitdiff |
| 2014-11-13 |
Gabriel Corona | Don't use xbt_os_time() when not needed |
tree | commitdiff |
| 2014-11-13 |
Gabriel Corona | Fix small leak in NetworkIBModel::NetworkIBMode() |
tree | commitdiff |
| 2014-11-13 |
Gabriel Corona | [mc] Disable timer in MC |
tree | commitdiff |
| 2014-11-07 |
Gabriel Corona | [mc] Add useless parends to remove WTF warning-which... |
tree | commitdiff |
| 2014-11-07 |
Augustin Degomme | Simplify use of dict for smpi attr handling. |
tree | commitdiff |
| 2014-11-07 |
Gabriel Corona | [mc] Don't fork another process in the hop spot, MC_get... |
tree | commitdiff |
| 2014-11-06 |
Augustin Degomme | add mpi_info_* support to fortran, and activate relevan... |
tree | commitdiff |
| 2014-11-06 |
Gabriel Corona | [mc] Add MC_dump_stacks |
tree | commitdiff |
| 2014-11-06 |
Augustin Degomme | Add mpi_info support for rma calls |
tree | commitdiff |
| 2014-11-04 |
Gabriel Corona | [mc] Fix FD checkpoint/restore |
tree | commitdiff |
| 2014-11-04 |
Marion Guthmuller | model-checker : comment debug printf |
tree | commitdiff |
| 2014-11-04 |
Marion Guthmuller | model-checker : save and restore file descriptors |
tree | commitdiff |
| 2014-11-03 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2014-11-03 |
Augustin Degomme | Add preliminary support for MPI_Pack, MPI_Pack_size... |
tree | commitdiff |
| 2014-11-03 |
Martin Quinson | revalidate yet another tesh output |
tree | commitdiff |
| 2014-11-03 |
Augustin Degomme | Add MPI_Info_* support. |
tree | commitdiff |
| next |
