In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTPortfolio.cpp:24:
In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/CVC4Interface.h:30:
In file included from /usr/local/include/cvc4/cvc4.h:21:
/usr/local/include/cvc4/base/configuration.h:19:10: fatal error: 'cvc4_public.h' file not found
#include "cvc4_public.h"
Reported by: pkg-fallout
In file included from metaLevelOpSymbol.cc💯
In file included from ./descentFunctions.cc:584:
In file included from ../../src/Mixfix/variableGenerator.hh:33:
/usr/local/include/cvc4/expr/expr_manager.h:47:10: fatal error: 'cvc4_public.h' file not found
#include "cvc4_public.h"
Reported by: pkg-fallout
armv7 requires -Wl,-znotext in LDFLAGS (same as i386), added definition for triple target and include term.h in the test for tgetent.
PR: 239157
Approved by: michipili@gmail.com (maintainer timeout), tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D21085
Dtrace doesn't seem to work on elfv1 powerpc64 (at least on 12.0-RELEASE).
Also properly detect when running on elfv1 and elfv2.
PR: 239193
Approved by: arrowd (maintainer), tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D20995
2019-07-31 security/rubygem-googleauth06: Use security/rubygem-googleauth instead
2019-07-31 devel/ddd: does not work with modern gdb
2019-07-31 devel/py-pip-tools2: Use devel/py-pip-tools instead
2019-07-31 lang/cint: Abandonware; superseded by lang/cling
Explicitly depend on GCC 8 (instead of USE_GCC=yes) for powerpc64 to
avoid a dependency loop now that GCC_DEFAULT defaults to GCC 9.
PR: 238330
Reported by: pkubaj
Updating graphics/wings (erlang-wx' only consumer) requires at least
wxWidgets 3.0 in erlang-wx. Go the full way and depend on the most
recent wxWidgets we currently have (3.1)
PR: 239174
Approved by: maintainer-timeout (erlang@)
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330
20190714:
- The library tls.s7i has been improved to support elliptic curve
diffie hellman key exchange.
- The new library elliptic.s7i has been added. This library supports
elliptic curve cryptography (ECC). The library defines:
- Several named curves,
- Functions to add, double and multiply curve points.
- Functions for fast multiplication with jacobian coordinates.
- Functions to encode and decode curve points.
- Functions to sign and verify messages with the ECDSA.
- The functions emsaPkcs1V15Encoding, emsaPkcs1V15Decoding,
rsassaPkcs1V15Encrypt and rsassaPkcs1V15Decrypt have been added to
the library pkcs1.s7i.
- In x509cert.s7i the function getAlgorithmIdentifier has been improved
to accept algorithm identifiers without algorithm parameters.
- A version of the function createX509Cert, that creates a certificate
with keys for elliptic curve cryptography, has been added.
- The new library showtls.s7i had been added. This library defines
functions to show TLS messages. It can be used to debug tls.s7i.
- The library tar.s7i has been improved to accept extended headers with
meta data (PAX format). Now path and linkpath meta data is accepted.
- A new version of the function bytes() has been added to bytedata.s7i.
This function converts a bigInteger to a string of bytes with a given
length.
- Checks for the multiplication operators * and *:= with factors of
1 and -1 have been added to chkint.sd7.
- Checks for the operator 'lpad0' have been added to chkint.sd7.
- Checks for NaN have been added to chkflt.sd7.
- In the compiler (in comp/const.s7i) the action FLT_MOD has been added
to the list of pure function actions.
- The compiler has been improved to optimize the actions FLT_REM (in
comp/flt_act.s7i) and INT_LPAD0 (in comp/int_act.s7i).
- A corner case of the multiplication operator *:= has been fixed in
the compiler (process_const_int_mult_assign() in comp/int_act.s7i).
The bug occurred in the overflow checking code, when an array element
was multiplied with *:= -1. Multiplications of normal variables and
parameters with *:= and multiplications with other factors except -1
were not affected by this bug.
- Documentation comments have been improved in cc_conf.s7i and
pkcs1.s7i.
- In con_win.c the functions kbdKeyPressed() and kbdGetc() have been
improved to ignore mouse movement and button press events.
- The program chkccomp.c has been improved to have a more detailed
check for POW_OF_NAN_OKAY.
- In fltlib.c checks for 0.0 have been improved in flt_div() and
flt_div_assign().
- In flt_rtl.c preprocessor if statements have been improved to check
for !FLOAT_NAN_COMPARISON_OKAY in fltLog(), fltLog10() fltLog2() and
fltPow().
20190610:
- The library float.s7i has been improved to support the float
operators 'rem' (floating-point remainder) and 'mod' (floating-point
modulo).
- The program chkflt.sd7 has been improved to check floating-point
literals and the new operators 'rem' and 'mod'. The tests for the
operator ** have been improved also.
- Compiler and interpreter have been improved to work correct, even
when the C functions fmod(), exp(), ldexp(), frexp() and sqrt() do
not work 100% correct.
- The program chkccomp.c has been improved to detect weaknesses of
numeric functions. These weaknesses happen when handling with NaN,
Infinity or when other special cases occur.
- A new version of the function timAwait() has been added to tim_unx.c.
This function is used when AWAIT_WITH_NANOSLEEP is defined.
- The makefiles mk_emccl.mak and mk_emccw.mak have been improved to
define AWAIT_WITH_NANOSLEEP instead of AWAIT_WITH_SELECT.
- Interpreter and compiler have been improved to support the actions
FLT_MOD and FLT_REM.
- In the compiler (in comp/flt_act.s7i) a corner case of the action
FLT_IPOW (when CHECK_FLOAT_DIV_BY_ZERO is TRUE and the exponent is
negative and the base is zero (0.0 or -0.0)) has been fixed.
- The configuration values FLOAT_COMPARISON_OKAY, FMOD_FUNCTION_OKAY,
EXP_FUNCTION_OKAY, LDEXP_FUNCTION_OKAY and FREXP_FUNCTION_OKAY have
been added to cc_conf.s7i. The configuration values
NAN_COMPARISON_OKAY and FREXP_INFINITY_NAN_OKAY have been removed.
- The functions fltDecompose(), fltExp(), fltLdexp(), fltMod() and
fltRem() have been added to flt_rtl.c. These functions are used, when
the corresponding C functions frexp(), exp(), ldexp() and fmod() do
not work 100% correct.
- In flt_rtl.c the functions fltEq(), fltGe(), fltGt(), fltLe() and
fltLt() have been improved. These improvements help, when the
comparison of float or double values does not work 100% correct.
- In flt_rtl.c the functions fltPow(), getMantissaAndExponent(),
setMantissaAndExponent() and fltSqrt() have been improved. These
improvements help, when the underlying C functions pow(), frexp(),
ldexp() and sqrt() do not work 100% correct.
- The program chkccomp.c has been improved to define the macros
FLOAT_NAN_COMPARISON_OKAY, FLOAT_ZERO_COMPARISON_OKAY,
SQRT_OF_NAN_OKAY, SQRT_OF_NEGATIVE_OKAY, EXP_OF_NAN_OKAY,
LDEXP_OF_NAN_OKAY, FREXP_SUBNORMAL_OKAY, FMOD_DIVIDEND_NAN_OKAY,
FMOD_DIVISOR_NAN_OKAY, FMOD_DIVIDEND_INFINITY_OKAY,
FMOD_DIVISOR_INFINITY_OKAY and FMOD_DIVISOR_ZERO_OKAY.
- In cmd_rtl.c the function cmdConfigValue has been improved to support
the config values FLOAT_COMPARISON_OKAY, EXP_FUNCTION_OKAY,
FMOD_FUNCTION_OKAY, LDEXP_FUNCTION_OKAY and FREXP_FUNCTION_OKAY.
- Definitions of the macros FLOAT_COMPARISON_OKAY, SQRT_FUNCTION_OKAY,
EXP_FUNCTION_OKAY, LDEXP_FUNCTION_OKAY, FREXP_FUNCTION_OKAY and
FMOD_FUNCTION_OKAY have been added to commpn.h
- Documentation comments have been improved in intlib.c, int_rtl.c,
match.c, str_rtl.c, keybd.s7i and vectorfont.s7i.
- In comp/int_act.s7i the variable quotient_name has been renamed to
remainder_name.
20190523:
- In match.c the function substitute_params() has been fixed to copy
parameters with expressions instead of calling do_create(). For
expressions do_create() just creates a reference to the expression
and this leads later to a double free of the expression. Many thanks
go to Anton Lobach, for reporting this error and for providing a test
program.
- The library blowfish.s7i, with Blowfish cipher support, has been
added.
- The functions column() and line() have been added to the library
console.s7i.
- The bas7.sd7 (basic interpreter) example program has been improved.
Support for the keyword ENDIF has been added.
- The compiler (s7c.sd7) has been improved (in set_act.s7i) to optimize
the expression card(bitset(number)).
- The functions toBase and fromBaseToBigInt have been added to
encoding.s7i. This functions encode and decode bigInteger numbers
with a positional numeric system.
- Conversion functions have been added to bitsetof.s7i and bitset.s7i.
- Checks for the function card() have been added to chkset.sd7.
- Interpreter and compiler have been improved to support the actions
CON_COLUMN, CON_LINE, SET_CONV1, SET_CONV3, SET_SCONV1 and
SET_SCONV3. The support for the actions SET_CONV and SET_SCONV has
been removed.
- The libraries bitsetof.s7i and bitset.s7i have been adjusted, to use
the new actions.
- In con_inf.c the function conWrite() has been improved to change the
cursor position, when the characters '\n', '\r' and '\b' are written.
- In con_win.c the function conCursor() has been improved, to hide the
cursor, when it is called with FALSE. The function conOpen() has been
changed, to set the cursor position to (1, 1) and to hide the cursor.
- The functions conColumn() and conLine() have been added to con_rtl.c,
con_inf.c, con_win.c, con_wat.c and con_emc.c.
- In set_rtl.c the functions setIConv() and setSConv() have been
improved. Now setIConv() raises RANGE_ERROR for negative numbers and
setSConv() raises RANGE_ERROR, when a negative integer would be
returned.
- Documentation has been improved in console.s7i, string.s7i,
con_inf.c, con_win.c
- The debug trace mechanism in analyze.c and dcllib.c has been
improved.
- A call of dlerror() has been added in dll_unx.c.
- In traceutl.c the function prot_list_limited() has been introduced.
20190506:
- The utility program bigfiles.sd7 has been added. Bigfiles is an
utility program to search for big files. This is useful, when the
disk is almost full and files must be removed to get more space.
- The utility program sydir7.sd7 has been improved. Now it supports the
option -n, which assures that no changes are done.
- The program db7.sd7 (Database Inspector) has been improved to write
an error message, when reading the catalog of database tables fails.
- The program chkbitdata.sd7 has been added. This program checks
functions from the bitdata.s7i library.
- In the FAQ the explanation, how Seed7 is compiled, has been improved.
- The description of several conversion functions in the manual has
been improved.
- The function ripemd160 has been added to msgdigest.s7i. This function
computes a message digest with the RIPEMD-160 algorithm.
- The functions toBase58, fromBase58, toBase and fromBase have been
added to encoding.s7i. This functions support Base58 encoding and
similar other encodings with a positional numeric system.
- The functions putBitLsb, putBitsLsb, getBitMsb, getBitsMsb, putBitMsb
and putBitsMsb have been added to bitdata.s7i. This functions read
and write bits from and to a file.
- The new library leb128.s7i has been added. This library supports the
conversion of integers to and from LEB128 encoding. LEB128 is a
variable-length encoding for integers. It is used e.g. by the DWARF
debug file format and by WebAssembly.
- Tests for the functions leb128ToInt(), uLeb128ToInt(), leb128() and
uLeb128() have been added to chkint.sd7.
- The library make.s7i has been improved to avoid a makefile rule
recursion.
- The function hex2Bytes has been added to bytedata.s7i. This function
converts a string with hexadecimal digits to a string of bytes.
- The function reverse has been added to string.s7i and seed7_05.s7i.
- The function tableNamesCommand has been added to sql_base.s7i.
- Conversion functions have been added to char.s7i.
- In big_rtl.c the function uBigMult has been changed to be faster,
when the size of factor2 is 1.
- In con_inf.c code to copy the environment for Emscripten and node.js
has been added. This code is deactivated, because of a limitation
in the Emscripten implementations of getenv() and setenv().
- The makefiles have been improved to copy the file version.h to a
name that corresponds to the makefile. E.g.: The makefile
mk_linux.mak copies version.h to vers_linux.h. This helps comparing
different version.h files.
- Documentation has been added to chkccomp.c and read_me.txt.
- The prototype of the function refCatParse has been changed in
ref_data.c, ref_data.h and ref_act.s7i. The compiler (s7c.sd7) has
been changed to add a cast in the function init_set_constants().
In sql_odbc.c casts have been added. This changes avoid C++
compilation errors.
- Calls of logFunction and logError have been added in con_inf.c,
dll_unx.c and dll_win.c.
The 20190711 snapshot did not bring any changes, so we skipped it.
This one brings a backport for Arm and one for dataflow analysis
(plus one for s390).
