Nikolaj Bjorner
|
84a5303def
|
for future ignoring genai files
|
2025-05-21 14:22:20 -07:00 |
|
Nikolaj Bjorner
|
ad02d18e63
|
add prd (#7649)
* add prd
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* missing text
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* fix
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* fix #7647
* fix #7647 - with respect to scope level
---------
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2025-05-17 17:07:03 -07:00 |
|
Nikolaj Bjorner
|
644118660f
|
list euf dependency in api cmakefile
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2025-05-07 15:47:03 -07:00 |
|
Nikolaj Bjorner
|
2b6055040b
|
update agentz3 sample based on hugging face training/test data
https://huggingface.co/datasets/CardinalOperations/IndustryOR/blob/main/IndustryOR.json
|
2025-04-05 14:43:30 -07:00 |
|
Nikolaj Bjorner
|
01fbc0e8e7
|
fix #7563
|
2025-02-19 14:55:27 -08:00 |
|
Peli de Halleux
|
c34c8477f3
|
Add .gitattributes for genaiscript and update git commit flow script. (#7396)
|
2024-09-23 17:47:34 +01:00 |
|