Bump docker/build-push-action from 6.0.0 to 6.1.0 #7265
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?s=60&v=4){kind=small}
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.0.0 to 6.1.0. - [Release notes](https://github.com/docker/build-push-action/releases) - [Commits](docker/build-push-action@v6.0.0...v6.1.0) --- updated-dependencies: - dependency-name: docker/build-push-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
dependabot
bot
added
dependencies
dependabot
bot
deleted the
dependabot/github_actions/docker/build-push-action-6.1.0
branch
NikolajBjorner
pushed a commit
that referenced
this pull request
Jul 15, 2024
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.0.0 to 6.1.0. - [Release notes](https://github.com/docker/build-push-action/releases) - [Commits](docker/build-push-action@v6.0.0...v6.1.0) --- updated-dependencies: - dependency-name: docker/build-push-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
NikolajBjorner
added a commit
that referenced
this pull request
Nov 2, 2024
* reorg sls * sls * na * split into base and plugin * move sat_params to params directory, add op_def repair options * move sat_ddfw to sls, initiate sls-bv-plugin * porting bv-sls * adding basic plugin * na Signed-off-by: Nikolaj Bjorner <[email protected]> * add sls-sms solver * bv updates * updated dependencies Signed-off-by: Nikolaj Bjorner <[email protected]> * updated dependencies Signed-off-by: Nikolaj Bjorner <[email protected]> * use portable ptr-initializer Signed-off-by: Nikolaj Bjorner <[email protected]> * move definitions to cpp Signed-off-by: Nikolaj Bjorner <[email protected]> * use template<> syntax Signed-off-by: Nikolaj Bjorner <[email protected]> * fix compiler errors for gcc Signed-off-by: Nikolaj Bjorner <[email protected]> * Bump docker/build-push-action from 6.0.0 to 6.1.0 (#7265) Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.0.0 to 6.1.0. - [Release notes](https://github.com/docker/build-push-action/releases) - [Commits](docker/build-push-action@v6.0.0...v6.1.0) --- updated-dependencies: - dependency-name: docker/build-push-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * set clean shutdown for local search and re-enable local search when it parallelizes with PB solver Signed-off-by: Nikolaj Bjorner <[email protected]> * Bump docker/build-push-action from 6.1.0 to 6.2.0 (#7269) Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.1.0 to 6.2.0. - [Release notes](https://github.com/docker/build-push-action/releases) - [Commits](docker/build-push-action@v6.1.0...v6.2.0) --- updated-dependencies: - dependency-name: docker/build-push-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * Fix a comment for Z3_solver_from_string (#7271) Z3_solver_from_string accepts a string buffer with solver assertions, not a string buffer with filename. * trigger the build with a comment change Signed-off-by: Lev Nachmanson <[email protected]> * remove macro distinction #7270 * fix #7268 * kludge to address #7232, probably superseeded by planned revision to setup/pypi Signed-off-by: Nikolaj Bjorner <[email protected]> * add new ema invariant (#7288) * Bump docker/build-push-action from 6.2.0 to 6.3.0 (#7280) Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.2.0 to 6.3.0. - [Release notes](https://github.com/docker/build-push-action/releases) - [Commits](docker/build-push-action@v6.2.0...v6.3.0) --- updated-dependencies: - dependency-name: docker/build-push-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * merge Signed-off-by: Nikolaj Bjorner <[email protected]> * fix unit test build Signed-off-by: Nikolaj Bjorner <[email protected]> * remove shared attribute Signed-off-by: Nikolaj Bjorner <[email protected]> * remove stale files Signed-off-by: Nikolaj Bjorner <[email protected]> * fix build of unit test Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes and rename sls-cc to sls-euf-plugin Signed-off-by: Nikolaj Bjorner <[email protected]> * na Signed-off-by: Nikolaj Bjorner <[email protected]> * testing / debugging arithmetic * updates to repair logic, mainly arithmetic * fixes to sls * evolve sls arith * bugfixes in sls-arith * fix typo Signed-off-by: Nikolaj Bjorner <[email protected]> * bug fixes * Update sls_test.cpp * fixes * fixes Signed-off-by: Nikolaj Bjorner <[email protected]> * fix build Signed-off-by: Nikolaj Bjorner <[email protected]> * refactor basic plugin and clause generation Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes to ite and other Signed-off-by: Nikolaj Bjorner <[email protected]> * updates * update Signed-off-by: Nikolaj Bjorner <[email protected]> * fix division by 0 Signed-off-by: Nikolaj Bjorner <[email protected]> * disable fail restart Signed-off-by: Nikolaj Bjorner <[email protected]> * disable tabu when using reset moves Signed-off-by: Nikolaj Bjorner <[email protected]> * update sls_test Signed-off-by: Nikolaj Bjorner <[email protected]> * add factoring Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes to semantics Signed-off-by: Nikolaj Bjorner <[email protected]> * re-add tabu override Signed-off-by: Nikolaj Bjorner <[email protected]> * generalize factoring Signed-off-by: Nikolaj Bjorner <[email protected]> * fix bug Signed-off-by: Nikolaj Bjorner <[email protected]> * remove restart Signed-off-by: Nikolaj Bjorner <[email protected]> * disable tabu in fallback modes Signed-off-by: Nikolaj Bjorner <[email protected]> * localize impact of factoring Signed-off-by: Nikolaj Bjorner <[email protected]> * delay factoring Signed-off-by: Nikolaj Bjorner <[email protected]> * flatten products Signed-off-by: Nikolaj Bjorner <[email protected]> * perform lookahead update + nested mul Signed-off-by: Nikolaj Bjorner <[email protected]> * disable nested mul Signed-off-by: Nikolaj Bjorner <[email protected]> * disable nested mul, use non-lookahead Signed-off-by: Nikolaj Bjorner <[email protected]> * make reset updates recursive Signed-off-by: Nikolaj Bjorner <[email protected]> * include linear moves Signed-off-by: Nikolaj Bjorner <[email protected]> * include 5% reset probability Signed-off-by: Nikolaj Bjorner <[email protected]> * separate linear update Signed-off-by: Nikolaj Bjorner <[email protected]> * separate linear update remove 20% threshold Signed-off-by: Nikolaj Bjorner <[email protected]> * remove linear opt Signed-off-by: Nikolaj Bjorner <[email protected]> * enable multiplier expansion, enable linear move Signed-off-by: Nikolaj Bjorner <[email protected]> * use unit coefficients for muls Signed-off-by: Nikolaj Bjorner <[email protected]> * disable non-tabu version of find_nl_moves Signed-off-by: Nikolaj Bjorner <[email protected]> * remove coefficient from multiplication definition Signed-off-by: Nikolaj Bjorner <[email protected]> * reorg monomials Signed-off-by: Nikolaj Bjorner <[email protected]> * add smt params to path Signed-off-by: Nikolaj Bjorner <[email protected]> * avoid negative reward Signed-off-by: Nikolaj Bjorner <[email protected]> * use reward as proxy for score Signed-off-by: Nikolaj Bjorner <[email protected]> * use reward as proxy for score Signed-off-by: Nikolaj Bjorner <[email protected]> * use exponential decay with breaks Signed-off-by: Nikolaj Bjorner <[email protected]> * use std::pow Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes to bv Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes to fixed Signed-off-by: Nikolaj Bjorner <[email protected]> * fixup repairs Signed-off-by: Nikolaj Bjorner <[email protected]> * reserve for multiplication Signed-off-by: Nikolaj Bjorner <[email protected]> * fixing repair Signed-off-by: Nikolaj Bjorner <[email protected]> * include bounds checks in set random * na * fixes to mul Signed-off-by: Nikolaj Bjorner <[email protected]> * fix mul inverse Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes to handling signed operators Signed-off-by: Nikolaj Bjorner <[email protected]> * logging and fixes Signed-off-by: Nikolaj Bjorner <[email protected]> * gcm Signed-off-by: Nikolaj Bjorner <[email protected]> * peli Signed-off-by: Nikolaj Bjorner <[email protected]> * Add .env to gitignore to prevent environment files from being tracked * Add m_num_pelis counter to stats in sls_context * Remove m_num_pelis member from stats struct in sls_context * Enhance bv_sls_eval with improved repair and logging, refine is_bv_predicate in sls_bv_plugin * Remove verbose logging in register_term function of sls_basic_plugin and fix formatting in sls_context * Rename source files for consistency in `src/ast/sls` directory * Refactor bv_sls files to sls_bv with namespace and class name adjustments * Remove typename from member declarations in bv_fixed class * fixing conca Signed-off-by: Nikolaj Bjorner <[email protected]> * Add initial implementation of bit-vector SLS evaluation module in bv_sls_eval.cpp * Remove bv_sls_eval.cpp as part of code cleanup and refactoring * Refactor alignment of member variables in bv_plugin of sls namespace * Rename SLS engine related files to reflect their specific use for bit-vectors * Refactor SLS engine and evaluator components for bit-vector specifics and adjust memory manager alignment * Enhance bv_eval with use_current, lookahead strategies, and randomization improvements in SLS module * Refactor verbose logging and fix logic in range adjustment functions in sls bv modules * Remove commented verbose output in sls_bv_plugin.cpp during repair process * Add early return after setting fixed subterms in sls_bv_fixed.cpp * Remove redundant return statement in sls_bv_fixed.cpp * fixes to new value propagation Signed-off-by: Nikolaj Bjorner <[email protected]> * Refactor sls bv evaluation and fix logic checks for bit operations * Add array plugin support and update bv_eval in ast_sls module * Add array, model value, and user sort plugins to SLS module with enhancements in array propagation logic * Refactor array_plugin in sls to improve handling of select expressions with multiple arguments * Enhance array plugin with early termination and propagation verification, and improve euf and user sort plugins with propagation adjustments and debugging enhancements * Add support for handling 'distinct' expressions in SLS context and user sort plugin * Remove model value and user sort plugins from SLS theory * replace user plugin by euf plugin Signed-off-by: Nikolaj Bjorner <[email protected]> * remove extra file Signed-off-by: Nikolaj Bjorner <[email protected]> * Refactor handling of term registration and enhance distinct handling in sls_euf_plugin * Add TODO list for enhancements in sls_euf_plugin.cpp * add incremental mode * updated package * fix sls build Signed-off-by: Nikolaj Bjorner <[email protected]> * break sls build Signed-off-by: Nikolaj Bjorner <[email protected]> * fix build * break build again * fix build Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes Signed-off-by: Nikolaj Bjorner <[email protected]> * fixing incremental Signed-off-by: Nikolaj Bjorner <[email protected]> * avoid units Signed-off-by: Nikolaj Bjorner <[email protected]> * fixup handling of disequality propagation Signed-off-by: Nikolaj Bjorner <[email protected]> * fx Signed-off-by: Nikolaj Bjorner <[email protected]> * recover shift-weight loop Signed-off-by: Nikolaj Bjorner <[email protected]> * alternate Signed-off-by: Nikolaj Bjorner <[email protected]> * throttle save model Signed-off-by: Nikolaj Bjorner <[email protected]> * allow for alternating Signed-off-by: Nikolaj Bjorner <[email protected]> * fix test for new signature of flip Signed-off-by: Nikolaj Bjorner <[email protected]> * bug fixes Signed-off-by: Nikolaj Bjorner <[email protected]> * restore use of value_hash Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes Signed-off-by: Nikolaj Bjorner <[email protected]> * adding dt plugin Signed-off-by: Nikolaj Bjorner <[email protected]> * adt Signed-off-by: Nikolaj Bjorner <[email protected]> * dt updates Signed-off-by: Nikolaj Bjorner <[email protected]> * added cycle detection Signed-off-by: Nikolaj Bjorner <[email protected]> * updated sls-datatype Signed-off-by: Nikolaj Bjorner <[email protected]> * Refactor context management, improve datatype handling, and enhance logging in sls plugins. * axiomatize dt Signed-off-by: Nikolaj Bjorner <[email protected]> * add missing factory plugins to model Signed-off-by: Nikolaj Bjorner <[email protected]> * fixup finite domain search Signed-off-by: Nikolaj Bjorner <[email protected]> * fixup finite domain search Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes Signed-off-by: Nikolaj Bjorner <[email protected]> * redo dfs Signed-off-by: Nikolaj Bjorner <[email protected]> * fixing model construction for underspecified operators Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes to occurs check Signed-off-by: Nikolaj Bjorner <[email protected]> * fixup interpretation building Signed-off-by: Nikolaj Bjorner <[email protected]> * saturate worklist Signed-off-by: Nikolaj Bjorner <[email protected]> * delay distinct axiom Signed-off-by: Nikolaj Bjorner <[email protected]> * adding model-based sls for datatatypes * update the interface in sls_solver to transfer phase between SAT and SLS * add value transfer option Signed-off-by: Nikolaj Bjorner <[email protected]> * rename aux functions * Track shared variables using a unit set * debugging parallel integration * fix dirty flag setting * update log level * add plugin to smt_context, factor out sls_smt_plugin functionality. * bug fixes * fixes * use common infrastructure for sls-smt * fix build Signed-off-by: Nikolaj Bjorner <[email protected]> * fix build Signed-off-by: Nikolaj Bjorner <[email protected]> * remove declaration of context Signed-off-by: Nikolaj Bjorner <[email protected]> * add virtual destructor Signed-off-by: Nikolaj Bjorner <[email protected]> * build warnings Signed-off-by: Nikolaj Bjorner <[email protected]> * reorder inclusion order to define smt_context before theory_sls Signed-off-by: Nikolaj Bjorner <[email protected]> * change namespace for single threaded Signed-off-by: Nikolaj Bjorner <[email protected]> * check delayed eqs before nla Signed-off-by: Nikolaj Bjorner <[email protected]> * use independent completion flag for sls to avoid conflating with genuine cancelation * validate sls-arith lemmas Signed-off-by: Nikolaj Bjorner <[email protected]> * bugfixes Signed-off-by: Nikolaj Bjorner <[email protected]> * add intblast to legacy SMT solver * fixup model generation for theory_intblast Signed-off-by: Nikolaj Bjorner <[email protected]> * na Signed-off-by: Nikolaj Bjorner <[email protected]> * mk_value needs to accept more cases where integer expression doesn't evalate Signed-off-by: Nikolaj Bjorner <[email protected]> * use th-axioms to track origins of assertions Signed-off-by: Nikolaj Bjorner <[email protected]> * add missing operator handling for bitwise operators Signed-off-by: Nikolaj Bjorner <[email protected]> * add missing operator handling for bitwise operators Signed-off-by: Nikolaj Bjorner <[email protected]> * normalizing inequality Signed-off-by: Nikolaj Bjorner <[email protected]> * add virtual destructor Signed-off-by: Nikolaj Bjorner <[email protected]> * rework elim_unconstrained * fix non-termination Signed-off-by: Nikolaj Bjorner <[email protected]> * use glue as computed without adjustment * update model generation to fix model bug Signed-off-by: Nikolaj Bjorner <[email protected]> * fixes to model construction * remove package and package lock Signed-off-by: Nikolaj Bjorner <[email protected]> * fix build warning Signed-off-by: Nikolaj Bjorner <[email protected]> * use original gai Signed-off-by: Nikolaj Bjorner <[email protected]> --------- Signed-off-by: Nikolaj Bjorner <[email protected]> Signed-off-by: dependabot[bot] <[email protected]> Signed-off-by: Lev Nachmanson <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Sergey Bronnikov <[email protected]> Co-authored-by: Lev Nachmanson <[email protected]> Co-authored-by: LiviaSun <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Bumps docker/build-push-action from 6.0.0 to 6.1.0.
Release notes
Sourced from docker/build-push-action's releases.
Commits
31159d4Merge pull request #1149 from docker/dependabot/npm_and_yarn/docker/actions-t...07e1c3echore: update generated contentf7febd6chore(deps): Bump@docker/actions-toolkitfrom 0.26.2 to 0.27.0f6010eaMerge pull request #1147 from docker/dependabot/npm_and_yarn/docker/actions-t...c0a6b96chore: update generated content0dfe9c3chore(deps): Bump@docker/actions-toolkitfrom 0.26.1 to 0.26.294f8f8cMerge pull request #1142 from docker/dependabot/npm_and_yarn/docker/actions-t...22f4433chore: update generated content6721c56chore(deps): Bump@docker/actions-toolkitfrom 0.26.0 to 0.26.14367da9Merge pull request #1140 from docker/dependabot/github_actions/docker/bake-ac...Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)