Add val
Add val
Add val
Add val
Add val
Add val
Add val
Add val
Add val
Add val
Add val
Add val
Merge branch 'master' of git.openmole.org:openmole

Conflicts:
	core/openmole/plugins/org.openmole.plugin.task.groovy/src/main/scala/org/openmole/plugin/task/groovy/GroovyTask.scala
	core/openmole/plugins/org.openmole.plugin.task.serialization/src/main/scala/org/openmole/plugin/task/serialization/StoreIntoCSVTask.scala
Implement formal verification of source inputs.
Corrected classification of type errors.
Merge branch 'master' of git.openmole.org:openmole