Skip to content

Commit

Permalink
remove jtoken
Browse files Browse the repository at this point in the history
  • Loading branch information
icecoldfire committed Mar 11, 2019
1 parent 67dce36 commit 6a4bacf
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 5 deletions.
2 changes: 1 addition & 1 deletion src/Viren.Core/Viren.Core.csproj
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<TargetFrameworks Condition="'$(LibraryFrameworks)'!=''">$(LibraryFrameworks)</TargetFrameworks>
<GeneratePackageOnBuild>true</GeneratePackageOnBuild>
<PackageRequireLicenseAcceptance>true</PackageRequireLicenseAcceptance>
<Version>0.7.0</Version>
<Version>0.7.1</Version>
<Authors>Teal Partners</Authors>
<Company>Teal Partners</Company>
<Product>Viren .NET client core library</Product>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<PropertyGroup>
<GeneratePackageOnBuild>true</GeneratePackageOnBuild>
<PackageRequireLicenseAcceptance>true</PackageRequireLicenseAcceptance>
<Version>0.7.0</Version>
<Version>0.7.1</Version>
<Authors>Teal Partners</Authors>
<Product>Viren execution .NET client</Product>
<RepositoryUrl>https://github.com/tealpartners/viren.net</RepositoryUrl>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,8 @@ public class Z3CalculationRequest
{
public Z3CalculationRequest()
{
Root = new Dictionary<string, object>();
Globals = new Dictionary<string, object>();
Inputs = new List<Z3InputInfoDto>();
Outputs = new List<Z3OutputInfoDto>();
}
Expand All @@ -19,8 +21,8 @@ public Z3CalculationRequest()

public string EntryPoint { get; set; }

public JObject Root { get; set; }
public JObject Globals { get; set; }
public IDictionary<string, object> Root { get; set; }
public IDictionary<string, object> Globals { get; set; }

public List<Z3InputInfoDto> Inputs { get; set; }
public List<Z3OutputInfoDto> Outputs { get; set; }
Expand Down
2 changes: 1 addition & 1 deletion src/Viren.Execution/Viren.Execution.csproj
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<TargetFrameworks Condition="'$(LibraryFrameworks)'!=''">$(LibraryFrameworks)</TargetFrameworks>
<GeneratePackageOnBuild>true</GeneratePackageOnBuild>
<PackageRequireLicenseAcceptance>true</PackageRequireLicenseAcceptance>
<Version>0.7.0</Version>
<Version>0.7.1</Version>
<Authors>Teal Partners</Authors>
<Product>Viren execution .NET client</Product>
<RepositoryUrl>https://github.com/tealpartners/viren.net</RepositoryUrl>
Expand Down

0 comments on commit 6a4bacf

Please sign in to comment.