git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/src/AST/AST.cpp b/src/AST/AST.cpp
index 509880e892f4e665daf99353701401bd2f0f81f1..ad688f1cda5297800c95e19ba4e6034f8943179f 100644 (file)
--- a/src/AST/AST.cpp
+++ b/src/AST/AST.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/AST/ASTUtil.cpp b/src/AST/ASTUtil.cpp
index d7a3b2bf61915793610720f71f90a6acca503587..7fd98e62c543acca722b9bc45ea7ca957119a2dc 100644 (file)
--- a/src/AST/ASTUtil.cpp
+++ b/src/AST/ASTUtil.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/AST/ASTUtil.h b/src/AST/ASTUtil.h
index 1693847d93d829f078d5a4a4b6251f1a6d7fa524..b94e302ea208d1727a77aade61bc99d32846c938 100644 (file)
--- a/src/AST/ASTUtil.h
+++ b/src/AST/ASTUtil.h
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/AST/ToSAT.cpp b/src/AST/ToSAT.cpp
index 81858f5f71b1c58ee7cbf9476c0957f7c09cb417..c1a78b75c9363068efcfb95edc921ffb9e65fd3a 100644 (file)
--- a/src/AST/ToSAT.cpp
+++ b/src/AST/ToSAT.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/AST/Transform.cpp b/src/AST/Transform.cpp
index baa9adb4ddce19e6103c94556bdcf05cf71fdfb1..41db3c0d6db9d538a67341dcba9fe369df5dab52 100644 (file)
--- a/src/AST/Transform.cpp
+++ b/src/AST/Transform.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/c_interface/c_interface.cpp b/src/c_interface/c_interface.cpp
index 92ccc9ac8fa32151690a690890078666b79319d4..2dc0a54e99fffc086b4d578b006da2b5b62cddcc 100644 (file)
--- a/src/c_interface/c_interface.cpp
+++ b/src/c_interface/c_interface.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/c_interface/c_interface.h b/src/c_interface/c_interface.h
index 7b1b51bcc21412aa74d066102d35ac14b5da1cb7..04f2837ac59fbb5f177eedbee8968a18e85b1157 100644 (file)
--- a/src/c_interface/c_interface.h
+++ b/src/c_interface/c_interface.h
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/parser/CVC.lex b/src/parser/CVC.lex
index 3dd33200c409139c82ceb95b80bb421ea5a05f2b..de7f851db1a720927c81a2678c4ff273debab2f9 100644 (file)
--- a/src/parser/CVC.lex
+++ b/src/parser/CVC.lex
@@ -1,6 +1,6 @@
 %{
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/parser/CVC.y b/src/parser/CVC.y
index 6f8dae4450e7a7d4afb3cff99018c6b3931c3e7a..1be10660dcf8dd5b2969d6440631bfc5c12c268c 100644 (file)
--- a/src/parser/CVC.y
+++ b/src/parser/CVC.y
@@ -1,6 +1,6 @@
 %{
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/parser/let-funcs.cpp b/src/parser/let-funcs.cpp
index e352cb47f636b6047ae1bf21f42077cdbec5a5a4..659a91c4eecf88cb8ad0a0b42d521ca766e74d99 100644 (file)
--- a/src/parser/let-funcs.cpp
+++ b/src/parser/let-funcs.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/parser/main.cpp b/src/parser/main.cpp
index 93a9370d19f19a85fb0a1f296be9e390df49eb5f..890a0eebd3b19b8cfe8345971ede737c404faacf 100644 (file)
--- a/src/parser/main.cpp
+++ b/src/parser/main.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/parser/smtlib.y b/src/parser/smtlib.y
index 541e763fed0d7c81485f8a57a0e91bfa72390e7d..67f82a8b48d4cb87a1104cca98de5c5b9ee74eef 100644 (file)
--- a/src/parser/smtlib.y
+++ b/src/parser/smtlib.y
@@ -1,6 +1,6 @@
 %{
   /********************************************************************
-   * AUTHORS: Vijay Ganesh, David L. Dill
+   * AUTHORS: Vijay Ganesh
    *
    * BEGIN DATE: July, 2006
    *

diff --git a/src/simplifier/bvsolver.cpp b/src/simplifier/bvsolver.cpp
index f873d4ebc19680bab86d935c6efeacd30afabd15..2447789513465c1c8667f4d1ae0bae745982a57d 100644 (file)
--- a/src/simplifier/bvsolver.cpp
+++ b/src/simplifier/bvsolver.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/simplifier/bvsolver.h b/src/simplifier/bvsolver.h
index c19b52973a5898f55de6762bc00beb4f498fd2c2..1d4409b1723bd23aa582a5cf2b6ef8c2468c2f18 100644 (file)
--- a/src/simplifier/bvsolver.h
+++ b/src/simplifier/bvsolver.h
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *

diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp
index 4a6b7af9311962a6cb5d4e6aa1755da4816e0af1..9f94bd2b2eab8f459626ddba8ca098f442999ec5 100644 (file)
--- a/src/simplifier/simplifier.cpp
+++ b/src/simplifier/simplifier.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *