commit ce421ce35d40be48c973816bfbdac68591c295fc parent f00c71ac422eacba14d03fd6af5728a973aa9da3 Author: Thomas Vigouroux <thomas.vigouroux@protonmail.com> Date: Tue, 14 Jun 2022 15:54:24 +0200 chore: add more words to dictionnary Diffstat:
| M | dict/default.txt | | | 7 | +++++++ |
1 file changed, 7 insertions(+), 0 deletions(-)
diff --git a/dict/default.txt b/dict/default.txt @@ -2,3 +2,10 @@ MaxMCSat MaxPMCSat Vigouroux CEGAR +Amossys +LLVM +VERIMAG +DBA +VEX +TAVA +bitvector