From 3ef94944402970554487e452721024c8889c74bd Mon Sep 17 00:00:00 2001 From: Shlomi Fish Date: Sat, 14 Jan 2017 19:31:26 +0200 Subject: [PATCH] Got the tests of the site to pass again. spell check whitelists. --- fc-solve/site/wml/lib/hunspell/whitelist1.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/fc-solve/site/wml/lib/hunspell/whitelist1.txt b/fc-solve/site/wml/lib/hunspell/whitelist1.txt index 883222590..359f5dd55 100644 --- a/fc-solve/site/wml/lib/hunspell/whitelist1.txt +++ b/fc-solve/site/wml/lib/hunspell/whitelist1.txt @@ -791,6 +791,7 @@ soft_thread solvability sourceforge spec +speedup speedups split-dbm-solver split-fcc-solver @@ -974,6 +975,7 @@ sublicense DD-MMM-YYYY dbm-solver depth_dbm_fc_solve +fc-solve-temp int128 int128-optimisation libGMP