A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
model-checker : end of cleanup for stateful and stateless model checking
2012-03-20
Martin Quinson
keep cmake informed that this example was removed
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
that example is useless too
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
remove a deprecated example file
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
fix the lastest documentation warning
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
update surf doc to kill some more doc warnings
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
rephrase a bit hte documentaiton of surf, and move...
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
Improve MSG doc a bit
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
further doc fixups (and rewrite an error message)
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
this is not the way to declare a link to the parameters...
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
fix another broken link in doc due to the move of GRAS_dd...
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
document xbt_peer_t and friends
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
avoid a warning with perl 5.14
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
improve the doc of some configure-time options
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
cosmetics
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
html is protected in this string...
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
reduce the amount of output on (handled) issues
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
some more documentation fixups
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
big fat warning on GRAS in the web page, too
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
big fat warning about GRAS not being stable anymore
commit
|
commitdiff
|
tree
2012-03-20
Martin Quinson
fix warnings during the documentation generation
commit
|
commitdiff
|
tree
2012-03-14
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-03-14
Martin Quinson
factorize some more code so that supernovae works again
commit
|
commitdiff
|
tree
2012-03-14
Martin Quinson
why couldn't I use supernovae and model-checking at...
commit
|
commitdiff
|
tree
2012-03-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-03-06
Martin Quinson
fix a copyright line. Should be done for all files
commit
|
commitdiff
|
tree
2012-03-06
Martin Quinson
typos and reduce debug verbosity
commit
|
commitdiff
|
tree
2012-03-02
Martin Quinson ...
missing file to install
commit
|
commitdiff
|
tree
2012-02-28
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-28
Martin Quinson
rename a variable used to cut any computations about...
commit
|
commitdiff
|
tree
2012-02-28
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-28
Martin Quinson
that's not a cluster, actually
commit
|
commitdiff
|
tree
2012-02-28
Martin Quinson
implement MSG_processes_as_dynar (closes gforge #13642)
commit
|
commitdiff
|
tree
2012-02-28
Martin Quinson
implement a SIMIX_processes_as_dynar() function
commit
|
commitdiff
|
tree
2012-02-28
Martin Quinson
Deprecate MSG_get_host_{table,number}; Implement MSG_hosts_a...
commit
|
commitdiff
|
tree
2012-02-25
Martin Quinson
use named type of functions
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
stop using internal header files from the examples...
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
our malloc implementation NEEDS multi-threading protection
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
kill duplicate definitions, and try to ensure that...
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
move a public header in the simgrid/ directory to fight...
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
user code sometimes needs to know whether MC is activated
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
Setup the framework allowing to add backtraces to the...
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-08
Martin Quinson
Set xbt_binary_name so that the exception mechanism...
commit
|
commitdiff
|
tree
2012-02-06
Martin Quinson
Fixups in mrealloc
commit
|
commitdiff
|
tree
2012-02-06
Martin Quinson
THROWF won't work in mmalloc: it needs to malloc stuff...
commit
|
commitdiff
|
tree
2012-02-06
Martin Quinson
split memory snapshooting and diffing functions out...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
Document one of midjy's changes (+cosmetics)
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
document my ongoing changes. Not everything of it were...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
document Pierre's last changes
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
I don't need an extra file just to define calloc when...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
and now with the right test so that not all our tests...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
reindent only
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
kill some dupplicate routes: now that we issue a warning...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
catch a given possible misconfiguration, and give more...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
add a warning if a given route is redefined. It will...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
kill now unused declaration
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
add a surf_parse_warn and get surf_parse_error() accepting...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
Also show the filename to locate parsing errors, not...
commit
|
commitdiff
|
tree
2012-02-03
Martin Quinson
Further simplify the mmallocs, and improve its introspection...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
TODO--: the 'type' of each mmalloc block is granted...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
also enforce that the freed block were marked as used...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
there were no difference between __mmalloc_free and...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
improve the doc to reflect recent changes (and we already...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
ensure that free block are marked as such
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
Simplify the malloc_info structure containing the metadata...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
document one more function
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
I think I understood how mmalloc works. Now, I'll do...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
simply reindent
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
who needs aligned mallocs anyway?
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
further little clarifications in mmalloc comments
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
various cosmetics and comments improvements
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
normalize the function names wrt to the rest of XBT
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
inline a function used at only one location.
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
cosmetics and kill a now undeclared function prototype
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
kill an unused/undocumented/un-understood function
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
group together all functions speaking of module and...
commit
|
commitdiff
|
tree
2012-02-02
Martin Quinson
merge two files (I'll ignore both of these functions...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
kill dupplicated code between legacy interface and...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
Simplify the mmalloc library further
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
I finally understood what this function is good for
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
cosmetics and comment improvement
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
we don't need any stats about the amount of free chunks...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
errno were never updated anyway
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
cosmetics and comment improvements
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
rename sup-mmap.c into mmorecore.c and simplify the...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
kill the sbrk-based morecore: we'll never use less...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
move a global definition so that we can kill the sbrk...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
kill little useless things in mmalloc. Still searching...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
kill the standard hooks of mmalloc: we will change...
commit
|
commitdiff
|
tree
2012-02-01
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-01-31
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
2012-01-31
Martin Quinson
Kill some unused features of mmalloc
commit
|
commitdiff
|
tree
2012-01-30
Martin Quinson
ignore some generated files
commit
|
commitdiff
|
tree
next