[139f46]: IEEE.mod History

Child: [28b809] (diff)

Download this file

IEEE.mod    17 lines (13 with data), 899 Bytes 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
IMPLEMENTATION MODULE IEEE;



  (*------------------------------------------------------------------------*)

  (* IEEE positive infinity (NAN) and infinity (INF) constants for          *)

  (* IEEE 754 machines - no implementation module needed                    *)

  (*------------------------------------------------------------------------*)

  (* 27.02.96, MRi: Erstellen der ersten Version                            *)

  (* 26.05.18, MRi: Einfuegen varianter Records um XDS "auszutricksen"      *)

  (*------------------------------------------------------------------------*)

  (* Implementation : Michael Riedl                                         *)

  (* Licence        : GNU Lesser General Public License (LGPL)              *)

  (*------------------------------------------------------------------------*)



  (* $Id: IEEE.mod,v 1.1 2018/05/26 15:54:11 mriedl Exp mriedl $ *)



END IEEE.