mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-12 20:04:08 +00:00
Code Activity
20648 commits 57 branches 56 tags 173 MiB
Commit graph

20648 commits

This branch
This branch
All branches
Author SHA1 Message Date
copilot-swe-agent[bot]
682ed62dd7 Recompile a3-python-v2 workflow with gh-aw v0.43.5 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 11:21:05 +00:00
copilot-swe-agent[bot]
385d8746ab Optimize a3-python-v2 workflow for better issue formatting 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 11:06:08 +00:00
copilot-swe-agent[bot]
7382174029 Initial plan 2026-02-11 11:02:38 +00:00
Nikolaj Bjorner
c006174c90 fix underscore 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-11 02:36:16 -08:00
Nikolaj Bjorner
2a337915e0
Fix indentation for publish-test-pypi job 2026-02-10 20:48:00 -08:00
Nikolaj Bjorner
e53f5c8543
Rename publish-test.pypi to publish-test-pypi 2026-02-10 20:46:54 -08:00
Nikolaj Bjorner
770eb960be publish test pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 20:45:36 -08:00
Nikolaj Bjorner
33c79d5ee8
Update Linux binary handling in nightly workflow 
Replaced unzip commands with copy commands for Linux binaries.
 2026-02-10 20:28:15 -08:00
Nikolaj Bjorner
ffd9207bc5 fix #8572 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 20:22:27 -08:00
Nikolaj Bjorner
b0937d06fa
Merge pull request #8580 from Z3Prover/add-workflow-a3-a3-python-v2.md-6734 
Add agentic workflow a3-python-v2
 2026-02-10 19:53:25 -08:00
Nikolaj Bjorner
46ad0f67b3 Add agentic workflow a3-python-v2 2026-02-10 19:53:13 -08:00
Nikolaj Bjorner
a91c5c58bd v2 workflow 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 19:52:07 -08:00
Nikolaj Bjorner
b086050568 remove readmes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 17:39:09 -08:00
Nikolaj Bjorner
74502a969c recompile aw 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 17:27:30 -08:00
Nikolaj Bjorner
2bc6bf05c1
Merge pull request #8574 from Z3Prover/copilot/fix-a3-python-file-processing 
Fix a3-python workflow sparse-checkout to include Python source files
 2026-02-10 17:26:16 -08:00
Nikolaj Bjorner
cc98815ab4
Update nightly.yml 2026-02-10 17:23:45 -08:00
Nikolaj Bjorner
9f35314188 fix #8552 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 17:21:14 -08:00
copilot-swe-agent[bot]
c31844f298 Add documentation for a3-python workflow fix 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 00:33:36 +00:00
copilot-swe-agent[bot]
25fc58c717 Add sparse-checkout step to a3-python workflow for Python source files 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-11 00:33:03 +00:00
copilot-swe-agent[bot]
e1d48b6295 Initial plan 2026-02-11 00:30:13 +00:00
Nikolaj Bjorner
71bf76e76c update 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 15:59:03 -08:00
Nikolaj Bjorner
6dc326dd20
Merge pull request #8573 from Z3Prover/copilot/fix-a3-python-documentation 
Fix YAML indentation in a3-python.md frontmatter
 2026-02-10 15:57:44 -08:00
copilot-swe-agent[bot]
da210a73b8 Fix YAML indentation in a3-python.md network field 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 23:56:03 +00:00
copilot-swe-agent[bot]
79c9bd7972 Initial plan 2026-02-10 23:53:28 +00:00
Nikolaj Bjorner
e6c05d55a7 fix another regression by Nuno's changes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 15:42:23 -08:00
Lev Nachmanson
850cc3e120 relax a too strong assert 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2026-02-10 13:24:52 -10:00
Nikolaj Bjorner
b8d9baa088
Merge pull request #8570 from Z3Prover/copilot/recompile-a3-python-documentation 
Recompile a3-python agentic workflow to v0.43.2
 2026-02-10 15:17:47 -08:00
