author | webertj |
Tue, 10 Mar 2009 17:39:06 +0000 | |
changeset 30409 | 9501af91c4a3 |
parent 30404 | 15dc25f8a0e2 |
child 30410 | c132175cae7e |
1.1 --- a/NEWS Tue Mar 10 08:47:45 2009 +0000 1.2 +++ b/NEWS Tue Mar 10 17:39:06 2009 +0000 1.3 @@ -198,6 +198,9 @@ 1.4 1.5 find_consts strict: "_ => bool" name: "Int" -"int => int" 1.6 1.7 +* Linear arithmetic now ignores all inequalities when fast_arith_neq_limit 1.8 +is exceeded, instead of giving up entirely. 1.9 + 1.10 1.11 *** Document preparation *** 1.12