From a003139704153eedcfee547c2058ff1e5fb2eeb7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 13 Feb 2025 09:59:17 -0800 Subject: [PATCH] update description Signed-off-by: Nikolaj Bjorner --- genaisrc/treesitter.genai.mts | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/genaisrc/treesitter.genai.mts b/genaisrc/treesitter.genai.mts index 5d8226b66..878b49a8c 100644 --- a/genaisrc/treesitter.genai.mts +++ b/genaisrc/treesitter.genai.mts @@ -1,10 +1,8 @@ script({ - title: "Invoke LLM code update", + title: "Extract functions from files using treesitter", files: "src/muz/spacer/spacer_qe_project.cpp" }) -// return function names and source code of the functions - function get_functions(captures : QueryCapture[], code : string) { return captures.map(({ name, node }) => ({ code : node.text