copilot-swe-agent[bot]
826581e2ef Recompile a3-python.md workflow with gh-aw v0.43.2 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 23:10:24 +00:00
copilot-swe-agent[bot]
6cefe08831 Initial plan 2026-02-10 23:08:59 +00:00
Nikolaj Bjorner
426d1ae923
Add network permissions to Python workflow 2026-02-10 15:08:36 -08:00
Copilot
eec25c1ad8
Simplify svector assignment operators using = default (#8566) 
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 22:27:42 +00:00
Nikolaj Bjorner
53cae328c4
Merge pull request #8569 from Z3Prover/copilot/create-a3-python-workflow 
Add a3-python workflow for automated Python code analysis
 2026-02-10 13:17:12 -08:00
Nikolaj Bjorner
7e5ffd722c
Enhance nightly workflow to include Linux builds 
Added support for Linux binaries in the nightly workflow.
 2026-02-10 13:15:28 -08:00
Nikolaj Bjorner
bc74dae836
Delete .github/workflows/README-a3-python.md 2026-02-10 13:04:59 -08:00
Nikolaj Bjorner
4d635340d9 fix build of test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-10 12:56:13 -08:00
copilot-swe-agent[bot]
bb0b8dab31 Add README documentation for a3-python workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 20:53:54 +00:00
copilot-swe-agent[bot]
b5b6c4c124 Add a3-python agentic workflow 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-10 20:52:50 +00:00
copilot-swe-agent[bot]
e989587c75 Initial plan 2026-02-10 20:49:08 +00:00
Nuno Lopes
de26d8f6f7 revert swap changes to fix CI 2026-02-10 19:30:49 +00:00
Nikolaj Bjorner
b8a036816e
Merge pull request #8561 from Z3Prover/dependabot/github_actions/githubnext/gh-aw-0.42.17 
Bump githubnext/gh-aw from 0.40.0 to 0.42.17
 2026-02-10 10:26:42 -08:00
Nikolaj Bjorner
aa9275f8f5
Merge pull request #8560 from Z3Prover/dependabot/github_actions/github/gh-aw-0.42.17 
Bump github/gh-aw from 0.42.6 to 0.42.17
 2026-02-10 10:26:32 -08:00
Nikolaj Bjorner
2ec185c2d2
Merge pull request #8559 from Z3Prover/dependabot/github_actions/actions/download-artifact-7.0.0 
Bump actions/download-artifact from 6.0.0 to 7.0.0
 2026-02-10 10:26:23 -08:00
Nikolaj Bjorner
a7b9df14f4 fix build warnings and scoop up after Nuno's leaks 2026-02-10 09:32:26 -08:00
Nuno Lopes
bcca975d2d fix crash 2026-02-10 10:33:36 +00:00
Nuno Lopes
915ad35012 remove a few copies 2026-02-10 09:52:03 +00:00
dependabot[bot]
99a7eb9a40
Bump githubnext/gh-aw from 0.40.0 to 0.42.17 
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw) from 0.40.0 to 0.42.17.
- [Release notes](https://github.com/githubnext/gh-aw/releases)
- [Changelog](https://github.com/github/gh-aw/blob/main/CHANGELOG.md)
- [Commits](https://github.com/githubnext/gh-aw/compare/v0.40.0...v0.42.17)

---
updated-dependencies:
- dependency-name: githubnext/gh-aw
  dependency-version: 0.42.17
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-10 00:44:41 +00:00
dependabot[bot]
a93cc405e7
Bump github/gh-aw from 0.42.6 to 0.42.17 
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.42.6 to 0.42.17.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Changelog](https://github.com/github/gh-aw/blob/main/CHANGELOG.md)
- [Commits](https://github.com/github/gh-aw/compare/v0.42.6...v0.42.17)

---
updated-dependencies:
- dependency-name: github/gh-aw
  dependency-version: 0.42.17
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-10 00:43:56 +00:00
dependabot[bot]
2ccb0b3fae
Bump actions/download-artifact from 6.0.0 to 7.0.0 
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v6...v7)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: 7.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-02-10 00:43:44 +00:00
Nuno Lopes
617c621cc0 replace some copies with moves 2026-02-09 22:45:28 +00:00
Nikolaj Bjorner
73844f9a7f set random seed directly on m_smt_params before context initialization 
updates to random seed on ctx does not get propagated to arithmetic solver, preventing diversity within arithmetic solver.
 2026-02-09 14:44:08 -08:00