doc: Updated textproc/ruby-nokogiri to 1.14.4

(tsutsui)

ruby-nokogiri: update to 1.14.4.

Upstream changes:
https://github.com/sparklemotion/nokogiri/releases/tag/v1.14.4
https://github.com/sparklemotion/nokogiri/releases/tag/v1.14.3

1.14.4 / 2023-05-11

Dependencies

  * [JRuby] Vendored Xalan-J is updated to v2.7.3. This is the first Xalan
    release in nine years, and it was done to address CVE-2022-34169.

    The Nokogiri maintainers wish to stress that Nokogiri users were not
    vulnerable to this CVE, as we explained in GHSA-qwq9-89rg-ww72, and so
    upgrading is really at the discretion of users.

    This release was cut primarily so that JRuby users of v1.14.x can avoid
    vulnerability scanner alerts on earlier versions of Xalan-J.

1.14.3 / 2023-04-11

Security

  * [CRuby] Vendored libxml2 is updated to address CVE-2023-29469,
    CVE-2023-28484, and one other security-related issue. See
    GHSA-pxvg-2qj5-37jqGHSA-pxvg-2qj5-37jq for more information.

Dependencies

  * [CRuby] Vendored libxml2 is updated to v2.10.4 from v2.10.3.

(tsutsui)

doc: Updated misc/ruby-mini_portile2 to 2.8.2

(tsutsui)

ruby-mini_portile2: update to 2.8.2.

Upstream changes:
https://github.com/flavorjones/mini_portile/blob/v2.8.2/CHANGELOG.md

2.8.2 / 2023-04-30

