[Scstudio-commits] SF.net SVN: scstudio:[750] trunk

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 750
          http://scstudio.svn.sourceforge.net/scstudio/?rev=750&view=rev
Author:   gotthardp
Date:     2010-05-08 16:31:21 +0000 (Sat, 08 May 2010)

Log Message:
-----------
Fixed file properties.

Modified Paths:
--------------
    trunk/src/check/localchoice/CMakeLists.txt
    trunk/src/check/realizability/CMakeLists.txt
    trunk/src/check/structure/CMakeLists.txt
    trunk/src/data/modelchecking/CMakeLists.txt
    trunk/tests/tighten_hmsc_test.cpp
    trunk/tests/universal_boundedness/CMakeLists.txt

Property Changed:
----------------
    trunk/src/check/localchoice/CMakeLists.txt
    trunk/src/check/realizability/CMakeLists.txt
    trunk/src/check/structure/CMakeLists.txt
    trunk/src/check/time/find_block.cpp
    trunk/src/check/time/hmsc_all_paths.cpp
    trunk/src/check/time/hmsc_block_paths.cpp
    trunk/src/check/time/traverse_erase.cpp
    trunk/src/data/modelchecking/CMakeLists.txt
    trunk/tests/deadlock/CMakeLists.txt
    trunk/tests/find_block_test.cpp
    trunk/tests/race/CMakeLists.txt
    trunk/tests/tighten_hmsc_test.cpp
    trunk/tests/time/consistency/CMakeLists.txt
    trunk/tests/time_constraints/proper_neg13.mpr.result1
    trunk/tests/time_constraints/proper_neg26.mpr.result.1
    trunk/tests/time_constraints/proper_neg27.mpr.result.1
    trunk/tests/time_constraints/proper_neg29.mpr.result
    trunk/tests/time_constraints/proper_neg30.mpr.result
    trunk/tests/time_constraints/proper_neg31.mpr.result
    trunk/tests/time_constraints/proper_neg32.mpr.result
    trunk/tests/time_constraints/proper_neg33.mpr.result
    trunk/tests/time_constraints/proper_neg34.mpr.result
    trunk/tests/time_constraints/proper_neg35.mpr.result
    trunk/tests/universal_boundedness/CMakeLists.txt
    trunk/tests/z120_test/z120_time26.mpr.result1
    trunk/tests/z120_test/z120_time29.mpr.result1
    trunk/tests/z120_test/z120_time30.mpr.result1

Modified: trunk/src/check/localchoice/CMakeLists.txt
===================================================================

--- trunk/src/check/localchoice/CMakeLists.txt	2010-05-08 12:59:37 UTC (rev 749)
+++ trunk/src/check/localchoice/CMakeLists.txt	2010-05-08 16:31:21 UTC (rev 750)
@@ -1,18 +1,18 @@
-ADD_LIBRARY(sclocalchoice SHARED
-  export.h
-  module.cpp
-  local_choice_checker.cpp
-  local_choice_checker.h
-)
-
-TARGET_LINK_LIBRARIES(sclocalchoice
-  scmsc
-  scpseudocode
-)
-
-INSTALL(TARGETS sclocalchoice
-  RUNTIME DESTINATION bin
-  LIBRARY DESTINATION lib
-  ARCHIVE DESTINATION lib)
-
-# $Id:$
+ADD_LIBRARY(sclocalchoice SHARED
+  export.h
+  module.cpp
+  local_choice_checker.cpp
+  local_choice_checker.h
+)
+
+TARGET_LINK_LIBRARIES(sclocalchoice
+  scmsc
+  scpseudocode
+)
+
+INSTALL(TARGETS sclocalchoice
+  RUNTIME DESTINATION bin
+  LIBRARY DESTINATION lib
+  ARCHIVE DESTINATION lib)
+
+# $Id:$


Property changes on: trunk/src/check/localchoice/CMakeLists.txt
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native

Modified: trunk/src/check/realizability/CMakeLists.txt
===================================================================
--- trunk/src/check/realizability/CMakeLists.txt	2010-05-08 12:59:37 UTC (rev 749)
+++ trunk/src/check/realizability/CMakeLists.txt	2010-05-08 16:31:21 UTC (rev 750)
@@ -1,18 +1,18 @@
-ADD_LIBRARY(screalizability SHARED
-  export.h
-  module.cpp
-  realizability_checker.cpp
-  realizability_checker.h
-)
-
-TARGET_LINK_LIBRARIES(screalizability
-  scmsc
-  scpseudocode
-)
-
-INSTALL(TARGETS screalizability
-  RUNTIME DESTINATION bin
-  LIBRARY DESTINATION lib
-  ARCHIVE DESTINATION lib)
-
-# $Id:$
+ADD_LIBRARY(screalizability SHARED
+  export.h
+  module.cpp
+  realizability_checker.cpp
+  realizability_checker.h
+)
+
+TARGET_LINK_LIBRARIES(screalizability
+  scmsc
+  scpseudocode
+)
+
+INSTALL(TARGETS screalizability
+  RUNTIME DESTINATION bin
+  LIBRARY DESTINATION lib
+  ARCHIVE DESTINATION lib)
+
+# $Id:$


Property changes on: trunk/src/check/realizability/CMakeLists.txt
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native

