Skip to content
Permalink
Browse files

Small updates

  • Loading branch information...
joleuger committed Feb 21, 2017
1 parent e4be13d commit 92d363b0a731cf72e9159b05c01685c3f4abbb90
Showing with 15 additions and 15 deletions.
  1. +4 −4 Benchmark/README.md
  2. +1 −1 Benchmark/summarizeLocalBenchmarks.ps1
  3. +1 −1 LICENSE.md
  4. +4 −4 NuGet/ISSE.SafetySharp.nuspec
  5. +5 −5 README.md
@@ -1,4 +1,4 @@
Here you can find batch files for PowerScript to automatically execute all relevant benchmarks and summarize them in a .csv-File.
Here you can find batch files for PowerScript to automatically execute all relevant benchmarks and summarize them in a .csv-file.

These scripts are highly platform dependent. It depends on the local system settings such as system language and system paths.
To use them you have to adjust the paths and the system separator (delimiter) in the script files to your local environment.
@@ -13,8 +13,8 @@ To use them you have to adjust the paths and the system separator (delimiter) in
Note: You must run the following command first
```Set-ExecutionPolicy -ExecutionPolicy RemoteSigned -Scope CurrentUser```
To Undo
To undo
```Set-ExecutionPolicy -ExecutionPolicy Restricted -Scope CurrentUser```
[System Separator (Delimiter)](https://answers.microsoft.com/en-us/msoffice/forum/msoffice_excel-mso_other/how-do-i-change-the-system-separator-delimiter-to/9f8d5f2c-940f-4418-b952-bfeac867c03e)
References
* [System Separator (Delimiter)](https://answers.microsoft.com/en-us/msoffice/forum/msoffice_excel-mso_other/how-do-i-change-the-system-separator-delimiter-to/9f8d5f2c-940f-4418-b952-bfeac867c03e)
@@ -58,5 +58,5 @@ Foreach ($test in $tests) {

$resultsFile="$PSScriptRoot\"+"summarizedBenchmarkResults.csv"

$results | Export-Csv -Path $resultsFile -Encoding ascii -NoTypeInformation -Delimiter ';' #delimineter ';' for german excel
$results | Export-Csv -Path $resultsFile -Encoding ascii -NoTypeInformation -UseCulture

@@ -1,6 +1,6 @@
The MIT License (MIT)

Copyright (c) 2014-2016, Institute for Software & Systems Engineering
Copyright (c) 2014-2017, Institute for Software & Systems Engineering

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
@@ -3,15 +3,15 @@
<metadata>
<id>ISSE.SafetySharp</id>
<title>S#</title>
<version>1.2.3</version>
<version>2.0.0</version>
<authors>Institute for Software and Systems Engineering (University of Augsburg)</authors>
<owners>Institute for Software and Systems Engineering (University of Augsburg)</owners>
<licenseUrl>https://github.com/isse-augsburg/ssharp/blob/master/LICENSE.md</licenseUrl>
<projectUrl>http://safetysharp.isse.de/</projectUrl>
<requireLicenseAcceptance>false</requireLicenseAcceptance>
<description>S# (&quot;safety sharp&quot;) is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg. S# provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.</description>
<summary>S# (&quot;safety sharp&quot;) is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg.</summary>
<copyright>Copyright 2014-2016</copyright>
<copyright>Copyright 2014-2017</copyright>
<tags>safety-critical model-checking simulation models visualization</tags>
</metadata>
<files>
@@ -22,13 +22,13 @@
<file src="..\Binaries\Release\System.*.dll" target="tools" />

<!-- Analyzers: S# DLLs and install/uninstall scripts -->
<file src="..\Binaries\Release\ISSE.ModelChecking.dll" target="analyzers/dotnet/cs" />
<file src="..\Binaries\Release\ISSE.SafetyChecking.dll" target="analyzers/dotnet/cs" />
<file src="..\Binaries\Release\SafetySharp.Modeling.dll" target="analyzers/dotnet/cs" />
<file src="..\Binaries\Release\SafetySharp.Compiler.dll" target="analyzers/dotnet/cs" />
<file src="*.ps1" target="tools\" />

<!-- Reference to S# assembly -->
<file src="..\Binaries\Release\ISSE.ModelChecking.dll" target="lib/net45" />
<file src="..\Binaries\Release\ISSE.SafetyChecking.dll" target="lib/net45" />
<file src="..\Binaries\Release\SafetySharp.Modeling.dll" target="lib/net45" />

<!-- Build scripts -->
@@ -21,6 +21,11 @@ To get started with S#, please consult the [Wiki](http://safetysharp.isse.de/wik
the case studies are available under the
[MIT License](https://github.com/isse-augsburg/ssharp/blob/master/LICENSE.md).

Publications
-------------------------

Please see [Wiki page with our S# related publications](https://github.com/isse-augsburg/ssharp/wiki/Publications)

Example: Modeling with S#
-------------------------

@@ -106,8 +111,3 @@ Minimal Critical Sets: 1
(1) { SuppressIsFull, SuppressTimeout }
```
Publications
-------------------------
Please see [Wiki page with our S# related publications](https://github.com/isse-augsburg/ssharp/wiki/Publications)

0 comments on commit 92d363b

Please sign in to comment.
You can’t perform that action at this time.