Fixed

  * Ensure that the source_directory option will work when given a Windows path
    to an autoconf directory. [#126]

2.8.1 / 2022-12-24

Fixed

  * Support applying patches via git apply even when the working directory
    resembles a git directory. [#119] (Thanks, @h0tw1r3!)

(tsutsui)

caml-light: point MASTER_SITES to caml.inria.fr.

(fcambus)

doc: Updated converters/bdf2psf to 1.220

(fcambus)

bdf2psf: update to 1.220.

Nothing applying to bdf2psf in particular noted in the Changelog.

(fcambus)

doc: Updated audio/libopenmpt to 0.7.1

(fcambus)

libopenmpt: update to 0.7.1.

### libopenmpt 0.7.1 (2023-05-07)

*  [**Bug**] MSVC projects failed to build from the packaged source zip.

*  IT: Improved fingerprinting of early ModPlug Tracker versions.
*  XMF: Modules from Astroidea demos can now be read as well.

### libopenmpt 0.7.0 (2023-04-30)

*  [**New**] `667` files from Composer 667 are now supported.
*  [**New**] `GTK` and `GT2` files from Gramouf Tracker are now supported.
*  [**New**] Can now read a variant of the DSMI AMF format called DMF, as found
    in various DOS games distributed by Webfoot (Tronic, H2O, PowBall, etc.).
*  [**New**] `DSM` files from Dynamic Studio are now supported.
*  [**New**] `XMF` files from the DOS game Imperium Galactica are now supported.
*  [**New**] Can now read the hacked MOD format (`DMF`) from the game
    "Apocalypse Abyss".
*  [**New**] libopenmpt: New APIs for getting the current tempo as a floating
    point value: `openmpt::module::get_current_tempo2()` (C++), and
    `openmpt_module_get_current_tempo2()` (C).
*  [**New**] C API: New stream callbacks for various platform extensions to the
    C stdio interface: `openmpt_stream_get_file_posix_lfs64_callbacks()` in
    `libopenmpt/libopenmpt_stream_callbacks_file_posix_lfs64.h` for explicit
    `off64_t` on Posix systems, `openmpt_stream_get_file_posix_callbacks()` in
    `libopenmpt/libopenmpt_stream_callbacks_file_posix.h` for `off_t` on Posix
    systems, `openmpt_stream_get_file_msvcrt_callbacks()` in
    `libopenmpt/libopenmpt_stream_callbacks_file_msvcrt.h` for 64bit file
    support on Windows systems with the Microsoft C runtime, and
    `openmpt_stream_get_file_mingw_callbacks()` in
    `libopenmpt/libopenmpt_stream_callbacks_file_mingw.h` for 64bit file support
    when targetting MinGW. The old `openmpt_stream_get_file_callbacks()` has
    been deprecated in favour of a stricly standard conforming
    `openmpt_stream_get_file_callbacks2()` in the same
    `libopenmpt/libopenmpt_stream_callbacks_file.h` header.
    `libopenmpt/libopenmpt.h` defines
    `LIBOPENMPT_STREAM_CALLBACKS_FILE_POSIX_LFS64`,
    `LIBOPENMPT_STREAM_CALLBACKS_FILE_POSIX`,
    `LIBOPENMPT_STREAM_CALLBACKS_FILE_MSVCRT`, and
    `LIBOPENMPT_STREAM_CALLBACKS_FILE_MINGW` respectively in order to allow for
    checking header availability.
*  [**New**] C API: New stream callbacks for memory buffers.
    `openmpt_stream_get_buffer_callbacks()` and `openmpt_stream_buffer_init()`
    are deprecated. Use `openmpt_stream_get_buffer_callbacks2()` and
    `openmpt_stream_buffer_init2()` instead. The new variants do not support
    loading only a file prefix and checking for overflow any more. This was only
    useful when using the old `openmpt_could_open_probability2()` style
    interface from the libopenmpt 0.2 API, which has been superseded by
    `openmpt_probe_file_header()`,
    `openmpt_probe_file_header_without_filesize()`, and
    `openmpt_probe_file_header_from_stream()` in libopenmpt 0.3.0.
*  [**New**] libopenmpt_ext: New interface `interactive3` adding
    `openmpt::ext::interactive3::set_current_tempo2()` (C++) and
    `openmpt_module_ext_interface_interactive3.set_current_tempo2()` (C) which
    allow setting non-integer tempo values.
*  [**New**] New `Makefile` option `CONFIG=mingw-w64` which consolidates all
    MinGW-w64 build configurations with the following options:
    `MINGW_FLAVOUR=[|-posix|-win32]`, `WINDOWS_ARCH=[x86|amd64]`,
    `WINDOWS_FAMILY=[|desktop-app|app|phone-app|pc-app]`, and
    `WINDOWS_VERSION=[win95|win98|winme|winnt4|win2000|winxp|winxp64|winvista|win7|win8|win8.1|win10|win11]`.
*  [**New**] New `Makefile` option `CONFIG=mingw` which consolidates all MinGW
    build configurations with the following options:
    `MINGW_FLAVOUR=[|-posix|-win32]`, and
    `WINDOWS_VERSION=[win95|win98|winme|winnt4|win2000|winxp]`.
*  [**New**] Building with MSYS2 is now fully supported for Makefile and
    Autotools build systems.
*  [**New**] `Makefile` `CONFIG=djgpp` now supports `CPU=` option to build
    optimized for a particular CPU. See `build/make/config-djgpp.mk` for all
    available options. `FLAVOURED_DIR=1` places the CPU-specific optimized
    builds in separate folders below `bin/`.
*  [**New**] Building with a MinGW32 CRTDLL toolchain is now supported via
    `Makefile` option `CONFIG=mingw32crt`.
*  [**New**] `Makefile` now uses `PKG_CONFIG` as path to `pkg-config`.
*  [**New**] The C++ API is now also enabled for Emscripten builds by default.
*  [**New**] Support for GCC 7 has been restored.
*  [**New**] Support for Clang 6 has been restored.
*  [**New**] Support for Android NDK 18 has been restored.
*  [**New**] openmpt123: `--banner [0|1|2]` allows changing the openmpt123
    banner style to hidden, shown, or verbose, respectively.
*  [**New**] openmpt123: `--assume-terminal` allows skipping the openmpt123
    terminal check, and thus allows running the UI with non-terminal stdin,
    which can be useful for some very basic remote control functionality.

*  [**Change**] xmp-openmpt: The Amiga resampler emulation is now enabled by
    default.
*  [**Change**] in_openmpt: The Amiga resampler emulation is now enabled by
    default.
*  [**Change**] The official Windows builds (x86, amd64, arm, arm64) now
    require Windows 10 21H2 (or later). The official legacy Windows builds
    (x86-legacy, amd64-legacy) are unchanged and still require Windows 7 (or
    later).
*  [**Change**] `"date"` metadata will now exlude the UTC time zone signifier
    `Z` if the precise time zone is unknown.
*  [**Change**] ctl `seek.sync_samples` now defaults to 1.
*  [**Change**] `Makefile` `CONFIG=generic` is gone. Please use
    `CONFIG=standard` instead.
*  [**Change**] `Makefile` `CONFIG=macosx` and `CONFIG=haiku` have been
    removed. The OS is auto-detected.
*  [**Change**] `Makefile` options `CONFIG=mingw64-win32`,
    `CONFIG=mingw64-win64`, `CONFIG=mingw64-winrt-x86`,
    `CONFIG=mingw64-winrt-amd64`, and `CONFIG=mingw-win9x` have been replaced by
    `CONFIG=mingw-w64`, and `CONFIG=mingw`.
*  [**Change**] Autotools now default to C++20 and only fall back to C++17 when
    C++20 is not supported.
*  [**Change**] `Makefile` now defaults to C++20 and only falls back to C++17
    when C++20 is not supported by the compiler.
*  [**Change**] `Makefile` now defaults to C17 and only falls back to C11 when
    C17 is not supported by the compiler.
*  [**Change**] `Makefile` `CONFIG=djgpp` option `USE_ALLEGRO42` now
    defaults to `1` and implies building a liballegro42 locally. This requires
    executing `build/download_externals.sh` before building to download the
    liballegro42 sources.
*  [**Change**] in_openmpt: The Winamp input plugin in_openmpt is now
    deprecated for use with the latest Winamp or WACUP releases. Please use the
    native implementations available in Winamp >=5.9.0 or WACUP instead. This
    does not mean that in_openmpt/in_mod will not receive further development,
    it just means that the responsibility now lies with the player implementors
    themselves. We will still maintain the status quo of our in_openmpt input
    plugin for users of earlier Winamp version, or users on older systems, or
    users of compatible players.
*  [**Change**] The POSIX fd file callbacks implementation now handles `EINTR`
    and retries the `read()` call.

*  [**Regression**] Full support for Visual Studio 2017 has been removed. We
    still support targeting Windows XP with Visual Studio 2017.
*  [**Regression**] Support for mingw-std-threads has been removed. If you
    require a thread-safe libopenmpt, please build with POSIX threading model
    and/or complain to MinGW/GCC about not properly supporting C++11 features in
    2023.
*  [**Regression**] Support for Emscripten versions older than 3.1.1 has been
    removed.
*  [**Regression**] C API: `openmpt_stream_get_file_callbacks()` used to
    provide 64bit file access on some platforms where long is 32bit. This never
    worked reliably for all platforms though. The behaviour is now changed to
    always stick to what standard C supports with `fseek` and `ftell`, where the
    offset type is long. `openmpt_stream_get_file_callbacks()` is deprecated now
    due to behavioral change. Please migrate to
    `openmpt_stream_get_file_callbacks2()`.
*  [**Regression**] Using the system-provided liballegro42 is no longer
    supported. The option `BUNDLED_ALLEGRO42=1` does not exist any more.

*  Reduced aliasing when downsampling with the Sinc + Low-Pass resampler.
*  The sample position is now rounded instead of truncated when resampling
    without interpolation.
*  Seeking with sample sync now supports portamento up / down commands as well
    as IMF/ PTM note slides. Tone portamento is now synchronized correctly when
    seeking in DBM, 669 and MED with fast slides (first tick of portamento was
    previously not executed).
*  The filter cutoff frequency is no longer rounded to integer frequency values.
*  MED: Tempos higher than 255 BPM can now be imported in pattern data.
*  MED: MMD1 files with more than 16 channels are now supported.
*  ULT: Import 8-bit volume commands with full precision.
*  IT: Initial "last note memory" of every channel is C-0, so a lone instrument
    number without note triggers that note.
*  S3M: Better approximation of old "stereo control" SAx command used in
    Purple Motion's PANIC.S3M.
*  S3M: In ScreamTracker 3.03 and later, OPL notes with tone portamento next to
    them are delayed until the next row and then the new pitch is used instantly.
*  MO3: Envelope sustain was not imported correctly if the source file was an
    XM.
*  MOD: Lone instrument number with retrigger effect swap sample immediately.
*  Recalling a sample's default volume using an instrument number (as opposed
    to regular volume commands) previously ramped the volume change smoothly
    over a whole tick. Now the user-configured ramp settings are used instead
    (as it would happen when using a volume command to achieve the same effect).

*  zlib: v1.2.12 (2022-03-27).
*  mpg123: v1.31.3 (2023-03-19).
*  ogg: v1.3.5 (2021-06-04).
*  vorbis: v1.3.7 (2020-07-04).
*  miniz: v2.2.0 (2021-06-27).
*  minimp3: commit 50d2aaf360a53653b718fead8e258d654c3a7e41 (2021-11-27).
*  stb_vorbis: v1.22 commit 5a0bb8b1c1b1ca3f4e2485f4114c1c8ea021b781
    (2021-07-12).
*  FLAC: v1.4.2 (2022-10-22).
*  PortAudio: v19.7.0 (2021-04-06).

(fcambus)

doc: Updated chat/irssi to 1.4.4

(nikita)

irssi: update to version 1.4.4

Changelog (taken from https://irssi.org/NEWS/):

1.4.4

The Irssi team released this 2023-03-31
Changes

    Expose location of signals.txt via pkg-config (codeberg!1, #1439, #1446, #1447). By Andrej Kacian

Additions

    Levels can now be inverted using ^ prefix in the /WINDOW (HIDE)LEVEL commands (#1428)

    Support receiving monospace (#1370, #1442). By Linus Heckemann

Fixes

    Fix config broken by /WINDOW LOGFILE without parameter (#1392, #1432)

    Fix broken /LASTLOG -window switch (#1418, #1424, regression introduced in #1398)

    Fix logic in how actions are printed for other protocols (codeberg!3, #1454). By Andrej Kacian

    Fix stale special collector use after free (#1456). Reported by ednash

    Help and message fixes (#1421, #1429, #1431, #1434, #1438, #1452, #1453, #1455). Includes work by Jimmie Tyrrell and Sven Grewe

1.4.3

The Irssi team released this 2022-10-31
Fixes

    Fix freeze on Alt+arrows (#1416, #1417)

    Fix crash on /upgrade (#1399, #1419)

    Fix saving of -disallow_starttls (#1401, #1420)

    Fix libnv detection on FreeBSD (freebsd#265397, #1407). By Guido Falsi and Kristof Provost

    Minor help and script fixes (#1380, #1393, #1411, #1413, #1414, #1415)

1.4.2

The Irssi team released this 2022-07-17
Changes

    Add irssimoduledir to irssi-1.pc in the Meson build (#1383, #1378)

Fixes

    Use -isystem includes, limiting warnings to Irssi code. Fixes compilation with Perl 5.36 (#1381, gentoo#851522, #1384)

    Fix missing lines when changing dynamic textbuffer contents (#1382, #1387). Reported by externalserver15

    Fix Perl cross compilation with Meson 0.60.0 (#1377)

    Fix default channel prefix used for /JOIN to default to # (#1385, #1388)

    Fix crash in /LASTLOG by getting line texts before printing (#1367, #1398)

1.4.1

The Irssi team released this 2022-06-12

Note: botti no longer compiles; get in touch if you use it
Changes

    Format the output of /QUOTE HELP (#1371, an#82). By Val Lorentz. Add /SHELP as default alias (an#83)

    /SET resolve_reverse_lookup setting was removed (#1034, #1135)

    Irssi will try to connect on IPv4 if IPv6 connection failed (#1146). By Shivaram Lingamneni

    The display system now renders formats on the fly (#1079, #1188, #1191, #1192, #1204, #1205, #1209, #1349, #1355, an#13, an#14, an#28, an#29, an#36, an#37, an#49)

    This major change will break scripts that try to modify printed text during “print text” signal (#1189). They need to be ported to modify the text during “print format” instead. It also breaks the usage of using /FORMAT to add different colours to a line. Such usage needs to be ported to using $expando variables instead. Affected scripts include format_identify.pl, friends_peder.pl, nickcolor.pl, nm.pl, people.pl

    The “gui print text finished” and “gui print text after finished” signals gained a TEXT_DEST_REC *parameter in the process.

    A new “gui render line text” signal is available to change the rendering of a line

    made the $Z expando (time) dynamic (#1087, #1207, #1208)

    This change breaks the usage of /SET timestamp_format to supply a custom displayed time stamp. Affected scripts include binary_time.pl

    /HILIGHT -priority now affects which hilight rule gets applied (#1228, #1232)

    The NAMES list is now hidden by default if there are more than 18 users on the channel (an#7)

    To revert to the previous behaviour

    /SET show_names_on_join_limit -1

    -tls_verify is now enabled by default (#1170, an#18, #1309, an#23, #1343, #1351)

    This may cause an ugly display of notls_verify in the output of /SERVER LIST, even on plain-text connection, on old configs. Kindly remove the “tls_verify = “no”;” entries from your config file manually.

    Irssi will now attempt STARTTLS if advertised (#1170, #1312, an#19)

    Use -disallow_starttls if you absolutely do not want this

    In order to check for a STARTTLS advertisement, Irssi will now wait for a response (even an error) to CAP LS 302. If your bouncer/server does not want to communicate before receiving USER/PASS at all, use -nocap to disable the CAP check.

    Channel sync requests (WHO, MODE) are now sent “later” than user commands. This should improve responsiveness to user commands in the autojoin phase (#1300, an#26, an#32, an#33)

    Irssi is now using full paths in #include directives and consequently does not add all directories to the include path anymore (#1040)

    The Build System was ported to Meson (#1064, #1065, #1068, #1071, #1072, #1073, #1074, #1075, #1084, #1085, #1118, #1166, #1223, #1224, #1245, #1313, #1314, an#31)

    Scriptassist was changed to use a YAML database (#1163)

    It will tell you when you need to update your setting

    /BIND shows all partial matches (#1155)

    Cleanup of unused functions (#1017, #1132, #1145, #1182, #1246, #1264)

    Functions removed:

    NET_CALLBACK
    NET_HOST_CALLBACK
    RESOLVED_NAME_REC
    net_gethostbyaddr_nonblock
    net_connect_nonblock
    [ SIMPLE_THREAD_REC, simple_init, simple_readpipe ]
    hash_save_key

    Functions deprecated:

    dec2octal
    g_timeval_cmp
    get_timeval_diff

    Function names corrected:

    g_input -> i_input
    g_istr -> i_istr
    g_io_channel -> i_io_channel
    g_hash_free_value -> i_hash_free_value
    remove g_free_true
    gslist -> i_slist
    glog_func -> i_log_func
    glist -> i_list

    If multi-version compatibility is desired, module authors can find an example of backwards compatible code in cdidier/irssi-xmpp#55

Additions

    GLib log message filter: /SET glib_log_domains (an#50, an#59). By Andrej Kacian

    An option to clear the cutbuffer: /SET empty_kill_clears_cutbuffer (an#58). By Mikael Magnusson

    Scriptable pastebin (an#60, an#88)

    Configurable actlist separator: /SET actlist_separator (#1364, an#61)

    Add MSGLEVEL_HIDDEN to Perl (#1044)

    Add $view->set_hidden_level and $view->remove_lines_by_level to Perl (#1026)

    Add a /SET scrollback_max_age setting (#1022). By Heikki Orsila

    Add /SET actlist_prefer_window_name (#1025)

    Add -window option to /CAT (#1023, #1159)

    Add an option to list specific sections with

    /SET -section lookandfeel

    (#1048)

    Add support for IRCv3 CAP LS 302 (#1091)

    Add a new “print noformat” signal that goes together with “print format” (#1088, #1192)

    Add support for IRCv3 extended-join. /SET show_extended_join to enable (#1097, #1107, #1124)

    There are two new /FORMATs, join_extended and join_extended_account, that theme writers need to take into account if desired.

    Add support for IRCv3 setname (#1093, #1104, #1254, GL#33)

    Add support for IRCv3 account-notify (#1100, #1098, GL#33, #1105, #1131). Credit to oss-fuzz /SET show_account_notify to enable

    Add support for IRCv3 invite-notify (#1094)

    Add support for receiving IRCv3 message-tags (#576, #1090)

    Add support for sending IRCv3 message-tags (#1092, an#34)

    Enable the znc.in/self-message CAP by default (#1123)

    Add support for IRCv3 away-notify. /SET away_notify_public to enable (#1099, GL#33, #1105)

    Add support for IRCv3 chghost (#1096, GL#33, #1105)

    For servers with broken chghost implementation that fill the status window with host changed messages, one may add “quote cap req -chghost” to the -autosendcmd or, if the host change messages are entirely undesired, “/format -delete host_changed”

    Add support for IRCv3 server-time. /SET show_server_time to enable (#1108)

    Add support for logging IRCv3 server-time. /SET log_server_time to disable (#1318, an#16)

    Add IRCv3 features to signals.txt (#1111)

    In particular, “message join” now takes 2 additional arguments, script and module authors must beware of this change.

    Show the unignore time in /IGNORE output (#1158, #1161)

    Add /SET quit_on_hup to make the behaviour of SIGHUP configurable (#828, #1169). By Pinguin1234

    Support numeric 489 as ERR_SECUREONLYCHAN (#1193, #1196). By Michael Hansen

    Improve support for building Irssi in Termux-Android with Meson (#1199)

    Add usermode key to Irssi::Irc::Chatnet in Perl (#1288). By Jessica Sophie Porter

    Add format_string_expand and format_string_unexpand functions to Perl (#1286)

    Add …->format_create_dest(…)->printformat(“format”, args…) and …->printformat_module(“module”, “format”, args…) methods to Perl (#1284)

    You can avoid any CORE::GLOBAL::caller hacks using the printformat_module method, especially sind that hack was not safe during signal emissions

    Add tracking of user accounts in the channel nicklist using WHOX on join (#1250)

    Add auto-loading of the Perl and otr module from /SET autoload_modules (#1295)

    Add /IGNORE … NOHILIGHT to ignore some hilights (#1260)

    Do not beep on hidden lines with /SET beep_msg_level … -HIDDEN (#1259)

    Added /CS, /MS, /NS, and /OS aliases to the default config (#1316). By Mathis Beer

    Allow -tls_ca{file,path} ‘’ to unset an argument (#730, #1060, an#30)

    Add a “server outgoing modify” signal to intercept outgoing messages (#1148, #1151, an#15, an#43). Original by JustAnotherArchivist

Fixes

    Fix window left/right not skipping visible windows (an#57). By Mikael Magnusson

    Fix wrong printf-format on OpenBSD (an#66, an#68). Reported by Aaron Bieber

    Fix erroneous output produced by autoload_modules (an#72)

    Fix scroll_page_count setting with . (#1365, an#76)

    Fix memory leak in /IGNORE (#1373, an#84). Found by Jookia

    Misc fixes (an#45, an#67, an#70, #1368, an#77)

    CHANTYPES take precedence over (missing) STATUSMSG in /join (#1358, an#54)

    Fix crash in Perl’s $view->set_bookmark (freebsd#254237, an#56)

    Minor help fixes (an#51, an#52)

    Fix regression where own channel status was forgotten after /UPGRADE (#1357, an#53)

    remove some hard-coded 510 byte assumptions (#1086)

    Several fixes for error checks in SSL (#944, #1037, #943, #1036). Reported by Chi Li

    Wrong variable tested in mask_match (#902, #1035)

    Fix bug where irssi-proxy with ?-port would not reconnect (#1041)

    Allow shrinking of /SET rawlog_lines (#957, #1020). By Marcus “Teschi” Prinz

    Fix /WINDOW BALANCE warning (#1054)

    fix overflow when first command history entry expires (#1070)

    begin modularising IRC module (#1067, #1112, #1113)

    fix some memory leaks in /DCC RESUME and settings_add (#1077). By Zero King

    fix cut-off text with theme_indent module and /SET indent_always OFF (#1078)

    fix the cap_queue order (#1095)

    add reference counted strings (#1089)

    Fix irc_op_public messages not triggering hilights (#354, #891, #1129). By Dan Collins

    Fix /IGNORE not setting the right level in irc_op_public messages (#1280). Credit to oss-fuzz

    Fix GTimeVal deprecation (#1141, #1144, #1145, #1350, an#44)

    If multi-version compatibility is desired, module authors can find an example of backwards compatible code in cdidier/irssi-xmpp#53

    Fix /IGNORE … MODES NO_ACT not working (#1164)

    Deprecated -ssl* options are hidden from tab completion (#1171)

    Make /SET actlist_sort a choice type (#1198)

    Fix crash from self-unloading script (#1206). By Thomas Stagner

    Fix crash during Perl signal emission (#1233, #1234)

    Fix a case where empty lines or comments inside channels or servers in the config would confuse Irssi (#1062, #1242, #1243)

    Fix reported freezing in DCC GET on slow disks (#159, #1271)

    Fix message-tags parsing (#1274, #1275). Credit to oss-fuzz

    Fail redirects when receiving numeric 263 (RPL_TRYAGAIN) in response to /WHO (#1283)

    Some updates to .gitignore (#1302). By Rene Kita

    Fix build on operating systems with X/Open Curses, version 2 (#1305, #1308). By Nia Alarie (Regression introduced with #1290, alternative fix for Irssi 1.2.3 no-term.h.patch)

    Fix otr module not using g_strndup, e.g. on Solaris 10 (#1315). By Claes Nästén

    Fix cursor getting stuck for auto completions that changes case (#1176, #1322, an#8). By ffrogman

    Restore operation of tag/* in /SET activity_hide_targets (#1337, an#11) nb. the ::all syntax was working in Irssi 1.1 and 1.2 (and continues to work)

    Fix /SERVER ADD -matrix -network my_matrix_network (an#12). By Andrej Kacian

    Fix /SERVER ADD creating duplicated entries in the config file (#1317, an#22, an#41)

    Fix critical when SASL user is set and SASL password is empty (#1325, an#21)

    Misc fixes (#1106, #1141, #1272, #1297, an#35)

    Fuzz fixes (#1116, #1117, #1119, #1125, #1126, an#20)

    Build system fixes (#1101, #1102, #1069, #1140, #1181, #1253)

    Sync docs and scripts (an#39)

    Text and Help updates

        add -tls_* options to manual (#1029, #1030). By Jacob V. Rasmussen

        missing targets in /MSG (#1032)

        wrong parameter in /ECHO (#1024)

        Spelling in OTR (#1047). By David Gall

        Clarify statusbar priority (#1049). By Marius Gedminas

        Document get_irssi_dir in Perl (#1051, #1052). By Alex Shafer

        typo in /HILIGHT help (#1081). By DFrostByte

        improved clarity of your_nick_owned (#1138). By Mike Quin

        Update some URLs to https (#1163)

        Add documentation for escaping some characters (#1329, #1330, an#9). By Guntbert Reiter

        Fix some typos (#1336, an#10). By Francis Mteo

        Document $abiversion and parse_special (an#38). By bw1

    Infrastructure updates:

        Support for Github Actions (#1039, #1103, #1160, #1212, #1231, #1252, #1261, an#40)

        Run clang-format on pull requests (#1172, #1173, #1184, #1230, #1247, #1287)

        Run abidiff on pull requests (#1179, #1195)

        Test CI-Fuzz (#1279, #1304, an#17)

(nikita)

graphics/gimp-ufraw: Work around C++/stdint interactions

ufraw includes jasper headers from a C++ file, and jasper relies in
int_limit.h defines.  But NetBSD only defines the macros in C mode, or
in C++>=C11.  Ask for the defines explicitly.

Set ufraw to C99, and gc support for gcc before 3.

(gdt)

doc: Updated mail/isync to 1.4.4nb2

(ryoon)

isync: Fix runtime error with OpenSSL 3.

(ryoon)

Updated finance/py-beancount, devel/py-blessed

(adam)

py-blessed: restore DESCR

(adam)

py-blessed: updated to 1.20.0

1.20
* introduced :meth:`~Terminal.get_fgcolor` and :meth:`~Terminal.get_bgcolor` to query
  the terminal for the currently set colors. :ghissue:`237` by :ghuser:`stefanholek`
* bugfix: Copy globals dict before iterating to avoid RuntimeError in multithreaded
  applications, :ghissue:`248` by :ghuser:`adamnovak`

(adam)

py-beancount: updated to 2.3.5

2022-02-15

- Released 2.3.5 with only a few minor bugfixes. Mainly released for 3.10.

2021-03-20

- Fixed 639: Released 2.3.4.

2021-01-09

- Fixed bug in booking that assumed number is set on cost. I did this while
  running booking manually on entries freshly created on an importer (never ahd
  done that before, will be customary in v3).

2021-01-08

- Fixed recently introduced bug with the export script that reordered the
  columns.
- Fixed bug with printer leaving trailing whitespace. Was annoying.

2020-12-20

- Merged half of branch pr128_seltzered_beanpriceupdate on this side of
  Beancount. The other side will be patched to
  http://github.com/beancount/beanprice. This adds some trimming functions to
  beancount.ops.lifetimes.

2020-12-14

- Fixed 588: Catch more narrow exceptions from plugins and render full stack
  when caught.

2020-11-25

- Fixed 584 - a bug which was occurring because a pathological example using a
  very large precision was used in inferring the precision of a currency and a
  subsequent attempt to quantize a large number exceeded the default precision.

2020-11-22

- Fixed bug in parser.parse_file() which when passed a filename in would leave
  the file unclosed.
- Fixed latent bug with key/value parsing (incorrect grammar rule, was working
  anyway somehow).
- Internal changes to lexer and parser to minimize diffs with ongoing work in
  'master' / C++ scanner/parser.

2020-11-17

- Made it legal to insert a balance entry after account closure. It is a common
  case that transactions happen on the last day of an account and the balance
  directive operates at the beginning of the day. It was arguable whether
  directives should be allowed after closure; notes and documents were allowed
  because statements and phone calls may still occur after an account is
  closed, but I suppose you can make the argument that a statement balance can
  also occur at a later date, so voila, make it legal. You still cannot post
  transactions to a closed account, which is the thing that really matters.

2020-11-15

- Render the tolerance in Balance directives (merged from Aaron Lindsay).

2020-11-01

- In the process of removing dependencies to the beancount.ops.holdings module,
  significantly sped up the net-worth-over-time script by using simple
  aggregation to an inventory (which is how it should be done).
- Allow balance_by_account() method to compress positions that aren't booked,
  as an option.
- Added split() method to Inventory, like segregate_units but with no
  constraints.
- Fixed 255: Added a new beancount.core.prices.project() method to project
  prices to another cost currency.

2020-10-26

- Fixed Github Actions workflows and Wheel generation.
- Released 2.3.3 to trigger new binaries.

(adam)

py-certbot-dns-google: fix a typo

(adam)

doc: Updated ruby-gnome packages to 4.1.5

(tsutsui)

ruby-gnome: update to 4.1.5.

Upstream changes:
https://github.com/ruby-gnome/ruby-gnome/releases/tag/4.1.5

Ruby-GNOME 4.1.5: 2023-05-11

This is a bug fix release for 4.1.4.

Changes

Ruby/GLib2

  * Improvements

      + Ignored gmodule.h explicitly for MacPorts.
        [Reported by Akira Ouchi]

Thanks

  * Akira Ouchi

(tsutsui)

p5-PerlMagick: typo in DESCR

(dholland)

PR 45012 Michael Wildpaner: clisp build fix for ubuntu with dash

(dholland)

lua-language-server: patch out randomly failing filewatch test, add clang build dependency.

(nikita)

mk/fetch/github.mk: reject "main" as well as "master", and clarify

PR 57062 from Andrew Cagney

(dholland)

Updated lang/erlang, net/rabbitmq

(adam)

rabbitmq: updated to 3.11.15

RabbitMQ 3.11.15

Core Server

Enhancements

Operator policies now can define "ha-sync-mode", a classic mirrored queue setting. Note that classic mirrored queues are
deprecated and will be removed in RabbitMQ 4.0.

All users of CMQs should migrate to quorum queues or streams,
or a combination of both.

(adam)

erlang: updated to 25.3.2

=== OTP-25.3.2 ===

Changed Applications:
- compiler-8.2.6
- erts-13.2.2
- os_mon-2.8.2

Unchanged Applications:
- asn1-5.0.21
- common_test-1.24
- crypto-5.1.4
- debugger-5.3.1
- dialyzer-5.0.5
- diameter-2.2.7
- edoc-1.2
- eldap-1.2.11
- erl_docgen-1.4
- erl_interface-5.3.2
- et-1.6.5
- eunit-2.8.2
- ftp-1.1.4
- inets-8.3.1
- jinterface-1.13.2
- kernel-8.5.4
- megaco-4.4.3
- mnesia-4.21.4
- observer-2.14
- odbc-2.14
- parsetools-2.4.1
- public_key-1.13.3
- reltool-0.9.1
- runtime_tools-1.19
- sasl-4.2
- snmp-5.13.5
- ssh-4.15.3
- ssl-10.9.1
- stdlib-4.3.1
- syntax_tools-3.0.1
- tftp-1.0.4
- tools-3.5.3
- wx-2.2.2
- xmerl-1.3.31

(adam)

py-sqlalchemy: add missing dependency

Bump PKGREVISION.

(wiz)

doc: Updated www/py-autobahn to 23.1.2nb1

(wiz)

py-autobahn: allow C compiler and install C extension

Bump PKGREVISION.

(wiz)

Updated net/grpc, misc/py-platformdirs

(adam)

py-platformdirs: updated to 3.5.1

3.5.1

Add 3.12 support
Add tox.ini to sdist
removing Windows versions
Better handling for UNIX support

(adam)

grpc: updated to 1.54.2

Release v1.54.2
This release contains refinements, improvements, and bug fixes.

(adam)

duo-unix: Ensure openssl rpath flags are used.

(jperkin)

Updated security/py-acme, security/py-certbot*

(adam)

py-acme py-certbot*: updated to 2.6.0

Certbot 2.6.0

Added

--dns-google-project optionally allows for specifying the project that the DNS zone(s) reside in,
which allows for Certbot usage in scenarios where the auth credentials reside in a different
project to the zone(s) that are being managed.
There is now a new Other annotated challenge object to allow plugins to support entirely novel challenges.

Changed

Optionally sign the SOA query for dns-rfc2136, to help resolve problems with split-view
DNS setups and hidden primary setups.
Certbot versions prior to v1.32.0 did not sign queries with the specified TSIG key
resulting in difficulty with split-horizon implementations.
Certbot v1.32.0 through v2.5.0 signed queries by default, potentially causing
incompatibility with hidden primary setups with allow-update-forwarding enabled
if the secondary did not also have the TSIG key within its config.
Certbot v2.6.0 and later no longer signs queries by default, but allows
the user to optionally sign these queries by explicit configuration using the
dns_rfc2136_sign_query option in the credentials .ini file.
Lineage name validity is performed for new lineages. --cert-name may no longer contain
filepath separators (i.e. / or \, depending on the platform).
certbot-dns-google now loads credentials using the standard Application Default
Credentials strategy,
rather than explicitly requiring the Google Compute metadata server to be present if a service account
is not provided using --dns-google-credentials.
--dns-google-credentials now supports additional types of file-based credential, such as
External Account Credentials created by Workload Identity
Federation. All file-based credentials implemented by the Google Auth library are supported.

Fixed

certbot-dns-google no longer requires deprecated oauth2client library.
Certbot will no longer try to invoke plugins which do not subclass from the proper
certbot.interfaces.{Installer,Authenticator} interface (e.g. certbot -i standalone
will now be ignored). See GH-9664.

(adam)

games/xjewel: add macos to list of OSes using select.

From PR 30172 from John D. Baker. May only apply to ppc macos, but
should be harmless otherwise if so.

(dholland)

Updated databases/postgresql1[1-5]

(adam)

postgresql: updated to 15.3, 14.8, 13.11, 12.15, and 11.20

PostgreSQL 15.3, 14.8, 13.11, 12.15, and 11.20

Security Issues
CVE-2023-2454: CREATE SCHEMA ... schema_element defeats protective search_path changes.
CVE-2023-2455: Row security policies disregard user ID changes after inlining.

Bug Fixes and Improvements

This update fixes over 80 bugs that were reported in the last several months. The issues listed below affect PostgreSQL 15. Some of these issues may also affect other supported versions of PostgreSQL.

Included in this release:

Several fixes for CREATE DATABASE when using the STRATEGY = WAL_LOG, including a potential corruption that could lose modifications to a template/source database.
Fix crash with CREATE SCHEMA AUTHORIZATION.
Several fixes for MERGE.
Several fixes for triggers in partitioned tables.
Disallow altering composite types that are stored in indexes.
Ensure that COPY TO from a parent table with row-level security enabled does not copy any rows from child tables.
Adjust text-search-related character classification logic to correctly detect whether the prevailing locale is C when the default collation of a database uses the ICU provider.
Re-allow exponential notation in ISO-8601 interval fields.
Improve error reporting for various invalid JSON string literals.
Fix data corruption due to vacuum_defer_cleanup_age being larger than the current 64-bit xid.
Several fixes for the query parser and planner, including better detection of improperly-nested aggregates.
Fix partition pruning bug with the boolean IS NOT TRUE and IS NOT FALSE conditions. Prior to this, NULL partitions were accidentally pruned.
Fix memory leak in memoize plan execution.
Fix buffer refcount leak on foreign tables using partitions when performing batched inserts.
Restore support for sub-millisecond vacuum_cost_delay settings.
Several fixes for views and rules.
Avoid unnecessary work while scanning a multi-column BRIN index with multiple scan keys.
Ignore dropped columns and generated columns during logical replication of an UPDATE or DELETE action.
Several fixes for naming and availability of wait events.
Support RSA-PSS certificates with SCRAM-SHA-256 channel binding. This feature requires building with OpenSSL 1.1.1 or newer.
Avoid race condition with process ID tracking on Windows.
Fix memory leak within a session for PL/pgSQL DO blocks that use cast expressions.
Tighten array dimensionality checks from PL/Perl and PL/Python when converting list structures to multi-dimensional SQL arrays.
Fix pg_dump so that partitioned tables that are hash-partitioned on an enumerated type column can be restored successfully.
Fix for pg_trgm where an unsatisfiable regular expression could lead to a crash when using a GiST or GIN index.
Limit memory usage of pg_get_wal_records_info() in pg_walinspect.

(adam)

doc/pkgsrc.*: regen

(dholland)

guide: rework sections 20.1-2 about the config files framework

Prompted by PR 41784 (from mspo) and includes the suggestion there,
but broader because the prior structure was inadequate to the task.

(dholland)

bootstrap-mk-files: Remove Bitrig support

(charlotte)

0ad: add freetype2 dependency, sort dependencies.

(nikita)

subversion-base: remove curses dependency

The source code doesn't link mention libcurses at all.

Bump PKGREVISION.

(wiz)

py-flufl.lock: fixup wrong WHEEL_INFODIR

(markd)

py-flufl.i18n: fixup wrong WHEEL_INFODIR

(markd)

doc: Updated mail/qmail-acceptutils to 20230511

(schmonz)

Update to 20230511. From the changelog:

- fixsmtpio: fix build on systems without <sys/queue.h> by inlining a
  copy from NetBSD.
- authup: log when TLS has been negotiated.
- Improve manual pages slightly.

(schmonz)

py-Levenshtein: fix sandboxed builds

This package now requires cmake to build, and it wasn't specified as a
dependency. cmake doesn't get pulled in via py-scikit-build, but
perhaps it should; I don't have time to look into that, so I'm applying
this build fix for now.

(gutteridge)

Pull the latest tlsonlyremote patch to fix OpenBSD build with native
LibreSSL. No other changes in the patch and NFCI elsewhere. Build-tested
on macOS, Debian, NetBSD.

(schmonz)

doc: Updated shells/oh-my-posh to 16.4.0

(schmonz)

Update to 16.4.0. From the changelog:

Bug Fixes:

- winget: add installer switches (ca0a9c0)
- owm: adjust icons outside of the MD range (dc085ab)
- font: migrate away from material icons (c579759), closes #3818
- image: add background reset sequence (865374a)
- font: install all fonts in zip file (c5feb08)
- windows: respect flag lengths (ddd4eca)

Features:

- image: cache font instead of embedding (0f7c103)
- python: add support for pyvenv.cfg prompt (8f03f41)
- linux: add installation script (221cd7b), closes #3815
- path: respect folder_separator_icon in a colon-trailed root (4b71c2b)

(schmonz)

qtcreator: fix build with llvm 16

(nikita)

doc: Updated security/go-mkcert to 1.4.4nb3

(schmonz)

DEPENDS+=nss for certutil, so mkcert can also update the Firefox trust
store. Bump PKGREVISION.

(schmonz)

Updated net/py-softlayer; Removed textproc/py-ptable

(adam)

py-ptable: removed

(adam)

py-softlayer: updated to 6.1.7

6.1.7

pip prod(deps): bump rich from 13.3.2 to 13.3.3
Added new command - slcli cdn delete
Added new command - slcli cdn create
slcli firewall detail multiVlan:14109 --credentials
add a new option on account orders
Issues with block/file volume-details on some volumes
Need a command for slcli object-storage delete
New Command: slcli user vpn-password
Update slcli user detail to display if user has API key
Fixed an issue with 'slcli event-log get'
pip prod(deps): bump rich from 13.3.3 to 13.3.4
added the slcli file to this repo
Updated date field in command - slcli cdn purge
New command: slcli order quote-delete
pip prod(deps): bump rich from 13.3.4 to 13.3.5
updates for v6.1.7

(adam)

Updated devel/deepstate; Removed math/py-z3solver

(adam)

py-z3solver: removed, use py-z3 from now on

(adam)

deepstate: depends on math/py-z3; bump revision

(adam)

Updated math/py-sympy, devel/py-manticore

(adam)

py-manticore: updated to 0.3.7

0.3.7

Ethereum

Use crytic-compile 0.2.2
Multi-transaction analysis now uses fixed attacker and owner contracts

Native

[Added API] Retrieve list of unimplemented syscalls
Add FXSAVE/FXRSTOR concrete support on x86
Add last_executed_pc property to CPU
Support LD_LIBRARY_PATH
Optional will/did_read_memory events
Fixed base address handling on Linux
Add ENDBR-style NOPs
Support epoll-related syscalls

Other

[Added API] Add fork policy for providing explicit values
Fixed Constant Folding
Add simplifications for subtraction
Parent state ID, last PC now available in state descriptors
States now contain a reference to the current manticore instance
fast_fail config to exit after first state exception
Scaling bugfix for large solver queries
Don't fork when only one solution is found for Concretize

(adam)

doc: Updated sysutils/hexyl to 0.13.0

(pin)

sysutils/hexyl: update to 0.13.0

Features
- Support both little and big Endian dumps using --endianness={little,big},
see #189 and #104 (@RinHizakura)

Changes
- Breaking: Changed the meaning of the short flag -C to be consistent with
hexdump -C. Previously, this would hide the character panel, but now -C shows
the character panel, in case it has been previously (e.g. in an alias)
disabled with --no-characters, see #187 (@sharkdp)

hexyl as a library
- New endianness method for PrinterBuilder

(pin)

py-sympy: updated to 1.12

1.12
https://github.com/sympy/sympy/wiki/release-notes-for-1.12

(adam)

py-rpyc: mark as PYTHON_SELF_CONFLICT

(adam)

py-smt: mark as PYTHON_SELF_CONFLICT=yes

(adam)

tree-sitter-html: add patch to distinfo so it'll get used

(wiz)

Added lang/py-solc-select; Updated finance/py-crytic-compile

(adam)

py-crytic-compile: updated to 0.3.1

0.3.1
This releases adds the support for Sepolia, removes the support for rinkeby, adds solc-select as a direct dependency and contains improvements to support linked libraries (to ease Echidna's integration).

(adam)

py-solc-select: added version 1.0.3

A tool to quickly switch between Solidity compiler versions.

(adam)

Updated devel/py-pyvex, devel/py-ailment, devel/py-archinfo, devel/py-cle, math/py-claripy, devel/py-angr

(adam)

py-angr: updated to 9.2.50

9.2.50
Unknown changes

(adam)

py-claripy: updated to 9.2.50

9.2.50
Unknown changes

(adam)

py-cle: updated to 9.2.50

9.2.50
Unknown changes

(adam)

py-archinfo: updated to 9.2.50

9.2.50
Unknown changes

(adam)

py-ailment: updated to 9.2.50

9.2.50
Unknown changes

(adam)

py-pyvex: updated to 9.2.50

9.2.50
Unknown changes

(adam)

Updated math/z3, math/py-z3, emulators/unicorn, emulators/py-unicorn

(adam)

unicorn py-unicorn: updated to 2.0.1.post1

Version 2.0.1

Features:

- Support building & running on BE hosts.
- Fix and support `clang-cl` on Windows.
- Fix python `sdist` and add aarch64 Linux wheels. Note `pip` can build Unicorn2 on M1 now!
- C# binding is refined and upgraded to .Net 6.

Fix/Improvements:

- Various bindings improvements.
- Improvements for tests.
- Fail explicitly when VEX.L is set.
- Fix endianness when writing PPC32 CR register.
- Fix a bug in `uc_ctl_set_cpu_model` check.
- Fix Tricore PC not updating.
- Fix the mapping not updated if users modify the mappings in the hooks.
- Handle pathological cases consistently.
- Fix memory leaks in PPC target.
- Fix memory leaks in Tricore target.
- Fix MSVC handling in cmake.
- Fix PC sync-ing problems for `UC_HOOK_BLOCK` hooks.
- Fix PC sync-ed twice when users request a soft restart.
- Prevent overflow with pre-allocated RAM blocks.
- Add FPCR and FPSR registers
- Fix ARM CPU state not deep copied.
- Fix PC not sync-ed for memory operation on aarch64.
- Exit invalid store operations early to avoid the target registers being overwritten.
- Improve the support for ARM BE32.

Version 2.0.0

Features:

- TriCore Support

Fixes/Improvements:

- Build both shared library and static archive as unicorn1 does.
- Misc bindings improvements.
- Make sure setjmp-setjmp-wrapper-win32 participates in the build.
- Improve Rust bindings build logic.
- Fix wrong python binding for UC_CTL_TB_REMOVE_CACHE
- Flush translation blocks when the count hook is removed.
- Fix unicorn crash when nested `uc_emu_start` deletes a hook
- Fix CPU not fully resumed when writing PC.
- Don't quit TB if `uc_mem_protect` doesn't change the protection of current TB memory.
- Add type annotations for python bindings.
- Add CPUID hook for python bindings.
- Don't repeat memory hooks if there is already an unhandled error.
- Support reads and writes over all Arm SIMD registers
- Fix wrong registers range in python bindings.
- Fix uc_mem_protect on mmio regions
- Fix a UAF caused by hook cache.
- Fix the value collision between UC_MODE_ARMBE8 and UC_MODE_ARM926

(adam)

z3 py-z3: updated to 4.12.1

Version 4.12.1
==============
- change macos build to use explicit reference to Macos version 11. Hosted builds are migrating to macos-12 and it broke a user

Version 4.12.0
==============
- add clause logging API.
  - The purpose of logging API and self-checking is to enable an array of use cases.
    - proof mining (what instantiations did Z3 use)?
      - A refresh of the AxiomProfiler could use the logging API.
        The (brittle) trace feature should be deprecated.
    - debugging
      - a built-in self certifier implements a custom proof checker for
        the format used by the new solver (sat.euf=true).
    - other potential options:
      - integration into certified tool chains
      - interpolation
  - Z3_register_on_clause (also exposed over C++, Python and .Net)
  - it applies to z3's main CDCL(T) core and a new CDCL(T) core (sat.euf=true).
  - The added API function allows to register a callback for when clauses
    are inferred. More precisely, when clauses are assumed (as part of input),
    deleted, or deduced.
    Clauses that are deduced by the CDCL SAT engine using standard
    inferences are marked as 'rup'.
    Clauses that are deduced by theories are marked by default
    by 'smt', and when more detailed information
    is available with proof hints or proof objects.
    Instantations are considered useful to track so they
    are logged using terms of the form

        (inst (not (forall (x) body)) body[t/x] (bind t)), where

    'inst' is a name of a function that produces a proof term representing
    the instantiation.
- add options for proof logging, trimming, and checking for the new core.
  - sat.smt.proof (symbol) add SMT proof to file (default: )
  - sat.smt.proof.check (bool) check SMT proof while it is created (default: false)
    - it applies a custom self-validator. The self-validator comprises of
      several small checkers and represent a best-effort validation mechanism.
      If there are no custom validators associated with inferences, or the custom
      validators fail to certify inferences, the self-validator falls back to
      invoking z3 (SMT) solving on the lemma.
      - euf - propagations and conflicts from congruence closure
              (theory of equality and uninterpreted functions) are checked
              based on a proof format that tracks uses of congruence closure and
              equalities. It only performs union find operations.
      - tseitin - clausification steps are checked for Boolean operators.
      - farkas, bound, implies_eq - arithmetic inferences that can be justified using
              a combination of Farkas lemma and cuts are checked.
              Note: the arithmetic solver may produce proof hints that the proof
              checker cannot check. It is mainly a limitation
              of the arithmetic solver not pulling relevant information.
              Ensuring a tight coupling with proof hints and the validator
              capabilites is open ended future work and good material for theses.
      - bit-vector inferences - are treated as trusted
        (there is no validation, it always blindly succeeds)
      - arrays, datatypes - there is no custom validation for
        other theories at present. Lemmas are validated using SMT.
  - sat.smt.proof.check_rup (bool) apply forward RUP proof checking (default: true)
    - this option can incur significant runtime overhead.
      Effective proof checking relies on first trimming proofs into a
      format where dependencies are tracked and then checking relevant inferences.
      Turn this option off if you just want to check theory inferences.
- add options to validate proofs offline. It applies to proofs
  saved when sat.smt.proof is set to a valid file name.
  - solver.proof.check (bool) check proof logs (default: true)
    - the option sat.smt.proof_check_rup can be used to control what is checked
  - solver.proof.save (bool) save proof log into a proof object
      that can be extracted using (get-proof) (default: false)
    - experimental: saves a proof log into a term
  - solver.proof.trim (bool) trim the offline proof and print the trimmed proof to the console
    - experimental: performs DRUP trimming to reduce the set of hypotheses
      and inferences relevant to derive the empty clause.
- JS support for Arrays, thanks to Walden Yan
- More portable memory allocation, thanks to Nuno Lopes
  (avoid custom handling to calculate memory usage)

- clause logging and proofs: many open-ended directions.
  Many directions and functionality features remain in an open-ended state,
  subject to fixes, improvements, and contributions.
  We list a few of them here:
  - comprehensive efficient self-validators for arithmetic, and other theories
  - an efficient proof checker when several theory solvers cooperate in a propagation or
    conflict. The theory combination case is currently delegated to the smt solver.
    The proper setup for integrating theory lemmas is in principle not complicated,
    but the implementation requires some changes.
  - external efficient proof validators (based on certified tool chains)
    can be integrated over the API.
  - dampening repeated clauses: A side-effect of conflict resolution is to
    log theory lemmas. It often happens that the theory lemma becomes
    the conflict clause, that is then logged as rup. Thus, two clauses are
    logged.
  - support for online trim so that proofs generated using clause logging can be used for SPACER
    - SPACER also would benefit from more robust proof hints for arithmetic
      lemmas (bounds and implied equalities are sometimes not logged correctly)
  - integration into axiom profiling through online and/or offline interfaces.
    - an online interface attaches a callback with a running solver. This is available.
    - an offline interface saves a clause proof to a file (currently just
      supported for sat.euf) and then reads the file in a separate process
      The separate process attaches a callback on inferred clauses.
      This is currently not available but a relatively small feature.
  - more detailed proof hints for the legacy solver clause logger.
    Other than quantifier instantiations, no detailed information is retained for
    theory clauses.
  - integration of pre-processing proofs with logging proofs. There is
    currently no supported bridge to create a end-to-end proof objects.
- experimental API for accessing E-graphs. Exposed over Python. This API should be considered temporary
and subject to be changed depending on use cases or removed. The functions are `Z3_solver_congruence_root`, `Z3_solver_congruence_next`.

Version 4.11.2
==============
- add error handling to fromString method in JavaScript
- fix regression in default parameters for CDCL, thanks to Nuno Lopes
- fix model evaluation bugs for as-array nested under functions (data-type constructors)
- add rewrite simplifications for datatypes with a single constructor
- add "Global Guidance" capability to SPACER, thanks to Arie Gurfinkel and Hari Gorvind.
  The commit logs related to Global Guidance contain detailed information.
- change proof logging format for the new core to use SMTLIB commands.
  The format was so far an extension of DRAT used by SAT solvers, but not well compatible
  with SMT format that is extensible. The resulting format is a mild extension of SMTLIB with
  three extra commands assume, learn, del. They track input clauses, generated clauses and deleted clauses.
  They are optionally augmented by proof hints. Two proof hints are used in the current version: "rup" and "farkas".
  "rup" is used whent the generated clause can be justified by reverse unit propagation. "farkas" is used when
  the clause can be justified by a combination of Farkas cutting planes. There is a built-in proof checker for the
  format. Quantifier instantiations are also tracked as proof hints.
  Other proof hints are to be added as the feature set is tested and developed. The fallback, buit-in,
  self-checker uses z3 to check that the generated clause is a consequence. Note that this is generally
  insufficient as generated clauses are in principle required to only be satisfiability preserving.
  Proof checking and tranformation operations is overall open ended.
  The log for the first commit introducing this change contains further information on the format.
- fix to re-entrancy bug in user propagator (thanks to Clemens Eisenhofer).
- handle _toExpr for quantified formulas in JS bindings

(adam)