Remove references to nyu (#1721)

6 files changed, 13 insertions, 106 deletions

diff --git a/contrib/alttheoryskel/README.WHATS-NEXT b/contrib/alttheoryskel/README.WHATS-NEXT
index c6ad91c3f..c0237c300 100644
--- a/contrib/alttheoryskel/README.WHATS-NEXT
+++ b/contrib/alttheoryskel/README.WHATS-NEXT
@@ -13,13 +13,13 @@ Your next steps will likely be:
 
 You'll probably find the Developer's wiki useful:
 
-  http://cvc4.cs.nyu.edu/wiki/
+  http://cvc4.cs.stanford.edu/wiki/
 
-...and in particular the Developer's Guide:
+...and the Developer's Guide:
 
-  http://cvc4.cs.nyu.edu/wiki/Developer%27s_Guide
+  https://github.com/CVC4/CVC4/wiki/Developer-Guide
 
 which contains coding guidelines for the CVC4 project.
 
-Good luck, and please contact cvc4-devel@cs.nyu.edu for assistance
+Good luck, and please contact cvc4-devel@cs.stanford.edu for assistance
 should you need it!
diff --git a/contrib/cvc-mode.el b/contrib/cvc-mode.el
index f159944dd..e32c0c439 100644
--- a/contrib/cvc-mode.el
+++ b/contrib/cvc-mode.el
@@ -644,7 +644,7 @@ process will leave its output. Currently, each run of CVC clears the
 compilation buffer. If you need to save multiple runs, save them one
 at a time.
 
-Please report bugs to barrett@cs.nyu.edu."
+Please report bugs to barrett@cs.stanford.edu."
   (interactive)
   (use-local-map cvc-mode-map)
 ;;; Disable asking for the compile command
diff --git a/contrib/get-authors b/contrib/get-authors
index a888d38f3..59187a81c 100755
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -1,8 +1,7 @@
 #!/bin/sh
 #
 # get-authors
-# Morgan Deters <mdeters@cs.nyu.edu> for CVC4
-# Copyright (c) 2009-2014  The CVC4 Project
+# Copyright (c) 2009-2018  The CVC4 Project
 #
 # usage: get-authors [ files... ]
 #
diff --git a/contrib/get-bug-attachments b/contrib/get-bug-attachments
deleted file mode 100755
index 80205baff..000000000
--- a/contrib/get-bug-attachments
+++ /dev/null
@@ -1,92 +0,0 @@
-#!/bin/bash
-#
-# get-bug-attachments
-# Morgan Deters <mdeters@cs.nyu.edu>
-# Wed, 26 Sep 2012 09:40:10 -0400
-#
-
-if [ $# -lt 1 ]; then
-  echo "usage: `basename $0` bugids.." >&2
-  exit 1
-fi
-
-while [ $# -gt 0 ]; do
-
-bugid="$1"
-shift
-
-function webcat {
-  if which wget &>/dev/null; then
-    wget -O - "$1"
-  elif which curl &>/dev/null; then
-    curl "$1"
-  else
-    echo "Please install wget or curl." >&2;
-    exit 1
-  fi
-}
-
-function webget {
-  if which wget &>/dev/null; then
-    tmpfile="$(mktemp get_bug_attach.$$.XXXXXXXX)"
-    filename="$(wget -qS -O "$tmpfile" "$1" 2>&1 | grep -i 'Content-disposition: attachment' | sed 's,.*filename="\(.*\)".*,\1,')"
-    ext="$(echo "$filename" | sed 's,.*\.\(.*\),\1,')"
-    if [ -e "$2.$ext" ] && ! diff -q "$tmpfile" "$2.$ext" &>/dev/null; then
-      c=a
-      while [ -e "$2$c.$ext" ] && ! diff -q "$tmpfile" "$2$c.$ext" &>/dev/null; do
-        c=$(echo $c | tr a-y b-z)
-      done
-      mkdir -p "$(dirname "$2")"
-      mv "$tmpfile" "$2$c.$ext"
-      echo "$2$c.$ext"
-    else
-      mkdir -p "$(dirname "$2")"
-      mv "$tmpfile" "$2.$ext"
-      echo "$2.$ext"
-    fi
-  elif which curl &>/dev/null; then
-    tmpfile="$(mktemp get_bug_attach.$$.XXXXXXXX)"
-    filename="$(curl --head "$1" 2>&1 | grep -i 'Content-disposition: attachment' | sed 's,.*filename="\(.*\)".*,\1,')"
-    curl "$1" >"$tmpfile" 2>/dev/null
-    ext="$(echo "$filename" | sed 's,.*\.\(.*\),\1,')"
-    if [ -e "$2.$ext" ] && ! diff -q "$tmpfile" "$2.$ext" &>/dev/null; then
-      c=a
-      while [ -e "$2$c.$ext" ] && ! diff -q "$tmpfile" "$2$c.$ext" &>/dev/null; do
-        c=$(echo $c | tr a-y b-z)
-      done
-      mkdir -p "$(dirname "$2")"
-      mv "$tmpfile" "$2$c.$ext"
-      echo "$2$c.$ext"
-    else
-      mkdir -p "$(dirname "$2")"
-      mv "$tmpfile" "$2.$ext"
-      echo "$2.$ext"
-    fi
-  else
-    echo "Please install wget or curl." >&2;
-    exit 1
-  fi
-}
-
-count=0
-for attachment in $(\
-  webcat "http://cvc4.cs.nyu.edu/bugs/show_bug.cgi?id=$bugid" 2>/dev/null \
-  | grep ' href="attachment.cgi?id=[0-9][0-9]*' \
-  | sed 's,.* href="attachment.cgi?id=\([0-9][0-9]*\).*,\1,' \
-  | sort -nu); do
-
-  let count++
-  printf "%-30s " "Downloading attachment $attachment..."
-  webget "http://cvc4.cs.nyu.edu/bugs/attachment.cgi?id=$attachment" "test/regress/regress0/bug$bugid"
-
-done
-
-if [ $count -eq 0 ]; then
-  echo "There are no bug attachments for bug #$bugid."
-else
-  s=s
-  [ $count -eq 1 ] && s=
-  echo "Downloaded $count bug attachment$s for bug #$bugid."
-fi
-
-done
diff --git a/contrib/theoryskel/README.WHATS-NEXT b/contrib/theoryskel/README.WHATS-NEXT
index 17affade4..213004d5b 100644
--- a/contrib/theoryskel/README.WHATS-NEXT
+++ b/contrib/theoryskel/README.WHATS-NEXT
@@ -17,7 +17,8 @@ Your next steps will likely be:
 * to write parser rules in src/parser/cvc/Cvc.g to support the CVC input
   language, src/parser/smt/Smt.g to support the (deprecated) SMT-LIBv1
   language, and src/parser/smt2/Smt2.g to support SMT-LIBv2
-* to write printer code in src/printer/*/*_printer* to support printing
+* to write printer code in
+src/printer/*/*_printer* to support printing
   your theory terms and types in various output languages
 
 and finally:
@@ -33,13 +34,13 @@ and finally:
 
 You'll probably find the Developer's wiki useful:
 
-  http://cvc4.cs.nyu.edu/wiki/
+  http://cvc4.cs.stanford.edu/wiki/
 
-...and in particular the Developer's Guide:
+...and the Developer's Guide:
 
-  http://cvc4.cs.nyu.edu/wiki/Developer%27s_Guide
+  https://github.com/CVC4/CVC4/wiki/Developer-Guide
 
 which contains coding guidelines for the CVC4 project.
 
-Good luck, and please contact cvc4-devel@cs.nyu.edu for assistance
+Good luck, and please contact cvc4-devel@cs.stanford.edu for assistance
 should you need it!
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index d0dd33cbb..e052430c7 100755
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -1,8 +1,7 @@
 #!/usr/bin/perl -w
 #
 # update-copyright.pl
-# Morgan Deters <mdeters@cs.nyu.edu> for CVC4
-# Copyright (c) 2009-2014  The CVC4 Project
+# Copyright (c) 2009-2018  The CVC4 Project
 #
 # usage: update-copyright [-m] [files/directories...]
 #        update-copyright [-h | --help]