crefal: a Refal-5 compiler.
Copyright (C): RefalScope Project, 2004-2023

NEWS.TXT    /* crefal */

CREFAL 23.08.2023
*****************************************************************************
  -- Compiler crefal has been ported to Linux x64.
  -- crefal has been extended in order to compiler Refal-5 ПѮ programs using unicode.
  -- See the list of supported options, using the following command:
  
linux> refgo crefal /h
Copyright (C): RefalScope Project, 2004-2023

Using: crefal [options] input-file [rsl-output-file]
where
options ::= option*
option ::= 
   /h, /help       print this help message
   /l, /list, /listing
                   create a listing of the compiler messages in 'input-file.lis'
   /v, /version    print the version number of this Refal-5 compiler
   /MacOS          compile for the Mac operating system


CREFAL 16.02.2018
*****************************************************************************
  -- An error was corrected.
     Thanks to Alexandr Konovalov for the bug' test!
  -- Error messages have been slightly improved.

CREFAL 28.01.2018
*****************************************************************************
  -- Error messages have been slightly improved.

CREFAL 14.01.2018
*****************************************************************************
  -- A number of errors were corrected.
     Many thanks to Alexandr Konovalov for the bugs' tests!


CREFAL 04.01.2018
*****************************************************************************
  -- A number of errors were corrected.
     Many thanks to Alexandr Konovalov for the bugs' tests!


CREFAL 24.01.2009
*****************************************************************************
  -- An error was corrected.
  -- A new option: 
                  /Mac, /mac, /MacOS /macOS, /macos, /MacOs
     Given this option, the crefal compiler generates RASL module 
     for the Mac operating system. 
     But still there exists no automatic installation for the Mac operating.


CREFAL 29.10.2004
*****************************************************************************
CREFAL: a Refal-5 compiler.
Copyright (C): RefalScope Project. 2004

  -- The start version of a new Refal-5 compiler named as crefal is free for using.
     The compiler translates a Refal-5 module into a binary rsl-module
     that can be interpreted by the Refal-5 VERSION-PZ interpreter
     (see http://www.botik.ru/pub/local/scp/refal5/).

     THE VERSION OF THE Refal-5 VERSION-PZ interpreter
     MUST BE DATED FROM  OCTOBER 17 2004.
     (see http://www.botik.ru/pub/local/scp/refal5/ for the version
      of the Refal-5 VERSION-PZ interpreter.)

     You are welcome to use the new Refal-5 compiler crefal.
     The binary  module of the Refal-5 compiler crefal can be free downloaded
     from http://www.botik.ru/pub/local/scp/refal5/ .

  -- Some properties of the compiler crefal:
     
     --- Theorem: 
         For any Refal-5 module program.ref let us consider the results of
         translation of the module by two Refal-compilers. 
         Let program_refc.rsl be the result of translation of program.ref 
         by the Refal-5 VERSION-PZ compiler
         named as refc (see http://www.botik.ru/pub/local/scp/refal5/).
         Let program_cref.rsl be the result of translation of program.ref 
         by crefal. Consider the times of interpretation of the rsl-modules
         by the Refal-5 VERSION-PZ interpreter on the same Refal-data.
         Let us denote the corresponding times as 
         time_refc(program_refc.rsl, data) and time_cref(program_cref.rsl, data).
         Then for any Refal-data the following inequality holds:

         time_refc(program_refc.rsl, data) >= time_cref(program_cref.rsl, data).

    --- Statement:
        There exist programs written in Refal-5 such that

        time_refc(program_refc.rsl, data) = O(n), while
        time_cref(program_cref.rsl, data) = O(1), where

        n is the size of the data.

    --- Caution:
        There exist programs written in Refal-5 such that arguments of 
        function calls may be destroyed when the situation 
        "Recognition impossible" holds for the calls. 
        So the tracing may look strange in such a case.

  -- Installation:
        See INSTALL.TXT in the distributive.
         
  -- Using:
         
   Oper. System> crefal [options] input-file [rsl-output-file]

where
options ::= option*
option ::=
   /h, /help print an help message
   /l, /list, /listing
             create a listing of the compiler messages in file 'input-file.lis'
   /v, /version print version of the Refal-5 compiler

   A rsl-output-file.rsl will be a result of the running.
   For additional information see DOC/USE.TXT

   -- Asking for help:
      You are welcome to support further development of the compiler CREFAL.
      Contact information:
                          nemytykh@math.botik.ru,
                          gaoxi@gliet.edu.cn
       
**************************** The End *****************************************

