This website requires JavaScript.
Explore
Help
Sign In
devs
/
cproof
Watch
1
Star
2
Fork
1
You've already forked cproof
Code
Issues
43
Pull Requests
6
Actions
Packages
Projects
1
Releases
Wiki
Activity
All Workflows
ci-api-docs.yml
ci-code.yml
docker-publish.yml
Actor
All actors
admin
jabber.developer
jabber.developer2
Status
All status
Success
Failure
Waiting
Running
fix(ai): standardize lock handling in _ai_invoke_callback
ci-code.yml #358
:
Commit
634fb7d7eb
pushed by
jabber.developer
#113
2026-05-01 11:38:59 +00:00
3m20s
refactor(ai): use stateful autocomplete for provider name matching
ci-code.yml #357
:
Commit
461c0c32dd
pushed by
jabber.developer
#113
2026-04-30 23:20:09 +00:00
3m47s
refactor(ai): flatten autocomplete into sequential prefix-matching chain
ci-code.yml #356
:
Commit
002a6ed15b
pushed by
jabber.developer
#113
2026-04-30 23:15:07 +00:00
4m43s
fix(ai): move generic subcommand autocomplete outside nested conditionals
ci-code.yml #355
:
Commit
dc75f16221
pushed by
jabber.developer
#113
2026-04-30 22:56:01 +00:00
4m39s
fix(ai): join multi-word arguments in cmd_ai_correct
ci-code.yml #354
:
Commit
da0bf43d73
pushed by
jabber.developer
#113
2026-04-30 19:29:45 +00:00
4m54s
fix(ai): fix provider_name leak and const-cast in cmd_ai_start
ci-code.yml #353
:
Commit
9e1f9b666e
pushed by
jabber.developer
#113
2026-04-30 19:23:55 +00:00
8m55s
fix(ai): align ai_list_providers with documented contract
ci-code.yml #352
:
Commit
93ad7379e2
pushed by
jabber.developer
#113
2026-04-30 19:17:16 +00:00
7m4s
fix(ai): remove redundant g_strdup on api_key assignment
ci-code.yml #351
:
Commit
caa0b3ccba
pushed by
jabber.developer
#113
2026-04-30 19:13:58 +00:00
6m58s
fix(ai): remove API key from debug log
ci-code.yml #350
:
Commit
c9a5239117
pushed by
jabber.developer
#113
2026-04-30 19:09:50 +00:00
4m0s
fix(ai): remove duplicate assistant response in the message history
ci-code.yml #349
:
Commit
bccd3ecded
pushed by
jabber.developer
#113
2026-04-30 18:12:14 +00:00
5m47s
ref(ai): move unfitting functions out of window.c; create aiwin.c
ci-code.yml #348
:
Commit
cff05ca802
pushed by
jabber.developer
#113
2026-04-30 18:10:04 +00:00
8m26s
ref(ai): add stub, fix includes, move aiwin_send_message location
ci-code.yml #347
:
Commit
9c8ad57b59
pushed by
jabber.developer
#113
2026-04-30 17:45:07 +00:00
3m22s
perf+harden(export): 25x faster export at 1M, mkstemp, full-body dedup
ci-code.yml #346
:
Commit
555faaa232
pushed by
jabber.developer2
#94
2026-04-30 14:19:38 +00:00
4m39s
feat(ai): add AI client with multi-provider support and UI
ci-code.yml #345
:
Commit
e43e8378b0
pushed by
jabber.developer
#113
2026-04-29 19:39:56 +00:00
3m15s
Revert build: enable -Wconversion/-Wsign-compare and add --enable-sanitizers
ci-code.yml #344
:
Commit
a7ad9ac0a4
pushed by
jabber.developer2
#105
2026-04-28 15:56:34 +00:00
5m5s
fix: address open PR #105 review comments (leaks + null safety)
ci-code.yml #343
:
Commit
60da899bd9
pushed by
jabber.developer2
#105
2026-04-28 14:41:51 +00:00
7m30s
fix(subprojects): point libstrophe.wrap at libstrophe-gh-mirror
ci-code.yml #342
:
Commit
1e372f6fa8
pushed by
jabber.developer2
#105
2026-04-28 07:46:18 +00:00
10m14s
refactor: rename argument to avoid C++ keyword conflict
ci-code.yml #341
:
Commit
6c25806bec
pushed by
jabber.developer
#8
2026-04-26 11:25:56 +00:00
7m42s
ci: fix Valgrind startup failure on Arch via DEBUGINFOD_URLS
ci-code.yml #340
:
Commit
c815c39cdd
pushed by
jabber.developer2
#105
2026-04-24 12:51:17 +00:00
8m46s
refactor: address PR #105 review feedback
ci-code.yml #339
:
Commit
4401e817d0
pushed by
jabber.developer2
#105
2026-04-24 12:24:42 +00:00
7m12s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #338
:
Commit
0feacbc9da
pushed by
jabber.developer
master
2026-04-21 14:08:06 +00:00
7m45s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #337
:
Commit
0feacbc9da
pushed by
jabber.developer
#108
2026-04-21 13:54:52 +00:00
9m52s
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #336
:
Commit
04dafdf36f
pushed by
jabber.developer
#108
2026-04-21 12:37:17 +00:00
13m19s
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #335
:
Commit
4a59ccaa80
pushed by
jabber.developer
#108
2026-04-20 06:07:07 +00:00
7m20s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #334
:
Commit
7ef45977c8
pushed by
jabber.developer
#108
2026-04-19 13:27:45 +00:00
13m26s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #333
:
Commit
8c6c9f4f42
pushed by
jabber.developer
#108
2026-04-18 16:56:52 +00:00
9m52s
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #332
:
Commit
4611bd339d
pushed by
jabber.developer
#108
2026-04-18 16:43:44 +00:00
6m47s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #331
:
Commit
8c6c9f4f42
pushed by
jabber.developer
#108
2026-04-18 16:24:22 +00:00
10m28s
fix: null pointer dereference guards (CWE-476)
ci-code.yml #330
:
Commit
43aeaf6e3b
pushed by
jabber.developer2
#107
2026-04-17 13:38:38 +00:00
12m20s
fix: address GCC -fanalyzer warnings
ci-code.yml #329
:
Commit
d3ab7eb0e3
pushed by
jabber.developer2
#107
2026-04-17 11:03:31 +00:00
13m4s
First
Previous
...
6
7
8
9
10
...
Next
Last