A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
[mc] Remove buggy xbt_free
[simgrid.git]
/
src
/
xbt
/
2013-10-30
Augustin Degomme
really make replay case insensitive
tree
|
commitdiff
2013-10-30
Augustin Degomme
as replay uses a weird case for labelling its inputs...
tree
|
commitdiff
2013-10-28
Arnaud Giersch
Improve xbt_os_thread_setstacksize().
tree
|
commitdiff
2013-10-24
Paul Bédaride
Remove c surf files
tree
|
commitdiff
2013-10-09
Arnaud Giersch
Length modifier 'l' is indeed wrong in %l[efg] for...
tree
|
commitdiff
2013-10-08
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-08
Arnaud Giersch
Oups... forgot to remove this line.
tree
|
commitdiff
2013-10-08
Arnaud Giersch
Join worker threads on parmap destroy.
tree
|
commitdiff
2013-10-08
Arnaud Giersch
Caught another leak.
tree
|
commitdiff
2013-10-07
Arnaud Giersch
Use correct type for found.
tree
|
commitdiff
2013-10-07
Arnaud Giersch
Rework test logic, and add one more case.
tree
|
commitdiff
2013-10-07
Augustin Degomme
fix compilation issue with windows timers
tree
|
commitdiff
2013-10-07
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-06
Arnaud Giersch
Need one more byte for the terminating \0.
tree
|
commitdiff
2013-10-06
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-05
Marion Guthmuller
model-checker : cleanup
tree
|
commitdiff
2013-10-05
Marion Guthmuller
model-checker : fix memory leak
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : copy/paste error
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : fix detection of pointers on a fragment...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : improve ignore mechanism for complete...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : detect pointers on a part of a fragment
tree
|
commitdiff
2013-10-04
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-03
Arnaud Giersch
Typo: contexte -> context.
tree
|
commitdiff
2013-10-02
Arnaud Giersch
Even printf does not follow the standard on Windows.
tree
|
commitdiff
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-01
Marion Guthmuller
model-checker : fix memory leak
tree
|
commitdiff
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-29
Marion Guthmuller
model-checker : fix detection of dangling pointers...
tree
|
commitdiff
2013-09-29
Marion Guthmuller
model-checker : update system state comparison
tree
|
commitdiff
2013-09-26
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-25
Arnaud Giersch
Quick fix of doxygen comments.
tree
|
commitdiff
2013-09-25
Arnaud Giersch
Remove now unused parameter "default_value" for xbt_cfg...
tree
|
commitdiff
2013-09-25
Arnaud Giersch
Dig through git history, and update copyright lines.
tree
|
commitdiff
2013-09-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-24
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2013-09-24
Marion Guthmuller
model-checker : fix system state comparison (I hate...
tree
|
commitdiff
2013-09-24
Augustin Degomme
windows doesn't provide/need this call
tree
|
commitdiff
2013-09-24
Augustin Degomme
first attempt to fix win build
tree
|
commitdiff
2013-09-24
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
forget to uncomment a part of code
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : parallel comparison of system states...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : get size used (heapinfo meta-data)
tree
|
commitdiff
2013-09-19
Augustin Degomme
Fix reverted commit 28937161936e11ceac5acccf0b547055cc6...
tree
|
commitdiff
2013-09-18
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-13
Arnaud Giersch
Improve printing of boolean values with --cfg-help.
tree
|
commitdiff
2013-09-13
Arnaud Giersch
Cannot free this string here.
tree
|
commitdiff
2013-08-30
Paul Bédaride
CpuTi in c++
tree
|
commitdiff
2013-08-29
Augustin Degomme
Revert "Argh stupid me! This fixes commit 4fff3fb509f60...
tree
|
commitdiff
2013-08-22
Arnaud Legrand
Argh stupid me! This fixes commit 4fff3fb509f60c96745fb...
tree
|
commitdiff
2013-08-22
Arnaud Legrand
Fix a bunch of typos thanks to the new spell script...
tree
|
commitdiff
2013-08-22
Arnaud Legrand
A French comment!?! Marion, please, check the translati...
tree
|
commitdiff
2013-08-21
Arnaud Legrand
Avoid stupid segfault on DEBUG when heap is empty.
tree
|
commitdiff
2013-08-21
Arnaud Legrand
Allow to disable simgrid cleanups at exit from command...
tree
|
commitdiff
2013-08-21
Arnaud Legrand
Typo--
tree
|
commitdiff
2013-08-19
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-14
Marion Guthmuller
model-checker : else if instead of if{} if{}
tree
|
commitdiff
2013-08-14
Marion Guthmuller
model-checker : init equal_to in mmalloc info
tree
|
commitdiff
2013-08-14
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-12
Marion Guthmuller
get size of struct s_xbt_os_timer
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : initialize equal_to in mmalloc heapinfo
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : memory free
tree
|
commitdiff
2013-08-12
Marion Guthmuller
model-checker : extend ignore mechanism with new user...
tree
|
commitdiff
2013-08-11
Marion Guthmuller
model-checker : remove fprintf -> XBT_DEBUG
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : snapshot comparison with the types...
tree
|
commitdiff
2013-07-18
Augustin Degomme
guard against potential segfault when used before initi...
tree
|
commitdiff
2013-07-11
Augustin Degomme
Crash with message when trying to use a log level that...
tree
|
commitdiff
2013-07-01
acarpena
Merge branch 'dvfs'
tree
|
commitdiff
2013-06-28
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
tree
|
commitdiff
2013-06-19
Paul Bédaride
Merge branch 'master' into hypervisor
tree
|
commitdiff
2013-06-14
Guillaume Serrière
Change xbt_os_timer interface to handle cpu time, threa...
tree
|
commitdiff
2013-06-06
Paul Bédaride
Merge branch 'hypervisor' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-06
Lionel
Merge branch 'hypervisor' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-06
Lionel
Make semaphores visible from MSG
tree
|
commitdiff
2013-06-06
Martin Quinson
Make semaphores visible from MSG
tree
|
commitdiff
2013-06-06
Martin Quinson
kill some dead code
tree
|
commitdiff
2013-06-06
Martin Quinson
these got regenerated, apparently with a newer version...
tree
|
commitdiff
2013-06-05
Martin Quinson
document the fact that we accept abbreviations of log...
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : simplify algorithm for the verification...
tree
|
commitdiff
2013-05-16
Arnaud Giersch
Remove now unused log category.
tree
|
commitdiff
2013-05-16
Guillaume Serrière
Add of context creation in parmap.
tree
|
commitdiff
2013-05-15
Paul Bédaride
Remove PCRE dependency and RuleBased routing
tree
|
commitdiff
2013-05-10
Paul Bédaride
Add new boolean type for configuration
tree
|
commitdiff
2013-05-07
Arnaud Giersch
Use right test for error checking.
tree
|
commitdiff
2013-05-06
Paul Bédaride
Add unit support in xml files [#14422]
tree
|
commitdiff
2013-04-15
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-04-10
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
tree
|
commitdiff
2013-04-09
Arnaud Giersch
Add missing calls to XBT_LOG_CONNECT.
tree
|
commitdiff
2013-04-02
alebre
Merge branch 'master' into hypervisor
tree
|
commitdiff
2013-04-02
Marion Guthmuller
model-checker : signed int instead of unsigned int
tree
|
commitdiff
2013-04-01
Marion Guthmuller
model-checker : update state equality detection
tree
|
commitdiff
2013-03-29
Augustin Degomme
freebsd compatibility
tree
|
commitdiff
2013-03-25
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-03-19
Arnaud Giersch
Generated file has changed.
tree
|
commitdiff
2013-03-19
Marion Guthmuller
model-checker : free memory
tree
|
commitdiff
2013-03-19
Marion Guthmuller
model-checker : cosmetics
tree
|
commitdiff
2013-03-19
Marion Guthmuller
model-checker : fragment size and fragment number may...
tree
|
commitdiff
2013-03-19
Marion Guthmuller
model-checker : cleanups
tree
|
commitdiff
2013-03-16
Marion Guthmuller
model-checker : fix compilation error without MC
tree
|
commitdiff
2013-03-16
Marion Guthmuller
model-checker : code refactoring for heap comparison...
tree
|
commitdiff
2013-03-16
Marion Guthmuller
model-checker : get current backtrace with libunwind...
tree
|
commitdiff
next