go1.11.4 (released 2018/12/14) includes fixes to cgo, the compiler, linker,
runtime, documentation, go command, and the net/http and go/types packages. It
includes a fix to a bug introduced in Go 1.11.3 that broke go get for import
path patterns containing "...". See the Go 1.11.4 milestone on our issue
tracker for details.
go1.11.3 (released 2018/12/12) includes three security fixes to "go get" and
the crypto/x509 package. See the Go 1.11.3 milestone on our issue tracker for
details.
Augment debug option arguments.
Explicitly select garbage collector.
Set dialogs and widgets to "athena" explicitly.
There are no "lucid" implementations; instead, configure will look for
Motif implementations, and fall back to Athena. The former is prone to
sneak in undeclared dependencies on Motif and (on sole platforms) xft.
Remove the patch that was supposed to fix this, but didn't.
Set dialogs and widgets to "athena" explicitly.
There are no "lucid" implementations; instead, configure will look for
Motif implementations, and fall back to Athena. The former is prone to
sneak in an undeclared dependency on Motif.
o fix .htpasswd bypass for authenticated users. reported by JP,
from leot@netbsd.org
o avoid possible null dereference when receiving a big request that
timeout. reported by maya@netbsd.org, from leot@netbsd.org
o fix handling of -T option, from leot@netbsd.org
o cleanups and portability improvements, from maya@netbsd.org
o change directory indexing to use html tables, from
rajeev_v_pillai@yahoo.com
New Features:
New Dashboard.
IPS Dashboard.
IPS Signature Suppression.
Add support IPS signature categories control.
Add per radio uplink control.
Add speed and duplex config for USG interfaces.
Add Fallback VLAN support for USW when using 802.1X.
Add local SSO login.
Add Controller HD and Micro SD free space monitoring to admin notification settings.
Analytic Reporting.
New Cloud Access integration.
Various bug fixes and improvements.
Changes for Version 2.7 (2018-09-22)
* Add the email alerts feature for commits, ticket changes, wiki changes,
forum posts, and announcements. This is still a work in progress. It is
functional, but it is not as easy to setup and use as it ought to be.
* Add the discussion forum feature.
* Add new user capabilities letters needed to support alerts and forum.
Formerly, user capabilities were letters from [a-z], but with the
enhancements, the supply of lower case letters was exhausted. User
capabilities are now letters in [a-zA-Z0-9].
* The built-in skins are now responsive, providing better layout on small
screens, including mobile devices.
* The default skin now includes a hamburger menu that is generated by the /
sitemap page.
* All of the built-in skins now use a Content Security Policy (CSP) to help
prevent cross-site injection and forgery attacks. There are no known
vulnerabilities in Fossil. The added CSP does not fix anything; it merely
adds another layer of defense.
* The /sitemap and other list pages show as multiple columns if the viewing
window is wide enough.
* There is an optional "js" file for each skin that can be used to hold
javascript. This file can be loaded by reference or can be included in the
header or footer.
* Add the backoffice.
* Update internal Unicode character tables, used in regular expression
handling, from version 10.0 to 11.0.
* Improvements to the "Security Audit" administration page
* Add the fossil branch current command.
* Add the grep command.
* Update the built-in SQLite to version 3.25.1.
* Some code and interfaces are in place to support sending and receiving
email directly via SMTP, but this feature is not yet complete or ready for
production use.
* The `mv-rm-files` setting is now compiled into Fossil in the default Fossil
configuration; no longer must you say ./configure --with-legacy-mv-rm to
make it available. The setting remains disabled by default, however, so you
must still say fossil set mv-rm-files 1 to enable it on each repository
where you want hard mv/rm behavior.
Changes for Version 2.6 (2018-05-04)
* Fix a bug that was causing crashes while trying to clone the TCL
repository. This fix is the main reason for the current release.
* Added the new "Classic" timeline viewing mode. "Classic" is the same as
"Verbose" in the previous release. The "Verbose" mode is now like "Compact"
except the extra check-in details are shown by default.
* Add support for ETags:, Last-Modified:, and If-Modified-Since: cache
control mechanisms.
* Enhance the /tarball, /zip, and /sqlar pages so that the checkin name to be
downloaded can be expressed as part of the URI, and without the need for
query parameters.
* On the /timeline webpage, add the days=N query parameter and enhance the
ymd=DATE and yw=DATE query parameters to accept 'now' as an argument to
show the latest day or week.
* In the web page that comes up in response to the fossil all ui command,
show the last modification time for each repository, and allow
click-to-sort on the modification time column.
* In the tarball cache replacement algorithm, give extra weight to tarballs
that have been accessed more than once.
* Additional defenses against web-based attacks. There have not been any
known vulnerabilities. We are just being paranoid.
* Update the built-in SQLite to an alpha version of 3.24.0.
Changes for Version 2.5 (2018-02-07)
* Numerous enhancements to the look and feel of the web interface.
Especially: Added separate "Modern", "Compact", "Verbose", and "Columnar"
view options on timelines.
* Common display settings (such as the "view" option and the number of rows
in a timeline) are held in a cookie and thus persist across multiple pages.
* Rework the skin editing process so that changes are implemented on one of
nine /draft pages, evaluated, then merged back to the default.
* Added the Ardoise skin.
* Fix the "fossil server" command on Unix to be much more responsive to
multiple simultaneous web requests.
* Use the IPv6 stack for the "fossil ui" and "fossil server" commands on
Windows.
* Support for SQL Archives as a download option.
* Fossil now automatically generates the <html><head>...</head><body> at the
beginning of each web page if the configurable header lacks a <body> tag.
* Added the /artifact_stats page, currently accessible only by the
administrator.
* Upgrade to the latest versions of SQLite and OpenSSL.
* Improved key bindings on the Tk diff screen generated by "fossil diff
--tk".
* Begin factoring out in-line javascript into separately loaded script files.
This is a step along the road toward supporting a strict Content Security
Policy. More work is to be done.
* Initial infrastructure is in place to make use of the pledge() system call
in OpenBSD. More work is to be done.
Changelog:
Bugs fixed compared to 6.1.3 (rc2):
bnc#779630 DOCX import: fix loss of free-form text in date control [Miklos Vajna]
coverity#1436015 corrected Snake Algorithm [ekuiitr]
ofz#7802 revert "infinite loop" [Caolán McNamara]
ofz#10879 stay inside sSecStr bounds [Caolán McNamara]
ofz#10994 move the reset of trailing fly paras to before redline processing [Caolán McNamara]
ofz#11125 pass param len around [Caolán McNamara]
rhbz#1645905 Libreoffice Calc crashing with certain ods spreadsheet files [Luboš Luňák]
tdf#48140 Remove uno calls from xlsx import [Eike Rathke]
tdf#55058 EMF+ List of EMF import bugs with examples [Bartosz Kosiorek]
tdf#62268 FILEOPEN: Optimum row height should be recalculated with "style:use-optimal-row-height='true'" [Vasily Melenchuk]
tdf#72987 [firebird db integration] big-endian LibreOffice unable to open little-endian embedded firebird db (found 2944.512, support 11.2) [Rene Engelhard]
tdf#102186 MS PowerPoint with Chart shows hidden data labels when opened in Impress [Markus Mohrhard]
tdf#104579 FILEOPEN DOCX: Inconsistent pie chart color [Markus Mohrhard]
tdf#105143 DOCX import: shape has incorrect position when it's intentionally outside the page rectangle [Miklos Vajna]
tdf#105444 Extra blank lines inserted at end of Comments in DOCX on save when text added in document before comment (steps in Comment 8) [Stephan Bergmann]
tdf#106084 EMF+ images from OOXML document are not rendered correctly LibreOffice [Bartosz Kosiorek]
tdf#107240 EDITING Insert > Date | Time inserts some content into protected cells [Xisco Fauli]
tdf#107586 FILEOPEN: XLSX - Chart sheet tab color not imported [Markus Mohrhard]
tdf#108022 FILESAVE DOCX: One column chart is exported instead of two [Markus Mohrhard]
tdf#108027 FILEOPEN XLSX: The column descriptions of a column chart disappear [Markus Mohrhard]
tdf#108104 [FILEOPEN DOCX] Chart data series with custom fill are displayed incorrectly in DOCX files created with MS Word 2013 [Balazs Varga]
tdf#111313 Crashed in Calc Macro (Basic) [Stephan Bergmann]
tdf#112520 FILESAVE: RTF: Shapes inside another shape disappear after RT [Miklos Vajna]
tdf#113848 Sidebar: Changing page orientation of user-defined size let disappear the page [Ilhan Yesil]
tdf#113898 Cross-Document reference in array formula using FIND/ISERROR does not work [Eike Rathke]
tdf#114738 EMF+ rendering problems [Bartosz Kosiorek]
tdf#114836 FILEOPEN: Chart height is different than before [Markus Mohrhard]
tdf#115067 (ODT --> DOCX) Non-breaking spaces vanish while in centered paragraphs [Mike Kaganski]
tdf#115296 FILEOPEN: Paragraph borders are non-continuous on paragraphs with paragraph spacing [Armin Le Grand]
tdf#115317 EDITING: Unable to paste URL when editing a cell [Paul Trojahn]
tdf#116931 Objects Anchored "To Cell, Resize with Cell", Move and Scale when Cell's Position is Changed [Armin Le Grand]
tdf#116989 FILEOPEN: DOCX: Text does not wrap around floating table in footer (disable conversion of tables in footers to floating) [Mike Kaganski]
tdf#117108 'Master View' button is displayed after re-displaying the sidebar [Xisco Fauli]
tdf#117761 Snake Algorithm unable to display accurate layout. [ekuiitr, Miklos Vajna]
tdf#117784 "Bullets and Numbering" menu does not show any dialog [Caolán McNamara]
tdf#118086 FILEOPEN: FORMATTING occasionally wrong row height [Vasily Melenchuk]
tdf#118393 FILESAVE: DOCX Export loses header/footer [Serge Krot]
tdf#118573 Process Soffice.bin does not stop at x64 Windows shutdown/logoff when Quickstarter is used from LO 6.0 [Mike Kaganski]
tdf#118747 Table paste from specific .ods to Writer adds two empty rows above so table looks emtpy [Vasily Melenchuk]
tdf#118820 FILEOPEN ODT: Table background doesn't fill the entire table [Caolán McNamara]
tdf#119020 Icons are corrupted on Windows when scaling UI 150% and higher, with some OpenGL dependency [Jan-Marek Glogowski]
tdf#119065 Formatting: Last bullet of the bullet list is disappearing after removing a item from the bulleted list using backspace [Mark Hung]
tdf#119080 pocheck utility needs an update [Andras Timar]
tdf#119235 UI: Interactive gradient tool is broken [Michael Stahl]
tdf#119266 Nodes don't expand on double click in the Customize dialog [Muhammet Kara]
tdf#119564 [BASE] Copy/Paste problem with hidden column in Table [Lionel Elie Mamane]
tdf#119617 FILEOPEN PPTX Text box setting "Resize shape to fit text" not imported correctly [Balazs Varga]
tdf#119623 Deleting shared formula group top cell does not re-establish listeners for the remaining (group) formula cell(s) (steps in comment 5) [Eike Rathke]
tdf#119648 Crash if I click on Fontwork Shape: Arch Left, Arch Right (Pour or Curve). [Michael Meeks]
tdf#119700 Links to external HTML files updated wrong [Eike Rathke]
tdf#119790 When printing to PDF, existing file with different file name in the target folder gets overwritten (GTK3-only) [Caolán McNamara]
tdf#119885 DOCX: Horizontal spacing of font "Open Sans" differs from Word [Mike Kaganski]
tdf#119945 Impress/Draw hangs/crashes when exiting while editing formula [Xisco Faulí]
tdf#119997 UI FILEOPEN Slide toolbars not visible when opening a slideshow saved in slide sorter view [Caolán McNamara]
tdf#120038 Missing arrow from Gallery [andreas kainz]
tdf#120115 Crash in: SfxItemSet::GetItemState [Bjoern Michaelsen]
tdf#120158 Impossible to paste special in Writer from Calc in Libreoffice 6mann]
tdf#120176 Text appears as white on first launch (hard to see) [heiko tietze]
tdf#120188 In Writer document when a text is highlighted and right click+Character is selected the resulting window is too wide and cannot be resized [Caolán McNa: Crash with file dialog when Java extension "WollMux" is installed [Michael Weghorn]
tdf#120277 Special Character dialog doesn't appear in Online [Caolán McNamara]
tdf#120334 Crash when closing dialog Position and Size [Caolán McNamara]
tdfapter Numbering Dialog can only accept one level (GTK3) [Caolán McNamara]
tdf#120432 Date, Time and Formulas Can be Inserted in Read-only Spreadsheets [Xisco Fauli]
tdf#120491 Exporting as epub inserts line that fails most content submission checks [Miklos Vajna]
tdf#120513 LibreOffice Calc warning message when opening an XLSX file is misleading [Adolfo Jayme Barrientos]
tdf#120515 Re-pagination starts for every save (making saving quite slow) [Miklos Vajna]
tdf#120525 percent linespacing <100% bug with fonts with big descent [AlicVB]
tdf#120551 DOCX: Wrong position of grouped drawing objects (see comment 7) [Miklos Vajna]
tdf#120612 [LOCALHELP] Edit DDE link has no Help page or ID [Caolán McNamara]
tdf#120651 Character position arrow hotkey reversed (only 6-1) [Caolán McNamara]
tdf#120677 Freezes when I open a ODT document [Mike Kaganski]
tdf#120689 FILESAVE Roundtripped XLSM opens with recovery in Excel [Eike Rathke]
tdf#120691 Firebird Migration of Existing Database Error on Importing Table Name with space (multiword handling) [Tamas Bunth]
tdf#120703 Bugs found by PVS-Studio static analyzer [Mike Kaganski]
tdf#120706 Crash in: SbxArray::Count() when trying to call a WinAPI function [Mike Kaganski]
tdf#120713 Firebird Form-Based Filter search with checkbox values of "1" or "0" fails. [Lionel Elie Mamane]
tdf#120728 crash in report editing: insert page number in footer while header is active [Armin Le Grand]
tdf#120764 gtk 3.24/Wayland: Toolbar popups not working when a tooltip is visible [Maxim Monastirsky]
tdf#120807 Crash on Crl+Shift+F10 in F5 floating Navigator page number field [Jan-Marek Glogowski]
tdf#120879 UI: "New Snap Object" dialog box needs Help/Ok/Cancel button order changed [Xisco Fauli]
tdf#120928 Windows: quickstart --killtray does not work [brinzing]
tdf#120988 Cannot set zoom >= 1000% in "Zoom & View Layout" dialog (gen and gtk2) [Caolán McNamara]
tdf#121005 Crash in: libc-2.24.so ( only 6.1 ) [Caolán McNamara]
tdf#121073 "Presenter Console shortcuts" link is dead in online help [Olivier Hallot]
tdf#121083 EDITOR UI Hatch background color not read back from editor [Tamás Zolnai]
tdf#121097 UI: Incorrect behaviour in Date and Time dialog [Caolán McNamara]
tdf#121131 Compiler plugins won't build with Ubuntu 18.04 [Stephan Bergmann]
tdf#121181 InputBox/MsgBox: title/text is truncated [Caolán McNamara]
tdf#121188 forms controls are created with "input required" set to yes by default [Lionel Elie Mamane]
tdf#121198 CRASH in SdrPage::GetPageNum() [Xisco Fauli]
tdf#121200 Cannot copy from Writer to the Text Box in Draw [Caolán McNamara]
tdf#121203 Date forms are not showing dat [Miklos Vajna]
tdf#121205 chart: multiline chart title in presentation not supported [Vasily Melenchuk]
tdf#121229 Black box blinking inside the scrollbar of the special character dialog (gtk/gen) [Caolán McNamara]
tdf#121238 UI: Page border line size is set to 5 pt by default (would expect 0,05 pt) (gen/gtk) [Caolán McNamara]
tdf#121260 FILESAVE: Using "Excel A1" formula syntax in LibO Calc options results in charts losing their link to source data if the worksheet is saved in .xlsx format [Eike Rathke]
tdf#121267 SIDEBAR: border cell color isn't shown (white box) [Maxim Monastirsky]
tdf#121276 KDE5: Can't save minimized presentation [Michael Weghorn]
tdf#121288 Save on Sharepoint results in always locked file [Mike Kaganski]
tdf#121325 4-argument form of Mid() BASIC function broken in 6.x (worked in 5.x and OO) [Stephan Bergmann]
tdf#121415 “Font” page opens instead of “Statistics” page after staying on it and closing it [Caolán McNamara]
tdf#121432 Pressing twice on the "Help" button causes LibreOffice application to crash when the focus is on one of the tabs on Properties window [Caolán McNamara]
tdf#121547 UI: File Reload dialog size not right (gen/gtk) [Caolán McNamara]
tdf#121591 CRASH: Print Preview fails if cursor inside Floating frame [Xisco Faulí]
tdf#121607 Crash when closing a document (being the only active) while being prompted for data source password [Caolán McNamara]
tdf#121644 Pressing on the "Reset" button when the writing focus is on the "Value" input field of a property causes LibreOffice to crash on Properties - Custom Properties [Caolán McNamara]
tdf#121647 font list box preview certain malformed TTF fonts crash LO -- whe
n receiving ShouldUseWinMetrics() handling [Xisco Fauli]
tdf#121648 FILEOPEN: EMF+: Wrong displaying of string, drawed with DrawDriverString record [Bartosz Kosiorek]
tdf#121695 comments: after editing Position and Size, arrow points to cell A1 [Caolán McNamara]
Bugs fixed compared to 6.1.4 (rc1):
fdo#65059 FILEOPEN: XLSX file appears to be blank [Eike Rathke]
fdo#76032 FILEOPEN: shift of cells in a specific xlsx [Eike Rathke]
i#106421 Split svx module [Stephan Bergmann]
tdf#80583 EDITING: Analysis of Variance (ANOVA): Total DEVSQ returns Err:508, while direct DEVSQ formula returns correct result [Eike Rathke]
tdf#115405 Failure to launch Libreoffice 6 after installation [Mike Kaganski]
tdf#119910 Trying to install. Message states api-ms-win-crt-string-l1-1-0.dll is missing [Mike Kaganski]
tdf#121399 [gtk3_kde5] 6.1 stable branch: within Plasma-5 session w/ drkonqi: lo_kde5filepicker crashes every time on close (OK/Cancel regardless) [Michael Weghorn]
tdf#121468 Cannot open ppt files [Michael Meeks]
tdf#121746 CRASH closing LibreOffice with confirmation dialog open [Caolán McNamara]
tdf#121778 LibreOffice Vanilla not usable; opens OK but crashes when entering data on macOS 10.14.1 Mojave [Stephan Bergmann]
tdf#121830 FILEOPEN PPTX Video file permanently paused during slideshow [Caolán McNamara]
tdf#121887 FILEOPEN XLSX "Maximum number of rows per sheet" on tags ROW without attribute R [Eike Rathke]
tdf#121942 Sildeshow: Video is played 2 times [Caolán McNamara]
tdf#121987 Windows: MSI installation fails if WU service is disabled hard way [Mike Kaganski]
x11vnc 0.9.15 2018-02-04
Misc. buffer overflow and memleak fixes.
Support for OpenSSL 1.1.0.
Fix for Debian bug #672435.
x11vnc 0.9.14 2015-11-14
Added support for the X Composite Extension.
Added XInput 2 multi-pointer support
Separated x11vnc sources from LibVNCServer.
The project is now hosted at GitHub.
Libretro is a simple but powerful development interface that allows for the
easy creation of emulators, games and multimedia applications that can plug
straight into any libretro-compatible frontend. This development interface is
open to others so that they can run these pluggable emulator and game cores
also in their own programs or devices.
Mednafen PSX (Beetle PSX) is a Sony PlayStation 1 video game system emulator
that can be used as a libretro core. It is a libretro port of Mednafen
PlayStation.
Mednafen can load CD-ROM games from a ripped/dumped copy of the disc, such
as CUE+BIN. Additionally there is support for CloneCD "CCD/IMG/SUB" rips,
and cdrdao "TOC" files. A CUE file is required.
This is the OpenGL version. It is currently less accurate than the software
renderer but will enable and/or speed up enhancements like upscaling and
texture filtering.
2.1.5
This release contains no functional changes other than changes to the Appveyor configuration for publishing wheels.
2.1.4
This release contains no functional changes other than changes to the Travis configuration for publishing wheels.
2.1.3
A simplification of the tox.ini file
More robust checking for pkgconfig availability
Integration of cibuildwheel into travis builds so as to build and publish binary wheels for Linux and OSX
Only require pytest-runner if pytest/test is being called
Blacklists version 3.3.0 of pytest which has a bug that can cause the tests to fail.
3.8.0
**New features**
* Postgres BinaryJSONField now supports has_key(), concat() and
remove() methods (though remove may require pg10+).
* Add python_value() method to the SQL-function helper fn, to allow
specifying a custom function for mapping database values to Python values.
**Changes**
* Better support for UPDATE ... FROM queries, and more generally, more robust
support for UPDATE and RETURNING clauses. This means that the
QualifiedNames helper is no longer needed for certain types of queries.
* The SqlCipherDatabase no longer accepts a kdf_iter parameter. To
configure the various SQLCipher encryption settings, specify the setting
values as pragmas when initializing the database.
* Introspection will now, by default, only strip "_id" from introspected column
names if those columns are foreign-keys.
* Allow UUIDField and BinaryUUIDField to accept hexadecimal UUID strings as
well as raw binary UUID bytestrings (in addition to UUID instances, which
are already supported).
* Allow ForeignKeyField to be created without an index.
* Allow multiple calls to cast() to be chained.
* Add logic to ensure foreign-key constraint names that exceed 64 characters
are truncated using the same logic as is currently in place for long indexes.
* ManyToManyField supports foreign-keys to fields other than primary-keys.
* When linked against SQLite 3.26 or newer, support SQLITE_CONSTRAINT to
designate invalid queries against virtual tables.
* SQL-generation changes to aid in supporting using queries within expressions
following the SELECT statement.
**Bugfixes**
* Fixed bug in order_by_extend(), thanks @nhatHero.
* Fixed bug where the DataSet CSV import/export did not support non-ASCII
characters in Python 3.x.
* Fixed bug where model_to_dict would attempt to traverse explicitly disabled
foreign-key backrefs.
* Fixed bug when attempting to migrate SQLite tables that have a field whose
column-name begins with "primary_".
* Fixed bug with inheriting deferred foreign-keys.
0.7.1
[bug] [region] Fixed regression in 0.7.0 caused by 136 where the assumed arguments for the CacheRegion.async_creation_runner expanded to include the new CacheRegion.get_or_create.creator_args parameter, as it was not tested that the async runner would be implicitly called with these arguments when the CacheRegion.cache_on_arguments() decorator was used. The exact signature of async_creation_runner is now restored to have the same arguments in all cases.
0.7.0
[bug] The decorator module is now used when creating function decorators within CacheRegion.cache_on_arguments() and CacheRegion.cache_multi_on_arguments() so that function signatures are preserved. Pull request courtesy ankitpatel96.
Additionally adds a small performance enhancement which is to avoid internally creating a @wraps() decorator for the creator function on every get operation, by allowing the arguments to the creator be passed separately to CacheRegion.get_or_create().
[bug] [py3k] Fixed all Python 3.x deprecation warnings including inspect.getargspec()
Just in time for the end of the year, we have released Qt 5.12 LTS today. This is a long-term-supported (LTS) release that we will support for 3 years to come. We have had a strong focus on quality and fixed more than 2000 bugs since the last Qt LTS version, Qt 5.9.7 – make that over 5000 bugfixes since Qt 5.6.3. Of course, this is only the start, and we will work hard on continuously improving the quality of Qt 5.12 in upcoming patches
Version 2.14
Changed -I option semantics by adding a trailing path separator unconditionally.
Fixed null dereference in corrupted invalid single line macros.
Fixed division by zero which may happen if source code is malformed.
Fixed out of bound access in processing of malformed segment override.
Fixed out of bound access in certain EQU parsing.
Fixed buffer underflow in float parsing.
Added SGX (Intel Software Guard Extensions) instructions.
Added +n syntax for multiple contiguous registers.
Fixed subsections_via_symbols for macho object format.
Added the --gprefix, --gpostfix, --lprefix, and --lpostfix command line options, to allow command line base symbol renaming. See section 2.1.28.
Allow label renaming to be specified by %pragma in addition to from the command line. See section 6.9.
Supported generic %pragma namespaces, output and debug. See section 6.10.
Added the --pragma command line option to inject a %pragma directive. See section 2.1.29.
Added the --before command line option to accept preprocess statement before input. See section 2.1.30.
Added AVX512 VBMI2 (Additional Bit Manipulation), VNNI (Vector Neural Network), BITALG (Bit Algorithm), and GFNI (Galois Field New Instruction) instructions.
Added the STATIC directive for local symbols that should be renamed using global-symbol rules. See section 6.8.
Allow a symbol to be defined as EXTERN and then later overridden as GLOBAL or COMMON. Furthermore, a symbol declared EXTERN and then defined will be treated as GLOBAL. See section 6.5.
The GLOBAL directive no longer is required to precede the definition of the symbol.
Support private_extern as macho specific extension to the GLOBAL directive. See section 7.8.5.
Updated UD0 encoding to match with the specification
Added the --limit-X command line option to set execution limits. See section 2.1.31.
Updated the Codeview version number to be aligned with MASM.
Added the --keep-all command line option to preserve output files. See section 2.1.32.
Added the --include command line option, an alias to -P (section 2.1.18).
Added the --help command line option as an alias to -h (section 3.1).
Added -W, -D, and -Q suffix aliases for RET instructions so the operand sizes of these instructions can be encoded without using o16, o32 or o64.
Eliminate merged patches.
Improve java support.
Patch by Michal Gorny.
Upstream changelog
==================
z3-4.8.3
This release covers
bug fixes since 4.8.1
.NET bindings for dotnet standard 1.4 on windows and 64 bit Linux systems and MacOs
z3-4.8.1
New requirements:
A breaking change to the API is that parsers for SMT-LIB2 formulas return a vector of
formulas as opposed to a conjunction of formulas. The vector of formulas correspond to
the set of "assert" instructions in the SMT-LIB input.
New features
A parallel mode is available for select theories, including QF_BV.
By setting parallel.enable=true Z3 will spawn a number of worker threads proportional to the
number of available CPU cores to apply cube and conquer solving on the goal.
The SAT solver by default handle cardinality and PB constraints using a custom plugin
that operates directly on cardinality and PB constraints.
A "cube" interface is exposed over the solver API.
Model conversion is first class over the textual API, such that subgoals created from running a
solver can be passed in text files and a model for the original formula can be recreated from the result.
This has also led to changes in how models are tracked over tactic subgoals. The API for
extracting models from apply_result have been replaced.
An optional mode handles xor constraints using a custom xor propagator.
It is off by default and its value not demonstrated.
The SAT solver includes new inprocessing techniques that are available during simplification.
It performs asymmetric tautology elimination by default, and one can turn on more powerful inprocessing techniques
(known as ACCE, ABCE, CCE). Asymmetric branching also uses features introduced in Lingeling by exploiting binary implication graphs.
Use sat.acce=true to enable the full repertoire of inprocessing methods. By default, clauses that are "eliminated" by acce are tagged
as lemmas (redundant) and are garbage collected if their glue level is high.
Substantial overhaul of the spacer horn clause engine.
Added basic features to support Lambda bindings.
Added model compression to eliminate local function definitions in models when
inlining them does not incur substantial overhead. The old behavior, where models are left
uncompressed can be replayed by setting the top-level parameter model_compress=false.
Integration of a new solver for linear integer arithmetic and mixed linear integer arithmetic by Lev Nachmanson.
It incorporates several improvements to QF_LIA solving based on
. using a better LP engine, which is already the foundation for QF_LRA
. including cuts based on Hermite Normal Form (thanks to approaches described
in "cuts from proofs" and "cutting the mix").
. extracting integer solutions from LP solutions by tightening bounds selectively.
We use a generalization of Bromberger and Weidenbach that allows avoiding selected
bounds tighthenings (https://easychair.org/publications/paper/qGfG).
It solves significantly more problems in the QF_LIA category and may at this point also
be the best solver for your problem as well.
The new solver is enabled only for select SMT-LIB logics. These include QF_LIA, QF_IDL, and QF_UFLIA.
Other theories (still) use the legacy solver for arithmetic. You can enable the new solver by setting
the parameter smt.arith.solver=6 to give it a spin.
Removed features:
interpolation API
duality engine for constrained Horn clauses.
pdr engine for constrained Horn clauses. The engine's functionality has been
folded into spacer as one of optional strategies.
long deprecated API functions have been removed from z3_api.h
Z3 4.7.1. official release
cumulative bug fix since 4.6.0
minor version incremented as API now uses stdbool and stdint: bool and int64_t, uint64_t
Official release Z3 4.6.0.
Changes:
* Use u32 for vertex indices to avoid overflow. Fix ggx15 coin chute issue
* Naomi: allow mapping P2 buttons onto P1. Fix coin chute issues.
* Clip high z vertices. Fixes bogus triangles in Soul Calibur intro and NHL 2K2 missing menu
* Unlock the emu thread if waiting for frame finish when loading state
* Use xxhash for palette hashing. extra depth scale for NHL 2K2
* Skip rendering is TA context is overrun. Fixes strip mode crash in FOTNS
* ARM dynarec: do a block check on the entire block. Fixes Grandia II freezing on Now Loading... screen
* Backport Synchronous rendering option from upstream
* Fix some regions & add some missing keys
* Fix regions for Guilty Gear games
* Naomi: 7z archive and split/parent roms support
* rec-x64: don't reset the cycle counter for better scheduling
* Fix compile fail from math with conflicting types
* Naomi: fixes for vathlete, csmash, hotd2 and more
* Restrict regions for naomi games
* Add All GD Roms - Flyinghead FTW
* Naomi: GD-ROM support
* Naomi: improved JVS configuration. Ninja Assault
* Mushiking and Derby Additions/Fixes
* Fixes for wldkicks and wldkicksu
* Naomi/AW: Leverage libretro input descriptors to list and name each game's inputs
* Child and clone roms support for M1, M2/M3 and AW
* Naomi: allow bios selection with region core option
* Various fixes
* Parent rom support for M1, M2, M4 and AW
* Naomi/AW: avoid opposite DPad keys being pressed simultaneously
* AtomisWave roms support
* Naomi: support for M1 and M4 carts. BIOS version H supported.
* Naomi: add dual I/O boards / 4-player setup for Ring Out 4x4
* Naomi: M2 mame rom support
* CHD: swap bytes of CHDv5+ audio tracks
* Added 4:3 resolution for 4K screens
* CHD v5 and misc fixes
* Adding the 4:3 resolution of 1440x1080
* Maple: non-gamepad controls were ignored. Shikigami No Shiro II fix.
* Better rumble support. Fix rumble staying on all the time.
