2026_Research_linvast-python/LINVAST.sln at main · MATF-Software-Verification/2026_Research_linvast-python · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 16
VisualStudioVersion = 16.0.30717.126
MinimumVisualStudioVersion = 10.0.40219.1
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "LINVAST.Imperative", "LINVAST.Imperative\LINVAST.Imperative.csproj", "{F7C177E0-F3DF-40E2-A9FB-43D6B61F4ECA}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "LINVAST.Tests", "LINVAST.Tests\LINVAST.Tests.csproj", "{9A4C49CF-D858-446C-86E7-2426D04DEAF4}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "LINVAST", "LINVAST\LINVAST.csproj", "{3ADF434C-334F-49E1-9158-DE92353222CF}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "LINVAST.Imperative.Visitors", "LINVAST.Imperative.Visitors\LINVAST.Imperative.Visitors.csproj", "{22EAF91A-DC0A-465E-A3CA-48365569D88B}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Solution Items", "Solution Items", "{AF0653BA-65FB-4DA6-A71B-00EAA400BEEE}"
	ProjectSection(SolutionItems) = preProject
		.editorconfig = .editorconfig
	EndProjectSection
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|Any CPU = Debug|Any CPU
		Release|Any CPU = Release|Any CPU
	EndGlobalSection
	GlobalSection(ProjectConfigurationPlatforms) = postSolution
		{F7C177E0-F3DF-40E2-A9FB-43D6B61F4ECA}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{F7C177E0-F3DF-40E2-A9FB-43D6B61F4ECA}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{F7C177E0-F3DF-40E2-A9FB-43D6B61F4ECA}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{F7C177E0-F3DF-40E2-A9FB-43D6B61F4ECA}.Release|Any CPU.Build.0 = Release|Any CPU
		{9A4C49CF-D858-446C-86E7-2426D04DEAF4}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{9A4C49CF-D858-446C-86E7-2426D04DEAF4}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{9A4C49CF-D858-446C-86E7-2426D04DEAF4}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{9A4C49CF-D858-446C-86E7-2426D04DEAF4}.Release|Any CPU.Build.0 = Release|Any CPU
		{3ADF434C-334F-49E1-9158-DE92353222CF}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{3ADF434C-334F-49E1-9158-DE92353222CF}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{3ADF434C-334F-49E1-9158-DE92353222CF}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{3ADF434C-334F-49E1-9158-DE92353222CF}.Release|Any CPU.Build.0 = Release|Any CPU
		{22EAF91A-DC0A-465E-A3CA-48365569D88B}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{22EAF91A-DC0A-465E-A3CA-48365569D88B}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{22EAF91A-DC0A-465E-A3CA-48365569D88B}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{22EAF91A-DC0A-465E-A3CA-48365569D88B}.Release|Any CPU.Build.0 = Release|Any CPU
	EndGlobalSection
	GlobalSection(SolutionProperties) = preSolution
		HideSolutionNode = FALSE
	EndGlobalSection
	GlobalSection(ExtensibilityGlobals) = postSolution
		SolutionGuid = {0958A595-E98D-4B1B-871C-2E399D049DE4}
	EndGlobalSection
EndGlobal