copilot-swe-agent[bot]
|
af2e60c069
|
code-simplifier: fix JavaDoc formatting in Context.java and extract ternary in Solver.cs
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-25 21:49:23 +00:00 |
|
copilot-swe-agent[bot]
|
db98f1e2f7
|
Initial plan
|
2026-02-25 21:45:23 +00:00 |
|
Nikolaj Bjorner
|
fba1e4b648
|
Merge pull request #8737 from Z3Prover/copilot/fix-refutational-soundness-bug
Fix soundness bug: RNE/RNA overflow to ±infinity in symbolic Real-to-FP conversion
|
2026-02-25 13:34:59 -08:00 |
|
Nikolaj Bjorner
|
412c56ecc8
|
Merge pull request #8767 from Z3Prover/copilot/fix-ubv-to-int-bug
Fix intblast: assert ubv_to_int(compound) = translation equality
|
2026-02-25 13:32:40 -08:00 |
|
Nikolaj Bjorner
|
c51f45bf5e
|
Merge pull request #8766 from Z3Prover/copilot/fix-critical-bugs-from-discussion
Fix critical static-analysis true positives: null deref, division by zero, dangling pointer
|
2026-02-25 09:22:45 -08:00 |
|
Lev Nachmanson
|
a7ea22f24f
|
remove an unnecessary template from levelwise
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2026-02-25 07:03:23 -10:00 |
|
Lev Nachmanson
|
66d19c4d3f
|
Merge pull request #8770 from Z3Prover/lws
Optimizes the substitution of a non-nullified witness by an lc or a disc if they are added to the projection and do not vanish.
|
2026-02-25 06:25:58 -10:00 |
|
Lev Nachmanson
|
0835420cc1
|
change the default of param lws_subs_witness_disc to true
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2026-02-24 15:24:35 -10:00 |
|
copilot-swe-agent[bot]
|
4860d57ae9
|
Fix intblast ubv_to_int bug: add bv2int axioms for compound expressions
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-25 00:46:13 +00:00 |
|
copilot-swe-agent[bot]
|
ae4cb5557a
|
Fix true positive critical bugs from static analysis discussion #8764
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-25 00:41:59 +00:00 |
|
copilot-swe-agent[bot]
|
1b68ee5f30
|
Initial plan
|
2026-02-25 00:20:49 +00:00 |
|
Nikolaj Bjorner
|
5ccc2cd8c0
|
recompile
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-24 16:17:46 -08:00 |
|
Nikolaj Bjorner
|
b9d098fc0a
|
Merge pull request #8765 from Z3Prover/copilot/update-grep-search-methods
api-coherence-checker: include Rust traits and trait implementations in search
|
2026-02-24 16:17:02 -08:00 |
|
Nikolaj Bjorner
|
0064a2d70a
|
Merge branch 'master' into copilot/update-grep-search-methods
|
2026-02-24 16:16:50 -08:00 |
|
copilot-swe-agent[bot]
|
4a29c77aa2
|
Initial plan
|
2026-02-25 00:15:14 +00:00 |
|
Nikolaj Bjorner
|
48de0f8a5e
|
updated compiled workflows
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-24 16:12:53 -08:00 |
|
Nikolaj Bjorner
|
6a4e8de5f3
|
Merge pull request #8761 from Z3Prover/copilot/add-compilation-database
csa-analysis: add compilation database to CMake configure step
|
2026-02-24 16:11:43 -08:00 |
|
copilot-swe-agent[bot]
|
bf934398d7
|
Update api-coherence-checker to search for Rust traits and trait implementations
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-25 00:10:31 +00:00 |
|
copilot-swe-agent[bot]
|
a0a44c5571
|
Initial plan
|
2026-02-25 00:08:53 +00:00 |
|
Nikolaj Bjorner
|
c580bcd4d1
|
Merge pull request #8762 from TempuraFramework/master
Add missing Java API for `as-array`
|
2026-02-24 13:51:33 -08:00 |
|
copilot-swe-agent[bot]
|
54b0746033
|
Add compilation database to csa-analysis workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 20:05:15 +00:00 |
|
copilot-swe-agent[bot]
|
11cfaf6dfd
|
Initial plan
|
2026-02-24 20:01:56 +00:00 |
|
Ruijie Fang
|
6b79297252
|
Add missing Java API method for as-array
|
2026-02-24 13:55:39 -06:00 |
|
Nikolaj Bjorner
|
c282ece605
|
Merge pull request #8760 from Z3Prover/copilot/add-workflow-for-z3-and-csa
Add weekly Clang Static Analyzer (CSA) agentic workflow with Discussion reporting
|
2026-02-24 11:48:11 -08:00 |
|
Nikolaj Bjorner
|
23d8bdd47c
|
Merge pull request #8758 from Z3Prover/copilot/fix-issues-except-rust
Add missing solver/optimize API methods across Java, .NET, OCaml, Go, and TypeScript bindings
|
2026-02-24 11:47:09 -08:00 |
|
Ruijie Fang
|
4f4e657449
|
Merge branch 'Z3Prover:master' into master
|
2026-02-24 13:39:36 -06:00 |
|
copilot-swe-agent[bot]
|
cdd5582a5b
|
Add Clang Static Analyzer (CSA) agentic workflow with Discussion reporting
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 19:30:15 +00:00 |
|
copilot-swe-agent[bot]
|
6fe956c2f6
|
Initial plan
|
2026-02-24 19:25:21 +00:00 |
|
Lev Nachmanson
|
0074de0fce
|
improve non-zero witness substitution logic
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2026-02-24 09:19:13 -10:00 |
|
Nikolaj Bjorner
|
cfb3a01756
|
Update Solver.cs
|
2026-02-24 09:58:12 -08:00 |
|
copilot-swe-agent[bot]
|
ce04a24348
|
Improve TypeScript Optimize documentation for handle index clarity
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 17:28:45 +00:00 |
|
copilot-swe-agent[bot]
|
9802b32a3e
|
Add missing API methods: dimacs, translate, proof, addSimplifier, getLower/getUpper, etc.
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 17:22:17 +00:00 |
|
Nikolaj Bjorner
|
8e5f1840a9
|
Merge pull request #8755 from Z3Prover/copilot/simplify-go-propagator-callbacks
Simplify Go user propagator callbacks with `withCallback` helper
|
2026-02-24 09:10:21 -08:00 |
|
Nikolaj Bjorner
|
819144f374
|
Merge pull request #8756 from Z3Prover/copilot/create-agentic-workflow-backlog
Add issue backlog processor agentic workflow
|
2026-02-24 09:08:28 -08:00 |
|
copilot-swe-agent[bot]
|
08addfa654
|
Initial plan
|
2026-02-24 17:03:50 +00:00 |
|
copilot-swe-agent[bot]
|
4ebf453365
|
Add issue-backlog-processor agentic workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 16:54:49 +00:00 |
|
copilot-swe-agent[bot]
|
d2f6dd0d5a
|
Initial plan
|
2026-02-24 16:49:41 +00:00 |
|
copilot-swe-agent[bot]
|
575f4a8911
|
Simplify Go user propagator callbacks with withCallback helper
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 16:48:05 +00:00 |
|
copilot-swe-agent[bot]
|
023b29ff0e
|
Initial plan
|
2026-02-24 16:44:52 +00:00 |
|
Nikolaj Bjorner
|
e0161b2e2e
|
Merge pull request #8746 from Z3Prover/copilot/simplify-go-return-logic
Simplify boolean return in goOnBindingCb
|
2026-02-24 08:44:24 -08:00 |
|
Nikolaj Bjorner
|
13cf90ea09
|
Merge pull request #8753 from Z3Prover/copilot/update-api-coherence-checker-workflow
Add Rust bindings (prove-rs/z3.rs) to API coherence checker workflow
|
2026-02-24 08:43:14 -08:00 |
|
Nikolaj Bjorner
|
aaa62efc90
|
Merge pull request #8725 from Z3Prover/copilot/convert-factor-to-simplifier
Convert `factor` tactic to a `dependent_expr_simplifier`
|
2026-02-24 08:42:30 -08:00 |
|
copilot-swe-agent[bot]
|
1f5bc9ba0c
|
Add Rust bindings (prove-rs/z3.rs) to API coherence checker workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 16:36:54 +00:00 |
|
copilot-swe-agent[bot]
|
cac5e83948
|
Initial plan
|
2026-02-24 16:30:20 +00:00 |
|
copilot-swe-agent[bot]
|
3feac95119
|
Simplify boolean return in goOnBindingCb
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-24 04:42:49 +00:00 |
|
copilot-swe-agent[bot]
|
f8e97957f8
|
Initial plan
|
2026-02-24 04:41:56 +00:00 |
|
Nikolaj Bjorner
|
8ec15639e0
|
Merge pull request #8726 from Z3Prover/copilot/convert-cofactor-term-ite-to-simplifier
Convert `cofactor-term-ite` tactic to a simplifier
|
2026-02-23 20:40:23 -08:00 |
|
Nikolaj Bjorner
|
441fbe25fa
|
Merge pull request #8742 from Z3Prover/dependabot/github_actions/actions/setup-go-6
Bump actions/setup-go from 5 to 6
|
2026-02-23 20:33:03 -08:00 |
|
Nikolaj Bjorner
|
fe5c15e1fc
|
Merge pull request #8743 from Z3Prover/dependabot/github_actions/github/gh-aw-0.49.5
Bump github/gh-aw from 0.45.6 to 0.49.5
|
2026-02-23 20:32:37 -08:00 |
|
Nikolaj Bjorner
|
87a8ccfa0e
|
Merge pull request #8744 from Z3Prover/dependabot/github_actions/actions/upload-artifact-6
Bump actions/upload-artifact from 4 to 6
|
2026-02-23 20:32:11 -08:00 |
|