commit 719f205be45abf1ee33b3fe1e0321d56c2f65e09 parent dbc5bc94c0d18ba14aef833be4f1545c62c21fbb Author: Thomas Vigouroux <thomas.vigouroux@protonmail.com> Date: Sun, 12 Jun 2022 18:25:38 +0200 Update custom dictionnaries Diffstat:
| M | dict/default.txt | | | 1 | + |
| M | dict/fr.txt | | | 2 | ++ |
2 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/dict/default.txt b/dict/default.txt @@ -1,3 +1,4 @@ MaxMCSat MaxPMCSat Vigouroux +CEGAR diff --git a/dict/fr.txt b/dict/fr.txt @@ -0,0 +1,2 @@ +fuzzing +CSI