Skip to content

Commit

Permalink
Addressed whitespace issues in SIREUM_HOME path.
Browse files Browse the repository at this point in the history
  • Loading branch information
@robby-phd
robby-phd committed Sep 12, 2024
1 parent 93f3db0 commit 3aaaec0
Show file tree
Hide file tree
Showing 6 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion act
Submodule act updated 1 files
+1 −1 bin/project.cmd
2 changes: 1 addition & 1 deletion arsit
Submodule arsit updated 10 files
+1 −1 bin/project.cmd
+1 −1 jvm/src/main/scala/org/sireum/hamr/arsit/templates/ArtNixTemplate.scala
+1 −1 jvm/src/main/scala/org/sireum/hamr/arsit/templates/ProjectTemplate.scala
+1 −1 jvm/src/main/scala/org/sireum/hamr/arsit/templates/ToolsTemplate.scala
+2 −2 jvm/src/main/scala/org/sireum/hamr/arsit/templates/TranspilerTemplate.scala
+1 −1 resources/art
+1 −1 resources/util/cliCompile.cmd
+1 −1 resources/util/cliRun.cmd
+1 −1 resources/util/cliTranspile-alt.cmd
+1 −1 resources/util/cliTranspile.cmd
2 changes: 1 addition & 1 deletion art
Submodule art updated 2 files
+1 −1 bin/project-standalone.cmd
+1 −1 bin/project.cmd
2 changes: 1 addition & 1 deletion bin/project.cmd
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ if not defined SIREUM_HOME (
echo Please set SIREUM_HOME env var
exit /B -1
)
"%SIREUM_HOME%\bin\sireum.bat" slang run "%0" %*
"%SIREUM_HOME%\bin\sireum.bat" slang run %0 %*
exit /B %errorlevel%
::!#*/
// #Sireum
Expand Down
2 changes: 1 addition & 1 deletion common/bin/project.cmd
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ if not defined SIREUM_HOME (
echo Please set SIREUM_HOME env var
exit /B -1
)
"%SIREUM_HOME%\bin\sireum.bat" slang run "%0" %*
"%SIREUM_HOME%\bin\sireum.bat" slang run %0 %*
exit /B %errorlevel%
::!#*/
// #Sireum
Expand Down
2 changes: 1 addition & 1 deletion jvm/src/test
Submodule test updated 59 files
+1 −1 resources/models/BaseBehaviorTest/arrays/clean.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr-excludes/c/bin/compile.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr-excludes/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr-excludes/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr-excludes/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr-excludes/slang/bin/transpile.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr/c/bin/compile.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/arrays/hamr/slang/bin/transpile.cmd
+1 −1 resources/models/BaseBehaviorTest/building_control_gen_mixed/clean.cmd
+1 −1 resources/models/BaseBehaviorTest/building_control_gen_mixed/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/building_control_gen_mixed/hamr/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/building_control_gen_mixed/hamr/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/isolette-841-f23/aadl/bin/clean.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/isolette-841-f23/aadl/bin/run-hamr.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/isolette-841-f23/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/isolette-841-f23/hamr/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/isolette-841-f23/hamr/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/contracts/aadl/clean.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/contracts/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/contracts/hamr/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/contracts/hamr/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/flows/aadl/clean.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/flows/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/flows/hamr/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/prod-filter-consumer/flows/hamr/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/aadl/bin/run-hamr-jvm.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/aadl/clean.cmd
+1 −1 ...s/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr-gen-periodic/slang/bin/project.cmd
+1 −1 ...es/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr-gen-periodic/slang/bin/sergen.cmd
+1 −1 ...odels/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr-gen-periodic/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr-gen/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr-gen/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr-gen/slang/bin/slangcheck.cmd
+1 −1 ...urces/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr/slang-periodic/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/simple_temp_aadl/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/aadl/bin/run-hamr-jvm.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/aadl/clean.cmd
+1 −1 ...ces/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr-gen-periodic/slang/bin/project.cmd
+1 −1 ...rces/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr-gen-periodic/slang/bin/sergen.cmd
+1 −1 .../models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr-gen-periodic/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr-gen/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr-gen/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr-gen/slang/bin/slangcheck.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr/slang-periodic/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/gumbo/temp_control_gumbo/unit_temp_aadl/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/temp_control_simple_temp/aadl/bin/run-hamr-jvm.cmd
+1 −1 resources/models/BaseBehaviorTest/temp_control_simple_temp/aadl/clean.cmd
+1 −1 resources/models/BaseBehaviorTest/temp_control_simple_temp/hamr/slang/bin/project.cmd
+1 −1 resources/models/BaseBehaviorTest/temp_control_simple_temp/hamr/slang/bin/sergen.cmd
+1 −1 resources/models/BaseBehaviorTest/temp_control_simple_temp/hamr/slang/bin/slangcheck.cmd
+1 −1 resources/models/GumboTest/RTS-aadl/aadl-seL4/bin/clean.cmd
+1 −1 resources/models/GumboTest/RTS-aadl/aadl-seL4/bin/gen-air.cmd
+1 −1 resources/models/GumboTest/RTS-aadl/aadl-seL4/bin/run-demo-linux.cmd
+1 −1 resources/models/GumboTest/RTS-aadl/aadl-seL4/bin/run-demo-sel4-only.cmd
+1 −1 resources/models/GumboTest/RTS-aadl/aadl-seL4/bin/run-demo-sel4.cmd
+1 −1 resources/models/GumboTest/RTS-aadl/aadl-seL4/bin/run-hamr.cmd

0 comments on commit 3aaaec0

Please sign in to comment.