AND Public Git Repository - simgrid.git/history

2010-05-27	cristianrosa	Remove the transitions from the model-checker's setset...	blob \| commitdiff \| raw
2010-05-26	cristianrosa	Transform random transitions into multiple // transitio...	blob \| commitdiff \| raw \| diff to current
2010-05-20	cristianrosa	Rework MC transition interception/creation. Now it...	blob \| commitdiff \| raw \| diff to current
2010-05-17	cristianrosa	Improve comments on examples	blob \| commitdiff \| raw \| diff to current
2010-05-17	cristianrosa	Bugfix: Do not copy the communication data in the model...	blob \| commitdiff \| raw \| diff to current
2010-05-14	cristianrosa	Free MC memory on exit SVN	blob \| commitdiff \| raw \| diff to current
2010-05-12	cristianrosa	Bugfix: delete the set of created transitions, otherwis...	blob \| commitdiff \| raw \| diff to current
2010-05-12	cristianrosa	Bugfix: fix memory leak related to transition creation...	blob \| commitdiff \| raw \| diff to current
2010-05-11	cristianrosa	Add int MC_random(int min, int max) function that will...	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Add the model-checker to the build tree. It's not used yet	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches