|
From: <got...@us...> - 2010-05-08 16:31:27
|
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.
|