8000 Release Nightly · Z3Prover/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Nightly

Pre-release
Pre-release
Compare
Choose a tag to compare
@jfleisher jfleisher released this 13 May 04:21
· 8249 commits to 6b32aaed1022241226230782bc565c2f92c1a8c6 since this release
Nightly
09523a4

nightly build

Changes:

  • 6b32aae remove slack heuristic
  • a5e5d4d testing
  • bbaec0b trying randomly shuffle the indices in the slack utilization
  • 52241b6 some refactoring of lar_solver.h
  • fef954c shring lar_solver.h
  • 4abd984 fix the build
  • e3f5e8c restore lar_solver::add_named_var
  • b375faa continue PIMPL refactor in lar_solver
  • b7ffcb7 implement imp of lar_solver as lar_solver::imp
  • 39955f1 remove a function from lar_solver
See More
  • 4e56834 test
  • a527667 shuffle more functionality from lar_solver.h to lar_solver::imp
  • c81eb74 apply the slack idea in a loop
  • e041fe9 slack
  • 7ca94e8 add E-matching to EUF completion

This list of changes was auto generated.

Assets 21
Loading
0