Skip to content
Permalink
master
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio 14
VisualStudioVersion = 14.0.25420.1
MinimumVisualStudioVersion = 10.0.40219.1
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Compiler", "Source\Compiler\Compiler.csproj", "{8823091C-387F-4F4D-ABCD-8F71D1528CBB}"
ProjectSection(ProjectDependencies) = postProject
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SafetySharpTests", "SafetySharpTests\SafetySharpTests.csproj", "{EC9C05C6-0E59-4DE3-AFE4-1D44B5A512A1}"
ProjectSection(ProjectDependencies) = postProject
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SafetySharp", "Source\SafetySharp\SafetySharp.csproj", "{9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Models", "Models", "{C6B04010-51F6-49C0-8F58-FEA7D30541E2}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Pressure Tank", "Models\Pressure Tank\Pressure Tank.csproj", "{2834343C-5D3A-4673-9F58-F869F4E3CC01}"
ProjectSection(ProjectDependencies) = postProject
{8823091C-387F-4F4D-ABCD-8F71D1528CBB} = {8823091C-387F-4F4D-ABCD-8F71D1528CBB}
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Core", "Core", "{64793805-8DC9-4A61-B41B-3369490319CD}"
EndProject
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "LtsMin", "Source\LtsMin\LtsMin.vcxproj", "{96F3A853-B30A-4413-98C8-C9AAA4C084DE}"
ProjectSection(ProjectDependencies) = postProject
{9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37} = {9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Visualizations", "Models\Visualizations\Visualizations.csproj", "{C0ED19A4-1362-49E4-9721-AAFCF012710A}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Railroad Crossing", "Models\Railroad Crossing\Railroad Crossing.csproj", "{84C1F882-31D9-4A71-95A9-E1586740954A}"
ProjectSection(ProjectDependencies) = postProject
{8823091C-387F-4F4D-ABCD-8F71D1528CBB} = {8823091C-387F-4F4D-ABCD-8F71D1528CBB}
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Height Control", "Models\Height Control\Height Control.csproj", "{6AE088BD-212E-4F38-96A1-B16C4F95D243}"
ProjectSection(ProjectDependencies) = postProject
{8823091C-387F-4F4D-ABCD-8F71D1528CBB} = {8823091C-387F-4F4D-ABCD-8F71D1528CBB}
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Hemodialysis Machine", "Models\Hemodialysis Machine\Hemodialysis Machine.csproj", "{1D2F1575-4473-485B-B361-EE7E76589BEC}"
ProjectSection(ProjectDependencies) = postProject
{8823091C-387F-4F4D-ABCD-8F71D1528CBB} = {8823091C-387F-4F4D-ABCD-8F71D1528CBB}
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Pill Production", "Models\Pill Production\Pill Production.csproj", "{AB94E0EB-C085-421F-9A29-441409BCD30F}"
ProjectSection(ProjectDependencies) = postProject
{8823091C-387F-4F4D-ABCD-8F71D1528CBB} = {8823091C-387F-4F4D-ABCD-8F71D1528CBB}
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Robot Cell", "Models\Robot Cell\Robot Cell.csproj", "{07DEADE8-4700-4F51-AF54-EE88878C0127}"
ProjectSection(ProjectDependencies) = postProject
{8823091C-387F-4F4D-ABCD-8F71D1528CBB} = {8823091C-387F-4F4D-ABCD-8F71D1528CBB}
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {96F3A853-B30A-4413-98C8-C9AAA4C084DE}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SafetyChecking", "Source\SafetyChecking\SafetyChecking.csproj", "{A91CB8AF-8A4C-4F69-848E-B3962F9A94F9}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SafetyCheckingTests", "SafetyCheckingTests\SafetyCheckingTests.csproj", "{BDCD5EA9-61C8-415D-ADDA-F3A70D3EFA1D}"
ProjectSection(ProjectDependencies) = postProject
{A91CB8AF-8A4C-4F69-848E-B3962F9A94F9} = {A91CB8AF-8A4C-4F69-848E-B3962F9A94F9}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Small Models", "Models\Small Models\Small Models.csproj", "{6F3CABAC-A40E-4AFE-AC5B-5989D278F64C}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{8823091C-387F-4F4D-ABCD-8F71D1528CBB}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{8823091C-387F-4F4D-ABCD-8F71D1528CBB}.Debug|Any CPU.Build.0 = Debug|Any CPU
{8823091C-387F-4F4D-ABCD-8F71D1528CBB}.Release|Any CPU.ActiveCfg = Release|Any CPU
{8823091C-387F-4F4D-ABCD-8F71D1528CBB}.Release|Any CPU.Build.0 = Release|Any CPU
{EC9C05C6-0E59-4DE3-AFE4-1D44B5A512A1}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{EC9C05C6-0E59-4DE3-AFE4-1D44B5A512A1}.Debug|Any CPU.Build.0 = Debug|Any CPU
{EC9C05C6-0E59-4DE3-AFE4-1D44B5A512A1}.Release|Any CPU.ActiveCfg = Release|Any CPU
{EC9C05C6-0E59-4DE3-AFE4-1D44B5A512A1}.Release|Any CPU.Build.0 = Release|Any CPU
{9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37}.Debug|Any CPU.Build.0 = Debug|Any CPU
{9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37}.Release|Any CPU.ActiveCfg = Release|Any CPU
{9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37}.Release|Any CPU.Build.0 = Release|Any CPU
{2834343C-5D3A-4673-9F58-F869F4E3CC01}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{2834343C-5D3A-4673-9F58-F869F4E3CC01}.Debug|Any CPU.Build.0 = Debug|Any CPU
{2834343C-5D3A-4673-9F58-F869F4E3CC01}.Release|Any CPU.ActiveCfg = Release|Any CPU
{2834343C-5D3A-4673-9F58-F869F4E3CC01}.Release|Any CPU.Build.0 = Release|Any CPU
{96F3A853-B30A-4413-98C8-C9AAA4C084DE}.Debug|Any CPU.ActiveCfg = Debug|x64
{96F3A853-B30A-4413-98C8-C9AAA4C084DE}.Debug|Any CPU.Build.0 = Debug|x64
{96F3A853-B30A-4413-98C8-C9AAA4C084DE}.Release|Any CPU.ActiveCfg = Release|x64
{96F3A853-B30A-4413-98C8-C9AAA4C084DE}.Release|Any CPU.Build.0 = Release|x64
{C0ED19A4-1362-49E4-9721-AAFCF012710A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{C0ED19A4-1362-49E4-9721-AAFCF012710A}.Debug|Any CPU.Build.0 = Debug|Any CPU
{C0ED19A4-1362-49E4-9721-AAFCF012710A}.Release|Any CPU.ActiveCfg = Release|Any CPU
{C0ED19A4-1362-49E4-9721-AAFCF012710A}.Release|Any CPU.Build.0 = Release|Any CPU
{84C1F882-31D9-4A71-95A9-E1586740954A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{84C1F882-31D9-4A71-95A9-E1586740954A}.Debug|Any CPU.Build.0 = Debug|Any CPU
{84C1F882-31D9-4A71-95A9-E1586740954A}.Release|Any CPU.ActiveCfg = Release|Any CPU
{84C1F882-31D9-4A71-95A9-E1586740954A}.Release|Any CPU.Build.0 = Release|Any CPU
{6AE088BD-212E-4F38-96A1-B16C4F95D243}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{6AE088BD-212E-4F38-96A1-B16C4F95D243}.Debug|Any CPU.Build.0 = Debug|Any CPU
{6AE088BD-212E-4F38-96A1-B16C4F95D243}.Release|Any CPU.ActiveCfg = Release|Any CPU
{6AE088BD-212E-4F38-96A1-B16C4F95D243}.Release|Any CPU.Build.0 = Release|Any CPU
{1D2F1575-4473-485B-B361-EE7E76589BEC}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{1D2F1575-4473-485B-B361-EE7E76589BEC}.Debug|Any CPU.Build.0 = Debug|Any CPU
{1D2F1575-4473-485B-B361-EE7E76589BEC}.Release|Any CPU.ActiveCfg = Release|Any CPU
{1D2F1575-4473-485B-B361-EE7E76589BEC}.Release|Any CPU.Build.0 = Release|Any CPU
{AB94E0EB-C085-421F-9A29-441409BCD30F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{AB94E0EB-C085-421F-9A29-441409BCD30F}.Debug|Any CPU.Build.0 = Debug|Any CPU
{AB94E0EB-C085-421F-9A29-441409BCD30F}.Release|Any CPU.ActiveCfg = Release|Any CPU
{AB94E0EB-C085-421F-9A29-441409BCD30F}.Release|Any CPU.Build.0 = Release|Any CPU
{07DEADE8-4700-4F51-AF54-EE88878C0127}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{07DEADE8-4700-4F51-AF54-EE88878C0127}.Debug|Any CPU.Build.0 = Debug|Any CPU
{07DEADE8-4700-4F51-AF54-EE88878C0127}.Release|Any CPU.ActiveCfg = Release|Any CPU
{07DEADE8-4700-4F51-AF54-EE88878C0127}.Release|Any CPU.Build.0 = Release|Any CPU
{A91CB8AF-8A4C-4F69-848E-B3962F9A94F9}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{A91CB8AF-8A4C-4F69-848E-B3962F9A94F9}.Debug|Any CPU.Build.0 = Debug|Any CPU
{A91CB8AF-8A4C-4F69-848E-B3962F9A94F9}.Release|Any CPU.ActiveCfg = Release|Any CPU
{A91CB8AF-8A4C-4F69-848E-B3962F9A94F9}.Release|Any CPU.Build.0 = Release|Any CPU
{BDCD5EA9-61C8-415D-ADDA-F3A70D3EFA1D}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{BDCD5EA9-61C8-415D-ADDA-F3A70D3EFA1D}.Debug|Any CPU.Build.0 = Debug|Any CPU
{BDCD5EA9-61C8-415D-ADDA-F3A70D3EFA1D}.Release|Any CPU.ActiveCfg = Release|Any CPU
{BDCD5EA9-61C8-415D-ADDA-F3A70D3EFA1D}.Release|Any CPU.Build.0 = Release|Any CPU
{6F3CABAC-A40E-4AFE-AC5B-5989D278F64C}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{6F3CABAC-A40E-4AFE-AC5B-5989D278F64C}.Debug|Any CPU.Build.0 = Debug|Any CPU
{6F3CABAC-A40E-4AFE-AC5B-5989D278F64C}.Release|Any CPU.ActiveCfg = Release|Any CPU
{6F3CABAC-A40E-4AFE-AC5B-5989D278F64C}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(NestedProjects) = preSolution
{8823091C-387F-4F4D-ABCD-8F71D1528CBB} = {64793805-8DC9-4A61-B41B-3369490319CD}
{EC9C05C6-0E59-4DE3-AFE4-1D44B5A512A1} = {64793805-8DC9-4A61-B41B-3369490319CD}
{9B6C1FB4-3F1B-43AC-A0E0-EAED4088BF37} = {64793805-8DC9-4A61-B41B-3369490319CD}
{2834343C-5D3A-4673-9F58-F869F4E3CC01} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
{96F3A853-B30A-4413-98C8-C9AAA4C084DE} = {64793805-8DC9-4A61-B41B-3369490319CD}
{C0ED19A4-1362-49E4-9721-AAFCF012710A} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
{84C1F882-31D9-4A71-95A9-E1586740954A} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
{6AE088BD-212E-4F38-96A1-B16C4F95D243} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
{1D2F1575-4473-485B-B361-EE7E76589BEC} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
{AB94E0EB-C085-421F-9A29-441409BCD30F} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
{07DEADE8-4700-4F51-AF54-EE88878C0127} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
{A91CB8AF-8A4C-4F69-848E-B3962F9A94F9} = {64793805-8DC9-4A61-B41B-3369490319CD}
{BDCD5EA9-61C8-415D-ADDA-F3A70D3EFA1D} = {64793805-8DC9-4A61-B41B-3369490319CD}
{6F3CABAC-A40E-4AFE-AC5B-5989D278F64C} = {C6B04010-51F6-49C0-8F58-FEA7D30541E2}
EndGlobalSection
EndGlobal