Merge pull request #132 from boogie-org/akashl/av-core

Porting AV to .NET Core
boogie-org · Oct 29, 2020 · 90ee3e9 · 90ee3e9
2 parents 4a40312 + 3b1f3a3
commit 90ee3e9
Show file tree

Hide file tree

Showing 333 changed files with 2,227 additions and 8,327 deletions.
diff --git a/AddOns/AliasAnalysis/AliasAnalysis.sln b/AddOns/AliasAnalysis/AliasAnalysis.sln
diff --git a/AddOns/AliasAnalysis/AliasAnalysis/AliasAnalysis.csproj b/AddOns/AliasAnalysis/AliasAnalysis/AliasAnalysis.csproj
diff --git a/AddOns/AliasAnalysis/AliasAnalysis/App.config b/AddOns/AliasAnalysis/AliasAnalysis/App.config
diff --git a/AddOns/AliasAnalysis/AliasAnalysis/Properties/AssemblyInfo.cs b/AddOns/AliasAnalysis/AliasAnalysis/Properties/AssemblyInfo.cs