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
