mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-04 16:44:07 +00:00
Code Activity
19575 commits 22 branches 48 tags 155 MiB
Commit graph

29 commits

Author SHA1 Message Date
Nikolaj Bjorner eb97fcc273 mild refactoring 2025-03-16 12:24:41 -07:00
Nikolaj Bjorner fa5a50c4f9 fix #7295 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-03-12 11:43:31 -07:00
Nikolaj Bjorner ec93972356 fixup unit tests 2025-02-27 17:18:53 -08:00
Nikolaj Bjorner c79967b2b6 using iterators 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-21 19:20:49 -08:00
Nikolaj Bjorner 17f239c2cb base line specbot 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-21 16:07:13 -08:00
Nikolaj Bjorner 589fb1b04f base line specbot 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-21 16:00:08 -08:00
Nikolaj Bjorner 01fbc0e8e7 fix #7563 2025-02-19 14:55:27 -08:00
Nikolaj Bjorner eee96ec312 bug fixes and cleanup in projection functions 
spacer would drop variables of sorts not handled by main loop.
- projection with witness needs to disable qel style preprocessing to ensure witnesses are returned.
- add euf plugin to handle uninterpreted sorts (and then uninterpreted functions)
 2025-02-15 14:11:20 -08:00
Nikolaj Bjorner 0cf2b5f515 add retry, rename to optibot 2025-02-14 08:39:21 -08:00
Nikolaj Bjorner 6b9ce8638f fixes to opt-tool 2025-02-13 22:24:02 -08:00
Nikolaj Bjorner 719ea6a2a7 added ai scripts 2025-02-13 21:11:58 -08:00
Nikolaj Bjorner 9fad15e2ca adding mergeopt 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-13 15:00:05 -08:00
Nikolaj Bjorner 01ba749a5d focused query to optimize 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-13 10:01:34 -08:00
Nikolaj Bjorner a003139704 update description 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-13 09:59:17 -08:00
Nikolaj Bjorner 45f3ea3bf4 add treesitter functionality 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-13 09:57:26 -08:00
Nikolaj Bjorner d10efa667a stub for treesitter 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-12 19:56:33 -08:00
Nikolaj Bjorner 5c18ce8cea genai testing 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-12 19:55:39 -08:00
Nikolaj Bjorner 4e51af1167 update instructions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-11 22:05:19 -08:00
Nikolaj Bjorner 94d3c591b5 make sure ackermann works with arrays that have more than one argument 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-11 21:28:31 -08:00
Nikolaj Bjorner a3739aa934 add mycop in addition to code complete 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-11 20:04:52 -08:00
Nikolaj Bjorner 114cae50a5 update gcm script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-12-20 17:27:21 +01:00
Peli de Halleux 24d7b05c0d
refactor and optimize git operations for commit messages and failure analysis (#7412) 2024-10-04 16:55:00 -07:00
Nikolaj Bjorner fc1c6b48ce try to build java on linux/arm nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 04:14:12 +01:00
Nikolaj Bjorner afaa48d72a sample fix script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-23 19:06:51 +01:00
Peli de Halleux c34c8477f3
Add .gitattributes for genaiscript and update git commit flow script. (#7396) 2024-09-23 17:47:34 +01:00
Nikolaj Bjorner ee347735be remove junk 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-23 13:34:33 +01:00
Nikolaj Bjorner eb8c63080a Refactor and fix uninitialized variables and improve function consistency across multiple modules 2024-09-23 13:34:33 +01:00
Nikolaj Bjorner 6086a30c07 Add reference URL to GenAI script file for auto Git commit guide 2024-09-02 17:15:49 -07:00
Nikolaj Bjorner db4176adf4 #6902 
See discussion under #6902.
Add genaiscript for commit messages for future use.
 2024-09-02 17:01:35 -07:00