Tree: 7e34d5d3b5

CaseStudiesProcessDefinition

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '7e34d5d3b5'

${ noResults }

Commit Graph

2 Commits (7e34d5d3b52a1d1f44a33c1f0f8849570505f475)

Author	SHA1	Message	Date
Anthony Leonardo Gracio	561c1a93bd	Fix ambiguities and typos (first step)	7 years ago
CyrilleComar	b914e6c263	reorg ... big reorganization agreed during 2017-10-26	8 years ago
Claire Dross	1495ed8203	Layer2_MMS_SW_SPARK: update after answers on #28	8 years ago
Claire Dross	67c4118480	Layer2_MMS_SW_SPARK: continue the specification of F_MM	8 years ago
Claire Dross	bbcca90ab7	Layer2_MMS_SW_SPARK add external volatile state for captors	8 years ago
Claire Dross	2d57e931a7	Layer2_MMS_SW_SPARK: types for physical parameters	8 years ago
Anthony Leonardo Gracio	6035ffd164	Take into account Rotactors and use the same type for energy sources	8 years ago
Anthony Leonardo Gracio	65a77f9967	List the entities in Ada specification files	8 years ago