Search results

[feat] warn if no output predicate exists

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 120

#120 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Aug 26, 2025

[doc] add experiments scripts for icse25 paper @xiexie

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 108

#108 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Apr 28, 2025

[doc] fix java example error in godelscript documents

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 107

#107 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Apr 28, 2025

[feat] improve inst combine pass, optimize generated soufflé code

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 94

#94 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Feb 11, 2025

[feat] variable directly called in binary expression is not grounded

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 93

#93 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Feb 8, 2025

[feat] default enable inst combine pass to avoid ungrounded error

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 92

#92 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Jan 9, 2025

[fix] fix #90 self not constraint bug

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 91

#91 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Jan 7, 2025

[fix] fix CI issue

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 89

#89 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Jan 7, 2025

[doc] add example of getting mybatis generated DOClass info

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 87

#87 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Jan 3, 2025

[sync] update Gödelscript source code

enhancementNew feature or requestNew feature or request

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 82

#82 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Dec 17, 2024

[doc] fix broken link

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 75

#75 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Sep 12, 2024

[doc] update COREF Library Reference github pages

Status: Merged (completed).

codefuse-ai/CodeFuse-Querynumber 74

#74 In codefuse-ai/CodeFuse-Query;

· by ValKmjolnir was closed on Sep 9, 2024