diff options
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/alttheoryskel/README.WHATS-NEXT | 8 | ||||
-rw-r--r-- | contrib/cvc-mode.el | 2 | ||||
-rwxr-xr-x | contrib/get-authors | 3 | ||||
-rwxr-xr-x | contrib/get-bug-attachments | 92 | ||||
-rw-r--r-- | contrib/theoryskel/README.WHATS-NEXT | 11 | ||||
-rwxr-xr-x | contrib/update-copyright.pl | 3 |
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] |