diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-20 18:16:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 16:11:24 -0400 |
commit | b6ad34343d0a09de37dc4e5ff57cd8625dca3fc4 (patch) | |
tree | d4aa8da10c6ad99c46d7f8c1fd824f2d7566ef4e /contrib | |
parent | cba10a096d97e82bd112b4d99a6ebe399d1369d6 (diff) |
Merging some cleanup work:
* Comment cleanup
* Spelling fixes
* Fix warnings
* Documentation updates
* References in docs to cryptominisat removed
* Unneeded scope resolutions removed
* Old, unused regression removed
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/spellcheck | 2 | ||||
-rwxr-xr-x | contrib/update-copyright.pl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/contrib/spellcheck b/contrib/spellcheck index 4aa210a50..20cbd82d9 100755 --- a/contrib/spellcheck +++ b/contrib/spellcheck @@ -2,7 +2,7 @@ dir="$(dirname "$0")" -find src \( -name '*.cpp' -o -name '*.h' \) \! -path 'src/prop/minisat/*' \! -path 'src/prop/bvminisat/*' \! -path 'src/prop/cryptominisat/*' \! -path 'src/parser/*/generated/*' | +find src \( -name '*.cpp' -o -name '*.h' \) \! -path 'src/prop/minisat/*' \! -path 'src/prop/bvminisat/*' \! -path 'src/parser/*/generated/*' | while read f; do misspelled_words=` $dir/extract-strings-and-comments $f | diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 4811a4bbe..f7ce15f6c 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -34,7 +34,7 @@ # the license.) # -my $excluded_directories = '^(minisat|bvminisat|cryptominisat|CVS|generated)$'; +my $excluded_directories = '^(minisat|bvminisat|CVS|generated)$'; my $excluded_paths = '^(src/parser/antlr_input_imports.cpp|src/bindings/compat/.*)$'; # Years of copyright for the template. E.g., the string |