[prev in list] [next in list] [prev in thread] [next in thread]
List: sbcl-commits
Subject: [Sbcl-commits] master: Rebuild math journal
From: snuglas via Sbcl-commits <sbcl-commits () lists ! sourceforge ! net>
Date: 2023-09-28 19:13:15
Message-ID: 1695928395.448455.16725 () sfp-scm-4 ! v30 ! lw ! sourceforge ! com
[Download RAW message or body]
The branch "master" has been updated in SBCL:
via e96d44e4040dc19dd4b6e71a555a64f5c341141d (commit)
from 34e74d2898a4f3df448ca54a55b1ac3b00c789d1 (commit)
- Log -----------------------------------------------------------------
commit e96d44e4040dc19dd4b6e71a555a64f5c341141d
Author: Douglas Katzman <dougk@google.com>
Date: Thu Sep 28 15:13:08 2023 -0400
Rebuild math journal
---
float-math.lisp-expr | 11 ++---------
1 file changed, 2 insertions(+), 9 deletions(-)
diff --git a/float-math.lisp-expr b/float-math.lisp-expr
index 250209afe..ed4d05cde 100644
--- a/float-math.lisp-expr
+++ b/float-math.lisp-expr
@@ -446,7 +446,6 @@
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x5CEE6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x6C6E6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x6D6E6B28)) T)
-(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) \
T) (< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0)) T)
@@ -674,7 +673,6 @@
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18)) \
NIL) (< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x400921FB \
#x54442D18)) NIL) (< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT \
#x7FEFFFFF #xFFFFFFFF)) T)
-(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-SINGLE-FLOAT #x-80000000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) \
NIL) (< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) T)
@@ -797,7 +795,6 @@
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) \
NIL) (< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
-(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FB99999 \
#x9999999A)) NIL) (< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT \
#x3FF00000 #x0)) NIL) (< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT \
#x5FCFFFFF #xFFFFFFFF)) T) (< (#.(MAKE-DOUBLE-FLOAT #x3FF33333 #x33333333) \
#.(MAKE-DOUBLE-FLOAT #x3FF33333 #x33333333)) NIL) @@ -1994,7 +1991,6 @@
(= (#x1E #.(MAKE-DOUBLE-FLOAT #x403E0000 #x0)) T)
(= (#x1F #.(MAKE-DOUBLE-FLOAT #x403F0000 #x0)) T)
(= (#x20 #.(MAKE-DOUBLE-FLOAT #x40400000 #x0)) T)
-(= (#x23 #.(MAKE-DOUBLE-FLOAT #x40418000 #x0)) T)
(= (#x28 #.(MAKE-DOUBLE-FLOAT #x40440000 #x0)) T)
(= (#x2E #.(MAKE-DOUBLE-FLOAT #x40470000 #x0)) T)
(= (#x35 #.(MAKE-DOUBLE-FLOAT #x404A8000 #x0)) T)
@@ -2088,7 +2084,6 @@
(= (#xFFFFFFFFFFFFFFFF #.(MAKE-DOUBLE-FLOAT #x43F00000 #x0)) NIL)
(= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x-80000000)) T)
(= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x0)) T)
-(= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) T)
(= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x-40800000)) T)
(= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
@@ -2232,7 +2227,6 @@
(= (#.(MAKE-SINGLE-FLOAT #x5F490FDB) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T)
(= (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF)) \
NIL) (= (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #x0) T)
-(= (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-SINGLE-FLOAT #x-80000000)) T)
(= (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-SINGLE-FLOAT #x0)) T)
(= (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) T)
(= (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
@@ -2671,6 +2665,7 @@
(= (#.(MAKE-SINGLE-FLOAT #x5CEE6B28) #.(MAKE-SINGLE-FLOAT #x-231194D8) \
#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL) (= \
(#.(MAKE-SINGLE-FLOAT #x5CEE6B28) #.(MAKE-SINGLE-FLOAT #x-231194D8) \
#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL) (= \
(#.(MAKE-SINGLE-FLOAT #x5CEE6B28) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF) \
#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL) +(= \
(#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x-22800000) \
#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x0)) NIL) (= (#.(MAKE-SINGLE-FLOAT \
#x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x-22800000)) NIL) (= (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x0)) NIL) (= (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT \
#x-22800000)) NIL) @@ -2679,6 +2674,7 @@
(= (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF) \
#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL) (= \
(#.(MAKE-SINGLE-FLOAT #x5E000000) #.(MAKE-SINGLE-FLOAT #x-22000000) #x0 #x0) NIL) (= \
(#.(MAKE-SINGLE-FLOAT #x5E000000) #.(MAKE-SINGLE-FLOAT #x-22000000) \
#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x0)) NIL) +(= (#.(MAKE-SINGLE-FLOAT \
#x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x0) \
#.(MAKE-SINGLE-FLOAT #x0)) NIL) (= (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x-21800000)) NIL) (= (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x0)) NIL) (= (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) \
#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT \
#x-21800000)) NIL) @@ -2803,7 +2799,6 @@
(> (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x5CEE6B28)) NIL)
(> (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x6C6E6B28)) NIL)
(> (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x6D6E6B28)) NIL)
-(> (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) NIL)
(> (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) \
NIL) (> (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0)) \
NIL) (> (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0)) \
NIL) @@ -3898,7 +3893,6 @@
(>= (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0)) NIL)
(>= (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) NIL)
(>= (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF33333 #x33333333)) NIL)
-(>= (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x40000000 #x0)) NIL)
(>= (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x40080000 #x0)) NIL)
(>= (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x404A8000 #x0)) NIL)
(>= (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75)) NIL)
@@ -4168,7 +4162,6 @@
(COERCE (#x1E DOUBLE-FLOAT) #.(MAKE-DOUBLE-FLOAT #x403E0000 #x0))
(COERCE (#x1F DOUBLE-FLOAT) #.(MAKE-DOUBLE-FLOAT #x403F0000 #x0))
(COERCE (#x20 DOUBLE-FLOAT) #.(MAKE-DOUBLE-FLOAT #x40400000 #x0))
-(COERCE (#x23 DOUBLE-FLOAT) #.(MAKE-DOUBLE-FLOAT #x40418000 #x0))
(COERCE (#x28 DOUBLE-FLOAT) #.(MAKE-DOUBLE-FLOAT #x40440000 #x0))
(COERCE (#x2E DOUBLE-FLOAT) #.(MAKE-DOUBLE-FLOAT #x40470000 #x0))
(COERCE (#x35 DOUBLE-FLOAT) #.(MAKE-DOUBLE-FLOAT #x404A8000 #x0))
-----------------------------------------------------------------------
hooks/post-receive
--
SBCL
_______________________________________________
Sbcl-commits mailing list
Sbcl-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-commits
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic