[PPL-devel] [GIT] ppl/ppl(master): Temporary list of words allowed in comments and to compose identifiers.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 4079afb77c67f23f23d12a836c9029a6c424b336
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4079afb77c67f23f23d12a836c9029a6c424b336

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Oct 25 15:05:26 2011 +0200

Temporary list of words allowed in comments and to compose identifiers.

---

 devtools/good_words |  168 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 168 insertions(+), 0 deletions(-)

diff --git a/devtools/good_words b/devtools/good_words
new file mode 100644
index 0000000..6e31b06
--- /dev/null
+++ b/devtools/good_words
@@ -0,0 +1,168 @@
+ac
+addmod
+addmul
+alloc
+ansi
+antoine
+argc
+argv
+autoheader
+biggl
+biggr
+bigl
+bigm
+bigoplus
+bigr
+bindir
+bnot
+bor
+bugs
+bxor
+caml
+casting
+cdot
+cend
+cflags
+ciao
+command
+confined
+conform
+conforms
+cousot
+cplusplus
+cppflags
+credits
+csh
+cstdarg
+cxxflags
+defeq
+defs
+denorm
+develop
+development
+downarrow
+driven
+duplicating
+effective
+endcode
+endian
+endverbatim
+fatal
+files
+floats
+forall
+getrlimit
+glpk
+hh
+hideinitializer
+highly
+home
+idefs
+iff
+indirectly
+interfere
+intervalized
+java
+langle
+ldflags
+ldots
+letters
+lfloor
+lib
+libdir
+libstdc
+libtool
+lift
+macros
+makefile
+mapsto
+mathbf
+mathit
+mathop
+mathord
+mathrel
+mathrm
+mathtt
+metaprogramming
+mine
+motorola
+namespaces
+notin
+objdir
+ocaml
+official
+operand
+operands
+ostream
+ostringstream
+outputs
+overapproximate
+overapproximated
+overapproximates
+overapproximation
+overline
+papadimitriou
+pattern
+pedantic
+pmod
+popcount
+portray
+postdecrement
+predefined
+prefixes
+processor
+prolog
+proof
+pwl
+rangle
+rbegin
+reports
+rfloor
+rhs
+rightarrow
+rlimit
+scriptstyle
+sent
+setrlimit
+sh
+sicstus
+sigalrm
+siginfo
+signum
+sigprof
+sigset
+situations
+snapshots
+sound
+spells
+spurious
+src
+sseq
+sstream
+stderr
+stdexcept
+stdint
+stdlib
+strcaseeq
+strcmp
+strtod
+strtof
+strtold
+strtoll
+strtoull
+swi
+tags
+textrm
+thesis
+uninstalled
+unistd
+unlikely
+uparrow
+varepsilon
+varid
+vc
+vfprintf
+whatsoever
+wide
+yap
+yielding