Seed7 Release 2021-04-25

I have released a new version of Seed7: seed7_05_20210425.tgz
The download is here: https://sourceforge.net/projects/seed7/files
Seed7 is also at GitHub: https://github.com/ThomasMertes/seed7
The Seed7 programming language has many interesting concepts, which
are explained at its Homepage: http://seed7.sourceforge.net


Notable changes in this release are:
- Support to read JPEG images has been added.
- The PKCS#1 v1.5 signature verification has been improved.
- Additional optimizations have been introduced in the Seed7 compiler.


Changelog:
- The new library jpeg.s7i has been added. This library supports the
    JPEG image file format.
- The new library huffman.s7i has been added. This library supports
    Huffman coding as it is used by JPEG files.
- In chkccomp.c the code to determine MINIMUM_TRUNC_ARGUMENT and
    MAXIMUM_TRUNC_ARGUMENT has been improved. Many thanks to Zachary
    Menzies for reporting problems with the Linux distribution Solus.
- The PKCS#1 v1.5 signature verification has been improved. Many
    thanks go to Moosa Yahyazadeh for providing a bugs report for
    seed7-pkcs1. The following improvements have been done:
    - In pkcs1.s7i the function emsaPkcs1V15Decoding has been improved
        to check that every padding byte is actually 16#ff and that at
        least 8 padding bytes are present. (Point 1 of report)
    - In pkcs1.s7i the functions rsaEncryptBytes() and rsaDecryptBytes()
        have been removed and usages of them have been replaced with
        rsassaPkcs1V15Encrypt() respectively rsassaPkcs1V15Decrypt().
        (Point 2 of report)
    - In x509cert.s7i the function validateSignature() has been improved
        to compare the digest algorithm obtained from the certificate with
        the digest algorithm stored in the ASN.1 digestAlgorithmIdentifier
        of the decrypted signature. (Point 3 of report)
    - The functions getRsaSignature() and getEcdsaSignature() have been
        added to x509cert.s7i. These functions check that the encoded
        message has not any trailing garbage bytes. (Point 4 of report)
- The functions getDigestAlgorithm(), showSignatureAlgorithm() and
    getDigestFromSignatureAlgorithm() have been added to x509cert.s7i.
- In x509cert.s7i the function validateSignature() has been improved
    to validate RSA and ECDSA (Elliptic Curve Digital Signature
    Algorithm) signatures.
- In x509cert.s7i the type rsaSignatureType has been introduced and
    getRsaSignature() has been changed to return a rsaSignatureType.
- The functions getRsaSignature() and getEcSignature() have been
    moved from tls.s7i to x509cert.s7i. Calls of these functions in
    verifySignature() have been adjusted.
- The function validateCertificates() has been added to tls.s7i.
- In tls.s7i the function processServerKeyExchange() has been improved
    to trigger a handshake failure if verifySignature() fails.
- In elliptic.s7i the type ecdsaSignature has been renamed to
    ecdsaSignatureType.
- In gethttp.s7i the function getHttpStatusCode has been improved
    to work correctly, if there is no space after the status code.
- In integer.s7i the definitions of min() and max() have been improved
    to use the ternary operator (a ? b : c).
- Several optimizations have been done in the compiler (s7c.sd7):
    - In comp/prc_act.s7i the function process_prc_for() has been
        improved to store the range of the for-variable if the start or
        the end value is constant (or both are constant).
    - In comp/intrange.s7i the function getIntRange() has been improved
        to get a range for the action INT_MULT and for a for-variable (if
        the start or the end value of the for-loop is constant).
        Determining the maximum of INT_LSHIFT has been improved.
    - In comp/drw_act.s7i the function drwRgbColor() is now defined as
        macro, if the optimization level requires it (-oc3).
    - In comp/arr_act.s7i in the function process_const_arr_idx() the
        index check has been omitted, if it is known that the index is
        always in the range of the constant array.
    - In comp/int_act.s7i the actions INT_MULT and INT_MULT_ASSIGN have
        been improved to use the builtin mult overflow function, if
        available. The improvements were made in the functions
        int_mult_with_overflow_check() and process_const_int_mult().
    - The new function varChangedInStatements() has been added to
        comp/prc_act.s7i.
    - Code has been moved from process_prc_for() in comp/prc_act.s7i
        to the new function defineForStartVariable in comp/expr_utl.s7i.
    - In s7c.sd7 the initialization of local arrays has been improved
        to recognize if all elements of the array are the same. In
        this case arrTimes(), arrMalloc(), malloc() or memset() are
        used instead of copying an array. The functions canUseArrTimes()
        and assignArrayValue() have been added, and the function
        identical_values() has been moved.
- Tests for the operator &:= (append one element to an array) have
    been added to chkarr.sd7.
- Tests for arrays with boolean elements have been added to
    chkarr.sd7.
- Tests for the bitpattern of the minimum and maximum floats that can
    be truncated to an integer have been added to chkflt.sd7.
- Tests for reduced overflow checking, if multiplication or lshift
    leaves some space towards the maximum integer, have been added to
    chkint.sd7.
- Tests of the ternary operator (a ? b : c) have been added to
    chkint.sd7.
- In exec.c the function evaluate() has been improved to also work
    for SETOBJECT.
- In soc_rtl.c the function socInetAddr() has been improved to
    treat EAI_NODATA like EAI_NONAME.
- The program chkccomp.c has been improved to determine the macros
    PIXEL_RED_MASK, PIXEL_GREEN_MASK, PIXEL_BLUE_MASK and
    RGB_TO_PIXEL_FLAG_NAME.
- Definitions of PIXEL_RED_MASK, PIXEL_GREEN_MASK,
    PIXEL_BLUE_MASK and RGB_TO_PIXEL_FLAG_NAME have been added
    to cc_conf.s7i.


Regards,
Thomas Mertes


--
Seed7 Homepage: http://seed7.sourceforge.net
Seed7 - The extensible programming language: User defined statements
and operators, abstract data types, templates without special
syntax, OO with interfaces and multiple dispatch, statically typed,
interpreted or compiled, portable, runs under linux/unix/windows.

Return to the comp.compilers page.
Search the comp.compilers archives again.