2014-06-23 |
Augustin Degomme | First steps for implemtation of MPI Onesided Operations : |
tree | commitdiff |
2014-06-23 |
Gabriel Corona | [mc] Always inline mc_page_store_get_page (C version... |
tree | commitdiff |
2014-06-23 |
Marion Guthmuller | model-checker : clarify comments |
tree | commitdiff |
2014-06-23 |
Gabriel Corona | [mc] Move method definition out of class declaratio... |
tree | commitdiff |
2014-06-21 |
degomme | Fix java tests : this dynar may be empty, don't try... |
tree | commitdiff |
2014-06-20 |
Gabriel Corona | [mc] Reset the softdirty bits *before* restoring the... |
tree | commitdiff |
2014-06-20 |
Pierre Veyre | Initiate java bindings for MSG storage API |
tree | commitdiff |
2014-06-20 |
Gabriel Corona | [mc] Always inline 'inline' functions |
tree | commitdiff |
2014-06-20 |
suter | remove documentation of non-existing date parameter |
tree | commitdiff |
2014-06-20 |
suter | doc is whining +indent |
tree | commitdiff |
2014-06-20 |
Augustin Degomme | don't do the call if an error is caught before |
tree | commitdiff |
2014-06-20 |
Augustin Degomme | Remove benchmarking calls from cart_create |
tree | commitdiff |
2014-06-20 |
Stéphane Castelli | Remove some unbreakable spaces breaking the pdf generation |
tree | commitdiff |
2014-06-20 |
Gabriel Corona | [mc] Fix compilation warnings/errors when optimizing |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Documentation of mc_page_snapshot |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Config to disable soft-dirty page tracking --cfg... |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Avoid big alloca in mc_snapshot_region_memcp and... |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Poor man's TCO in compare_heap_area_with_type() |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Do not allocate pagemap buffer on the heap |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] pread_whole must restart in cas of EINTR, not... |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Documentation about per-page snapshots |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Add some documentation |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Avoid region lookup when we know we are in the... |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Fix bug mc_snapshot_read_fragmented |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Replace test-and-die with assert |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Avoid looking up region in mc_diff (we are in... |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Fix mc_snapshot_read_fragmented |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Remove heap{base,info}{1,2} field in struct s_mc_d... |
tree | commitdiff |
2014-06-19 |
Gabriel Corona | [mc] Fix inverted test on page soft-dirtiness |
tree | commitdiff |
2014-06-18 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2014-06-18 |
Paul Bédaride | Merge branch 'v3_11_x' |
tree | commitdiff |
2014-06-18 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2014-06-18 |
Paul Bédaride | Fix bug with const in java bindings |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Do not use offsetof() in mc_snapshot_get_heap_end |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Fix mc_snapshot_get_heap_end() for per-page snapshots |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Fix mc_translate_address_region() for per-page... |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Remove mc_untranslate_address() and mc_member_snap... |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Use mc_snapshot_read in snapshot_compare (compatib... |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS... |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Add option --cfg=model-check/sparse-checkpoint... |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Fix bugs in mc_page_snapshot |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Use mc_snapshot_read in mc_diff (compatibility... |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Use mc_snapshot_read in dwarf expression evaluatio... |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Fix bug in mc_snapshot_read |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | [mc] Remove useless bits |
tree | commitdiff |
2014-06-17 |
Gabriel Corona | Add some informations/help for the user on SIGSEGV |
tree | commitdiff |
2014-06-17 |
Martin Quinson | cosmetics on some error messages |
tree | commitdiff |
2014-06-17 |
Stéphane Castelli | This should ease the future implementation of graphes... |
tree | commitdiff |
2014-06-16 |
Gabriel Corona | [mc] Remove useless parameters in compare_local_variables |
tree | commitdiff |
2014-06-16 |
Gabriel Corona | [mc] Group MC_ignore_global_variable("mc_diff_info... |
tree | commitdiff |
2014-06-16 |
Gabriel Corona | [mc] Remove useless parts in mmalloc_compare_heap,... |
tree | commitdiff |
2014-06-16 |
Gabriel Corona | [mc] Use process addresses in mc_compare |
tree | commitdiff |
2014-06-16 |
Gabriel Corona | [mc] Partial integration of per-page snapshot address... |
tree | commitdiff |
2014-06-16 |
Gabriel Corona | [mc] Simplify s_mc_snapshot_stack |
tree | commitdiff |
2014-06-16 |
Stéphane Castelli | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-06-16 |
Stéphane Castelli | Some boilerplate around IB networking |
tree | commitdiff |
2014-06-16 |
Augustin Degomme | change symbol name to match one declared in mpif.h |
tree | commitdiff |
2014-06-16 |
Stéphane Castelli | Uninstall recently added manpages |
tree | commitdiff |
2014-06-13 |
Gabriel Corona | [mc] Update doc for page_store |
tree | commitdiff |
2014-06-13 |
Gabriel Corona | [mc] Page-level sparse snapshot: work-in-progress,... |
tree | commitdiff |
2014-06-13 |
Gabriel Corona | [mc] In MC_ignore, keep the zeroed data out of the... |
tree | commitdiff |
2014-06-12 |
Arnaud Giersch | Increase size of junk area to 32 KiB in mm_legacy.c. |
tree | commitdiff |
2014-06-11 |
degomme | add option to output the right name in smpiff |
tree | commitdiff |
2014-06-11 |
Paul Bédaride | No rpath in libsimgird-java and libsurf-java |
tree | commitdiff |
2014-06-11 |
Paul Bédaride | Network::shareResourcesFull revival |
tree | commitdiff |
2014-06-11 |
degomme | activate tests using resized and handle some corner... |
tree | commitdiff |
2014-06-11 |
scastelli | Implementation of MPI_Type_create_resized |
tree | commitdiff |
2014-06-10 |
degomme | add missing prototype |
tree | commitdiff |
2014-06-10 |
scastelli | We should'nt allow the use of uncommited datatypes... |
tree | commitdiff |
2014-06-10 |
degomme | torus should provide better results if latency is taken... |
tree | commitdiff |
2014-06-05 |
Gabriel Corona | Remove comment which has not been accurate for a long... |
tree | commitdiff |
2014-06-05 |
Arnaud Giersch | Remove temporary files. |
tree | commitdiff |
2014-06-05 |
Arnaud Giersch | Change non-portable echo -e for printf. |
tree | commitdiff |
2014-06-05 |
Arnaud Giersch | Typo. |
tree | commitdiff |
2014-06-04 |
scastelli | Well, that happens sometime (bad merge) |
tree | commitdiff |
2014-06-04 |
scastelli | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-06-04 |
scastelli | Some minor documentation fixes |
tree | commitdiff |
2014-06-04 |
scastelli | Add version notes to smpiXXX scripts |
tree | commitdiff |
2014-06-04 |
degomme | Kill f2c. Finally. I hope. |
tree | commitdiff |
2014-06-04 |
degomme | make smpiff behave like smpif90, so we don't use f2c... |
tree | commitdiff |
2014-06-04 |
degomme | Privatization : switch data segments when copying insid... |
tree | commitdiff |
2014-06-04 |
Takahiro Hirofuchi | fix spell and remove trailing space |
tree | commitdiff |
2014-06-04 |
scastelli | Indentation |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : use new variable _sg_mc_liveness instea... |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : remove useless debug message and add... |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : compare the pid of enabled processes... |
tree | commitdiff |
2014-06-04 |
Takahiro Hirofuchi | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2014-06-04 |
scastelli | Is seems as right as before, only shorter |
tree | commitdiff |
2014-06-04 |
scastelli | Some documentation to NetworkModel. |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : fix backtracking with comm determinism... |
tree | commitdiff |
2014-06-03 |
Martin Quinson | more informative error message |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : comment erroneous ignore (not completel... |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : use the right heap |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : reword debug message |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : mc_dpor.c -> mc_safety.c |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : remove useless ignore |
tree | commitdiff |
2014-06-03 |
Arnaud Giersch | Add FIXME. |
tree | commitdiff |
2014-06-02 |
Arnaud Giersch | Make xbt_free a function-like macro. |
tree | commitdiff |
2014-05-31 |
Arnaud Giersch | Add FIXME. |
tree | commitdiff |
2014-05-30 |
suter | change the dict in which parsed properties are stored... |
tree | commitdiff |
next |