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 ed4530e..bbab9e3 100644 (file)
--- a/tools/internal/spell_dict.txt
+++ b/tools/internal/spell_dict.txt
@@ -1,45 +1,81 @@
+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
-RngStream
+pthread
+pthreads
+realloc
 SD
 simcall
 simcalls
@@ -50,15 +86,23 @@ simix
 SIMIX
 sizeof
 SMPI
+smpi
 smx
 src
+std
+strerror
+strlen
 struct
+syscall
+syscalls
 tesh
+testany
 todo
 TODO
 valgrind
 VM
 VMs
+waitany
 xbt
 XBT
 xml