Modified: trunk/src/check/structure/CMakeLists.txt
===================================================================
--- trunk/src/check/structure/CMakeLists.txt	2010-05-08 12:59:37 UTC (rev 749)
+++ trunk/src/check/structure/CMakeLists.txt	2010-05-08 16:31:21 UTC (rev 750)
@@ -1,20 +1,20 @@
-ADD_LIBRARY(scstructure SHARED
-  export.h
-  module.cpp
-  name_checker.cpp
-  name_checker.h
-  nonrecursivity_checker.cpp
-  nonrecursivity_checker.h
-)
-
-TARGET_LINK_LIBRARIES(scstructure
-  scpseudocode
-  scmsc
-)
-
-INSTALL(TARGETS scstructure
-  RUNTIME DESTINATION bin
-  LIBRARY DESTINATION lib
-  ARCHIVE DESTINATION lib)
-
-# $Id: CMakeLists.txt 206 2009-03-25 17:03:43Z vacek $
+ADD_LIBRARY(scstructure SHARED
+  export.h
+  module.cpp
+  name_checker.cpp
+  name_checker.h
+  nonrecursivity_checker.cpp
+  nonrecursivity_checker.h
+)
+
+TARGET_LINK_LIBRARIES(scstructure
+  scpseudocode
+  scmsc
+)
+
+INSTALL(TARGETS scstructure
+  RUNTIME DESTINATION bin
+  LIBRARY DESTINATION lib
+  ARCHIVE DESTINATION lib)
+
+# $Id$


Property changes on: trunk/src/check/structure/CMakeLists.txt
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native


Property changes on: trunk/src/check/time/find_block.cpp
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/src/check/time/hmsc_all_paths.cpp
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/src/check/time/hmsc_block_paths.cpp
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/src/check/time/traverse_erase.cpp
___________________________________________________________________
Added: svn:eol-style
   + native

Modified: trunk/src/data/modelchecking/CMakeLists.txt
===================================================================
--- trunk/src/data/modelchecking/CMakeLists.txt	2010-05-08 12:59:37 UTC (rev 749)
+++ trunk/src/data/modelchecking/CMakeLists.txt	2010-05-08 16:31:21 UTC (rev 750)
@@ -1,16 +1,16 @@
-ADD_LIBRARY(scmodelchecking SHARED
-  export.h
-  module.cpp
-  divine.h
-  divine.cpp
-)
-
-TARGET_LINK_LIBRARIES(scmodelchecking
-  scmsc
-  scpseudocode
-)
-
-INSTALL(TARGETS scmodelchecking
-  RUNTIME DESTINATION bin
-  LIBRARY DESTINATION lib
-  ARCHIVE DESTINATION lib)
+ADD_LIBRARY(scmodelchecking SHARED
+  export.h
+  module.cpp
+  divine.h
+  divine.cpp
+)
+
+TARGET_LINK_LIBRARIES(scmodelchecking
+  scmsc
+  scpseudocode
+)
+
+INSTALL(TARGETS scmodelchecking
+  RUNTIME DESTINATION bin
+  LIBRARY DESTINATION lib
+  ARCHIVE DESTINATION lib)


Property changes on: trunk/src/data/modelchecking/CMakeLists.txt
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native


Property changes on: trunk/tests/deadlock/CMakeLists.txt
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native


Property changes on: trunk/tests/find_block_test.cpp
___________________________________________________________________
Added: svn:keywords
   + Id


Property changes on: trunk/tests/race/CMakeLists.txt
___________________________________________________________________
Modified: svn:keywords
   - Date Revision Author HeadURL Id
   + Id

Modified: trunk/tests/tighten_hmsc_test.cpp
===================================================================
--- trunk/tests/tighten_hmsc_test.cpp	2010-05-08 12:59:37 UTC (rev 749)
+++ trunk/tests/tighten_hmsc_test.cpp	2010-05-08 16:31:21 UTC (rev 750)
@@ -13,7 +13,7 @@
  *
  * Copyright (c) LK
  *
- * $Id: tighten_msc_test.cpp 602 2010-02-20 11:38:10Z kocianon $
+ * $Id$
  */
 
 #include <iostream>
@@ -153,4 +153,4 @@
 }
 
 
-// $Id: tighten_msc_test.cpp 602 2010-02-20 11:38:10Z kocianon $
+// $Id$


Property changes on: trunk/tests/tighten_hmsc_test.cpp
___________________________________________________________________
Added: svn:keywords
   + Id


Property changes on: trunk/tests/time/consistency/CMakeLists.txt
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg13.mpr.result1
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg26.mpr.result.1
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg27.mpr.result.1
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg29.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg30.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg31.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg32.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg33.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg34.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/time_constraints/proper_neg35.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native

Modified: trunk/tests/universal_boundedness/CMakeLists.txt
===================================================================
--- trunk/tests/universal_boundedness/CMakeLists.txt	2010-05-08 12:59:37 UTC (rev 749)
+++ trunk/tests/universal_boundedness/CMakeLists.txt	2010-05-08 16:31:21 UTC (rev 750)
@@ -1,10 +1,10 @@
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded.mpr 1)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded2.mpr 1)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded3.mpr 1)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded4.mpr 1)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded5.mpr 1)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded.mpr 0)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded2.mpr 0)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded3.mpr 0)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded4.mpr 0)
-ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded5.mpr 0)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded.mpr 1)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded2.mpr 1)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded3.mpr 1)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded4.mpr 1)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" bounded5.mpr 1)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded.mpr 0)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded2.mpr 0)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded3.mpr 0)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded4.mpr 0)
+ADD_CHECKER_TEST(scboundedness "Universal Boundedness" unbounded5.mpr 0)


Property changes on: trunk/tests/universal_boundedness/CMakeLists.txt
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native


Property changes on: trunk/tests/z120_test/z120_time26.mpr.result1
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/z120_test/z120_time29.mpr.result1
___________________________________________________________________
Added: svn:eol-style
   + native


Property changes on: trunk/tests/z120_test/z120_time30.mpr.result1
___________________________________________________________________
Added: svn:eol-style
   + native


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.


