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
model-checker : MC_ignore_init in MSG for ucontext
[simgrid.git]
/
src
/
include
/
2012-02-08
Arnaud Giersch
Those are already declared in ./include/simgrid/modelch...
tree
|
commitdiff
2012-02-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-02-08
Martin Quinson
kill duplicate definitions, and try to ensure that...
tree
|
commitdiff
2012-02-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-02-07
Arnaud Giersch
Remove bogus inline declarations in private interface.
tree
|
commitdiff
2012-01-30
Marion Guthmuller
model-checker : merge conflict resolved
tree
|
commitdiff
2012-01-30
Martin Quinson
add proper copyright headers to the MC files
tree
|
commitdiff
2012-01-30
Marion Guthmuller
merge conflict resolved
tree
|
commitdiff
2012-01-27
Martin Quinson
add a function xbt_os_get_numcores()
tree
|
commitdiff
2012-01-20
Christophe Thiéry
Surf: allow to call share_resources in parallel (never...
tree
|
commitdiff
2012-01-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-01-13
Marion Guthmuller
Merge branch 'MC_LTL'
tree
|
commitdiff
2012-01-13
Marion Guthmuller
model-checker : new function MC_diff to display all...
tree
|
commitdiff
2012-01-13
Martin Quinson
Merge branch 'MC_LTL'
tree
|
commitdiff
2012-01-12
Marion Guthmuller
model-checker : prototypes of static functions moved
tree
|
commitdiff
2012-01-11
Marion Guthmuller
merge conflicts resolved
tree
|
commitdiff
2012-01-10
Arnaud Giersch
Add missing declaration.
tree
|
commitdiff
2012-01-09
Martin Quinson
Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
tree
|
commitdiff
2012-01-05
Marion Guthmuller
model-checker : warnings fixed
tree
|
commitdiff
2011-12-26
Martin Quinson
merge back the master trunk into the smpi branch
tree
|
commitdiff
2011-12-23
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-12-16
Navarrop
Get rid of all these nasty _im_.
tree
|
commitdiff
2011-12-16
Navarrop
Allow selective update to be independently set for...
tree
|
commitdiff
2011-12-16
Navarrop
Cleanup to allow separation of model specification...
tree
|
commitdiff
2011-12-16
Navarrop
Merge cpu.c and cpu_im.c
tree
|
commitdiff
2011-12-13
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-13
Marion Guthmuller
model-checker : clean code
tree
|
commitdiff
2011-12-07
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-12-05
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-01
Arnaud Giersch
Kill old CVS $Id$ lines.
tree
|
commitdiff
2011-11-30
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-11-22
Marion Guthmuller
merge conflicts
tree
|
commitdiff
2011-11-15
Martin Quinson
kill the now useless 'cleanup' parameter of routing_get...
tree
|
commitdiff
2011-11-14
Martin Quinson
another empty function murder
tree
|
commitdiff
2011-11-14
Marion Guthmuller
model-checker : add name of program in arguments of...
tree
|
commitdiff
2011-11-11
Martin Quinson
kill a file that were begging for it
tree
|
commitdiff
2011-11-11
Martin Quinson
move the callbacks to the cluster creation from surfxml...
tree
|
commitdiff
2011-11-11
Martin Quinson
move some XML specific code from surf_routing.c to...
tree
|
commitdiff
2011-11-10
Martin Quinson
some more cleanups for tomorrow marked as FIXME for...
tree
|
commitdiff
2011-11-10
Martin Quinson
sanitize get_network_element_type()
tree
|
commitdiff
2011-11-10
Martin Quinson
use an explicit type name for pointer on fct
tree
|
commitdiff
2011-11-10
Martin Quinson
Move the SURF model initialization from routing_parse...
tree
|
commitdiff
2011-11-10
Martin Quinson
Rename sg_platf_new_AS_{open,close} to {begin,end}...
tree
|
commitdiff
2011-11-09
Martin Quinson
use a sane way to declare postparse callbacks, now...
tree
|
commitdiff
2011-11-09
Martin Quinson
Remove the complexity needed to save a global that...
tree
|
commitdiff
2011-11-09
Arnaud Giersch
Kill "if" before free, and useless cast of free argument.
tree
|
commitdiff
2011-11-08
Martin Quinson
that FIXME would be a bad idea to implement
tree
|
commitdiff
2011-11-08
Martin Quinson
Kill the XML-level callbacks to AS_open/close and creat...
tree
|
commitdiff
2011-11-08
Martin Quinson
integrate the peer creation in sg_platf properly
tree
|
commitdiff
2011-11-08
Martin Quinson
preparse the arguments of peer tag
tree
|
commitdiff
2011-11-08
Martin Quinson
further parser cleanups
tree
|
commitdiff
2011-11-08
Martin Quinson
fix constness in parser
tree
|
commitdiff
2011-11-08
Martin Quinson
further fields renamings in the parser
tree
|
commitdiff
2011-11-08
Martin Quinson
Also cleanup the fields of s_sg_platf_link_cbarg_t
tree
|
commitdiff
2011-11-07
Martin Quinson
Kill some further empty function chaining.
tree
|
commitdiff
2011-11-07
Martin Quinson
Properly integrate the link creation into sg_platf
tree
|
commitdiff
2011-11-07
Martin Quinson
further parser cleanups
tree
|
commitdiff
2011-11-07
Martin Quinson
Further parser cleanups
tree
|
commitdiff
2011-11-07
Martin Quinson
integrate properly the router creation in sg_platf...
tree
|
commitdiff
2011-11-07
Martin Quinson
Make the sg_plat_new_host() function public
tree
|
commitdiff
2011-11-07
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-11-07
Martin Quinson
Continue parser cleanups
tree
|
commitdiff
2011-11-05
Martin Quinson
Add a new module allowing to interact with the platform...
tree
|
commitdiff
2011-11-04
Martin Quinson
fixing lua console (brain dead) damages to the parser
tree
|
commitdiff
2011-11-04
Martin Quinson
Clean callbacks for the host parsing.
tree
|
commitdiff
2011-11-04
Martin Quinson
merge changes. Strange, it seems to ate pierre commit
tree
|
commitdiff
2011-11-04
Martin Quinson
yet another psychotic cleanup
tree
|
commitdiff
2011-11-04
Navarrop
Create a structure to put link up and down for model...
tree
|
commitdiff
2011-11-04
Martin Quinson
normalize some type names
tree
|
commitdiff
2011-11-04
Martin Quinson
kill a bunch of warnings that prevented me from compiling
tree
|
commitdiff
2011-11-04
Navarrop
Add V_cluster_availability_file and V_cluster_state_fil...
tree
|
commitdiff
2011-11-04
Navarrop
Replace stupid char* by doubles in the cluster struct...
tree
|
commitdiff
2011-11-04
Martin Quinson
ensure that the create_resource functions do call strdu...
tree
|
commitdiff
2011-11-03
Martin Quinson
privatize this function that must be called at some...
tree
|
commitdiff
2011-11-03
Martin Quinson
Nobody cares about this argument since maybe 4 years...
tree
|
commitdiff
2011-11-03
Martin Quinson
finish to kill a unused function
tree
|
commitdiff
2011-10-28
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-10-27
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-10-26
Navarrop
Ensure windows combatibility.
tree
|
commitdiff
2011-10-26
Navarrop
Rewrite the way to do the parsing for host,cluster...
tree
|
commitdiff
2011-10-26
Navarrop
Do the parsing one time and not more.
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : separate informations for safety statef...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new example bugged1 for stateful dpor
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : show stack when property not valid
tree
|
commitdiff
2011-10-25
Marion Guthmuller
correction compile warnings
tree
|
commitdiff
2011-10-25
Marion Guthmuller
new dfs algorithm with automaton of LTL formula
tree
|
commitdiff
2011-10-20
Martin Quinson
use more consistently the resource create of models...
tree
|
commitdiff
2011-10-20
Martin Quinson
merge branches
tree
|
commitdiff
2011-07-19
Pierre-Nicolas Clauss
Merge back master branch.
tree
|
commitdiff
2011-06-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-06-15
Navarrop
Add functions for ns3
tree
|
commitdiff
2011-04-27
Navarrop
Add surf_routing.h for extern variables
tree
|
commitdiff
2011-04-22
Navarrop
Include WinDef.h for win32 typedef "DWORD" xbt_os_threa...
tree
|
commitdiff
2011-04-22
Christophe Thiéry
Define the right type for xbt_os_thread_key_t
tree
|
commitdiff
2011-04-22
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-04-22
Christophe Thiéry
Add functions xbt_os_thread_key_create, xbt_os_thread_g...
tree
|
commitdiff
2011-04-22
Navarrop
Add ns3 level to libraries.
tree
|
commitdiff
2011-04-21
Christophe Thiéry
Implement reentrant mutexes in xbt_os_thread
tree
|
commitdiff
2011-04-21
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
next