2014-06-27 |
Gabriel Corona | Merge branch 'mc-fastsnapshot' into mc |
tree | commitdiff |
2014-06-26 |
Marion Guthmuller | model-checker : minor fix in comments |
tree | commitdiff |
2014-06-26 |
Marion Guthmuller | model-checker : visited states reduction available... |
tree | commitdiff |
2014-06-26 |
Gabriel Corona | [mc] Inline mc_snapshot_read_region() |
tree | commitdiff |
2014-06-26 |
Gabriel Corona | [mc] Inline mc_translate_address() and mc_translate_add... |
tree | commitdiff |
2014-06-26 |
Gabriel Corona | [mc] Forgot to decrease the page refcounts when freeing... |
tree | commitdiff |
2014-06-24 |
Gabriel Corona | [mc] Add support of privatized global variables in... |
tree | commitdiff |
2014-06-24 |
Gabriel Corona | [mc] Avoid loosing meaningful bits ot pair.p2 when... |
tree | commitdiff |
2014-06-24 |
Gabriel Corona | [mc] Use an unordered_set for compared_pointers instead... |
tree | commitdiff |
2014-06-24 |
Gabriel Corona | [mc] Remove declaration of mc_read_pagemap() in mc_page... |
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-20 |
Gabriel Corona | [mc] Reset the softdirty bits *before* restoring the... |
tree | commitdiff |
2014-06-20 |
Gabriel Corona | [mc] Always inline 'inline' functions |
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-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-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-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-05 |
Gabriel Corona | Remove comment which has not been accurate for a long... |
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 |
Marion Guthmuller | model-checker : fix backtracking with comm determinism... |
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-05-30 |
Marion Guthmuller | model-checker : fix comm determinism detection mechanisms |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : forget file |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : cleanups, refactoring and apply indent... |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : cosmetics in log message |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : improve error message |
tree | commitdiff |
2014-05-26 |
Gabriel Corona | [mc] Temporary fix for smpi_process_finalize leading... |
tree | commitdiff |
2014-05-26 |
Gabriel Corona | Merge branch 'master' into mc |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | Fix a compilation error regarding logging and strings... |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | Lots of bugfixes for the fat trees, it should at least... |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | small cosmetics to AsClusterFatTree::generateDotFile() |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | Fix some bugs in fat trees |
tree | commitdiff |
2014-05-24 |
Martin Quinson | make the xbt_os_time module public |
tree | commitdiff |
2014-05-24 |
Martin Quinson | update the comments of that file |
tree | commitdiff |
2014-05-23 |
suter | leak-- |
tree | commitdiff |
2014-05-23 |
suter | allow several hosts to open the same file simultaneously |
tree | commitdiff |
2014-05-23 |
suter | Throw an exception only when it's really not implemented |
tree | commitdiff |
2014-05-22 |
Gabriel Corona | Revert "[mmalloc] Use mremap to expand heaps (heap... |
tree | commitdiff |
2014-05-21 |
Arnaud Giersch | Add some words about %e fore spaces in logs. |
tree | commitdiff |
2014-05-21 |
Martin Quinson | When the parameter parser is jammed, display the full... |
tree | commitdiff |
2014-05-21 |
Martin Quinson | add some doc about the trap I just felt into |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Free previously set process data. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Free smpi_instances. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Free powerPeak which is unused here. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Skip simcall when HAVE_TRACING. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Cosmetics: reuse already defined variable. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | task->counter is initialized only when HAVE_TRACING. |
tree | commitdiff |
2014-05-19 |
Paul Bédaride | Use boost::intrusive in CpuTi |
tree | commitdiff |
2014-05-18 |
Martin Quinson | further document the parmap mess. Next step should... |
tree | commitdiff |
2014-05-18 |
Martin Quinson | greatly improve the documentation of the parallel execu... |
tree | commitdiff |
2014-05-18 |
Martin Quinson | previous version was initializing retval=0 and then... |
tree | commitdiff |
2014-05-16 |
degomme | move a declaration. Should fix compilation bug on MacOS X . |
tree | commitdiff |
2014-05-16 |
degomme | Fix compil without tracing, which was broken multiple... |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | Merge branch 'mc_without_ksm' into mc |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Revert "Replace xbt_heap by boost::heap::fibonacci_heap" |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | [mc] Avoid memsetting twice |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Replace xbt_heap by boost::heap::fibonacci_heap |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Remove unnecessary casts |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Unify models apis |
tree | commitdiff |
next |