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 |
|