projects
/
satcheck.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
edf2d22
)
update doxygen file
author
bdemsky
<bdemsky@uci.edu>
Thu, 15 Dec 2016 06:41:24 +0000
(22:41 -0800)
committer
bdemsky
<bdemsky@uci.edu>
Thu, 15 Dec 2016 06:41:24 +0000
(22:41 -0800)
Doxyfile
patch
|
blob
|
history
diff --git
a/Doxyfile
b/Doxyfile
index 65c02c804c8025fcf4b54ce13bb0cbe2b3179fb2..73e63b4f698d4a43784922530e81cfe822055d72 100644
(file)
--- a/
Doxyfile
+++ b/
Doxyfile
@@
-26,7
+26,7
@@
DOXYFILE_ENCODING = UTF-8
# identify the project. Note that if you do not use Doxywizard you need
# to put quotes around the project name if it contains spaces.
# identify the project. Note that if you do not use Doxywizard you need
# to put quotes around the project name if it contains spaces.
-PROJECT_NAME = "
MC2: A Model Checker for SC
"
+PROJECT_NAME = "
SATCheck: A SAT-based Model Checker for SC/TSO
"
# The PROJECT_NUMBER tag can be used to enter a project or revision number.
# This could be handy for archiving the generated documentation or
# The PROJECT_NUMBER tag can be used to enter a project or revision number.
# This could be handy for archiving the generated documentation or