Module: ppl/ppl Branch: master Commit: 4079afb77c67f23f23d12a836c9029a6c424b336 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4079afb77c67f... Author: Roberto Bagnara <bagnara@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