Skip to content

Nightly

Pre-release
Pre-release
Compare
Choose a tag to compare
@NikolajBjorner NikolajBjorner released this 08 Sep 04:14
· 8510 commits to b2acbaa0c9fec4720d68b775edac432e63fd774e since this release
Nightly
09523a4

Changes:

  • b2acbaa Fix .NET performance issues by reducing multiple enumerations in constraint methods (#7854)
  • a7eed2a remove flush_smc after m_solver.get_model #7855
  • d701702 remove model converter operator on expr_ref&
  • 90e610e Fix performance issue in MkAnd(IEnumerable) and eliminate code duplication (#7851)
  • 866393a update defaults for new grobner featuers
  • d771862 handle case where all variables are bounded
  • 98a9a34 add option to reduce pseudo-linear monomials
  • 6eee868 Add Windows ARM64 builds to NuGet packages for nightly and release pipelines (#7847)
  • e0c315b filter pseudo-linear monomials
  • 449704e Enable ARM64 support in .NET NuGet package (#7846)
See More
  • 7005d04 propagate mod over ite even if it hurts
  • a382ddb add rewrite for mod over negation, refine axioms for grobner quotients
  • e2235d8 add option for gcd-test to grobner
  • 49703f8 remove debug out
  • 4c0c199 take into account integer coefficients
  • e91e432 add option to propagation quotients
  • 91b4873 categorize lp stats
  • 06de5f4 remove str parameters
  • 9d16020 Use '--tags' rather than '--long' for git describe. Closes #6823 (#7833)
  • 3e216db Fix method signature for onBindingWrapper, again (#7829) [ #7828 ]
  • a560936 Fix method signature for onBindingWrapper [ #7828 ]
  • 2337e68 fix #7822
  • b8b9327 [CMake] Document hybrid approach and fix FetchContent C++ header path issue (#7819)
  • 1bed5a4 remove double tweak versioning
  • 894c0e9 Bugfix: post-build sanity check when an old version of ocaml-z3 is installed (#7815)
  • 12563c6 clean up a little of the handling of VERSION.txt
  • 300e0ae Move VERSION.txt to scripts directory and update all references (#7811)
  • 2874645 copy VERSION from SRC_DIR
  • 116e1ec print dirs
  • be22111 more output
  • 867bc6a remove extra characters
  • 438b41a try other dir
  • 1987b3d try src_dir_repo
  • 778b9a5 try diferennt dirs
  • 3b03636 add more logging to setup.py
  • 21e63db add print for version file
  • 8d395d6 Fix Julia bindings linker errors on Windows MSVC (#7794)
  • ba068d7 Document how to use system-installed Z3 with CMake projects (#7809)
  • 7e6e96f remove resources directive again
  • 12e7478 add resources
  • 4792068 Attempt at adding the README to the NuGet package (#7807)
  • 64419ad Update nightly.yaml to match release.yml NuGet tool installer changes (#7810)
  • 5d29eb1 Fix Azure Pipeline PyPI package builds by including VERSION.txt in source distribution (#7808)
  • fa0f9c9 fix parsing of version
  • 02f195a fix version parse
  • 7265563 read version from VERSION.txt
  • 265265a Create centralized version management with VERSION.txt (#7802)
  • debe043 fix #7796
  • 21e3168 fix #7753
  • 4542fc0 update version number to 4.15.4
  • 7ff0b24 fix #7792
  • ff74af7 check for internalized in solve_for
  • 4082e4e update on euf
  • c75b8ec add option to control epsilon #7791
  • d8bf0e0 Fix nullptr dereference in pp_symbol when handling null symbol names (#7790)

This list of changes was auto generated.

Assets 21
Loading