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.
Changes:
Snes9x 1.58
- Move the LICENSE file to the base directory and use a stub
in all the source files referring to it.
- Adjust Chou Aniki timing hack.
- Use 1-based numbering when displaying pressed keys.
- Hide controller port if disabled when displaying keys.
- Fix movie playback.
libretro:
- Fix interlaced modes when overscan crop is enabled.
- Allow overriding -flto. (orbea)
Snes9x 1.57
- Various seta010 emulation fixes. (kps501)
- Pass blargg OAM tests with proper write behavior. (BearOso)
- Prevent interlacing in BG modes 1-4. (BearOso)
- Corrected IRQ and NMI emulation to allow more games to
work properly. (BearOso, OV2)
- Use 1 instead of 0 for initial PPU left window coordinate,
fixing garbage in left column of pixels in some games. (turhope)
- Added interpolation option hack for DSP. (kps501, mudlord,
BearOso)
- Added sprite-tile limit disabling hack. (Tatsuya79)
- Added libretro's fast snapshot support. (OV2)
- Add overclocking hack that increases IPC (retrotalker)
- Fix controller initialization issues preventing some games
from using multitap. (retrotalker)
- Proper write behavior for register $2122. (BearOso)
- Fix transparency issue with Star Fox asteroids. (redguy, BearOso)
- Increase SuperFX speed to more accurately represent
hardware, and fix bugs with Stunt Race FX and Yoshi's
Island. (BearOso)
- Resize viewport on state load. (retrotalker)
- Many fixes to variables not saved or saved incorrectly in
save states. (Dwedit)
- Pass decimal tests in blargg's math test ROMs. (BearOso)
- Remove memory leak in loadzip.cpp. (bonimy)
- Fix screen size not reverting when overscan is turned on
then off mid-frame. (BearOso)
libretro:
- Massive update of libretro code to latest downstream. (fr500, kps501,
OV2, twinaphex,
BearOso,
hiddenasbestos,
m4xw, kxyxz,
claudiuslollarius)
pkgsrc changes
* Add support for pkg_alternatives.
* Prefix PKGNAME with ${PYPKGPREFIX}.
* update dependency.
0.13.5 (2018/10/17)
* Pin dependencies to avoid incompatibilities between packages
Release date: 2018-09-24 20:31 UTC
Release state: stable
Release uploaded by: jon
Changelog:
* Don't disconnect when message size exceeds server limit
* Added GSSAPI support via the PECL krb5 module
* Updated composer requirements to use stable dependencies
# Version 3.12.0
Release date: 2018-11-28
### Added
* Support Ruby 2.6 endless range in Result#[] and query `:between` option
* Pre-registered headless firefox driver :selenium_headless [Andrew Havens]
* Selenium driver now defaults to clearing `sessionStorage` and `localStorage`. To disable pass `clear_local_storage: false` and/or `clear_session_storage: false` when creating Capybara::Selenium::Driver instance in your driver registration
### Fixed
* Raise error if only :x or :y are passed as an offset to click methods
### Removed
* Support for RSpec < 3.5
# Version 3.11.1
Release date: 2018-11-16
###Fixed
* Fixed :link_or_button XPath generation when it has had an expression filter added
# Version 3.11.0
Release date: 2018-11-14
### Added
* Ability for node filters to set detailed error messages
* `Capybara::HTML` Will use `nokogumbo` for HTML parsing if installed
* `Selector#locator_filter` added to allow for dynamic locator in selectors
### Fixed
* Node filters are evaluated in the context of the Selector they are used in to ensure the correct options are used
# Version 3.10.1
Release date: 2018-11-03
### Fixed
* Fix `aria-label` and `test_id` matching for `link_or_button` selector type - Issue #2125
* Fixed crash in element path creation for matcher failure messages - Issue #2120
# Version 3.10.0
Release date: 2018-10-23
### Added
* :class filter can now check for class names starting with !
* Selector `xpath`/`css` expression definitions will get filter names from block parameters if not explicitly provided
* `any_of_selectors` assertions and matchers to complement `all_of_selectors` and `none_of_selectors`
### Fixed
* Selector `css` expression definiton declared filters now work again
* Cleaned up warnings [Yuji Yaginuma]
* Workaround installation of rspec matcher proxies under jruby by reverting to the old solution not using prepend, so jruby bugs are not hit - Issue #2115
# Version 3.9.0
Release date: 2018-10-03
### Added
* Selenium with Chrome removes all cookies at session reset instead of just cookies from current domain if possible
* Support for Regexp for system :id and :class filters where possible
* `using_session` now accepts a session object as well as the name of the session for users who manually manage sessions
* The `:field` selector will now find `type = "hidden"` fields if the `type: "hidden"` filter option is provided
pkgsrc change:
* Drop @PREFIX@ from ALTERNATIVES file.
## 2.0.9 (2018-11-28)
* Use new ERB API in Ruby 2.6 (#329, koic)
* Support the new sassc gem (#336, jdickey, judofyr)
