Remove remaining mentions of RngStream.

[simgrid.git] / tools / internal / spell_dict.txt

diff --git a/tools/internal/spell_dict.txt b/tools/internal/spell_dict.txt
index 50aa56b..bbab9e3 100644 (file)
--- a/tools/internal/spell_dict.txt
+++ b/tools/internal/spell_dict.txt
@@ -1,28 +1,108 @@
+ABI
 addtogroup
+addr
+API
+api
+argc
+argv
+atof
+callgrind
+calloc
+cfg
+comm
 const
 cplusplus
+cpp
+cpu
+defgroup
+dict
+dicts
+dontinclude
+doxygen
+DPOR
 dst
+dynar
+dynars
+endverbatim
 FIXME
+fprintf
+Gbytes
+getline
+GPU
 hideinitializer
+hpp
+http
+https
+inlining
+ingroup
+int
 java
 Java
 JEDULE
 JNI
+kcachegrind
+KILLME
 lat
 LGPL
+libdw
+libunwind
 lmm
+loopback
+LTL
+malloc
+Mbytes
+mc
+MCed
+MCer
+memcpy
+memcmp
+memmove
+memset
+Mflops
+mmap
+ModelChecker
+modelchecker
+MPI
+msg
+mutex
+nullptr
+ok
+Paje
 param
+pid
+printf
+proc
 pstate
+pthread
+pthreads
+realloc
 SD
 simcall
 simcalls
+SimDag
+simgrid
 SimGrid
 simix
 SIMIX
+sizeof
+SMPI
+smpi
 smx
 src
+std
+strerror
+strlen
+struct
+syscall
+syscalls
+tesh
+testany
 todo
 TODO
+valgrind
+VM
+VMs
+waitany
 xbt
 XBT
 xml