devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity
Labels Milestones New Issue
43 Open 40 Closed
Label
Clear labels
Compat/Breaking
Kind/Bug
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Security
Kind/Testing
Priority
Critical
1
Priority
High
2
Priority
Low
4
Priority
Medium
3
Reviewed
Confirmed
1
Reviewed
Duplicate
2
Reviewed
Invalid
3
Reviewed
Won't Fix
3
Status
Abandoned
3
Status
Blocked
1
Status
Need More Info
2
Milestone
No milestone
Projects
Clear projects
Open Projects
Plans (2025-2026)
Assignee
Clear assignees
No assignee
admin
jabber.developer
jabber.developer2
Increase software and version privacy
Kind/Enhancement
Kind/Security
Priority
High
2
Reviewed
Confirmed
1
#165 by jabber.developer was closed 2026-07-10 10:39:27 +00:00 Plans (2025-2026)
1
PGP messages are not being encrypted if key is expired
Kind/Bug
Kind/Security
Priority
Critical
1
Reviewed
Confirmed
1
#142 by jabber.developer was closed 2026-06-29 15:37:43 +00:00 Plans (2025-2026)
1
[CI] Add automated Docker Hub publishing workflow
Priority
Medium
3
#140 by jabber.developer was closed 2026-07-11 21:39:28 +00:00 Plans (2025-2026) 5 / 12
1
Build system modifies tracked src/gitversion.h.in
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#139 by jabber.developer was closed 2026-06-23 12:34:21 +00:00 Plans (2025-2026) 0 / 1
OMEMO error mem leaks
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#122 by jabber.developer was closed 2026-06-20 11:00:52 +00:00 Plans (2025-2026)
1
[AI-feature] Memory leaks
Kind/Bug
Priority
High
2
Reviewed
Confirmed
1
#120 by jabber.developer was closed 2026-05-15 14:23:03 +00:00 Plans (2025-2026) 2026-05-15
1
nodb backlog
#114 by jabber.developer was closed 2026-05-16 15:34:25 +00:00 1 / 7
Follow-up issues for PR #105
#112 by jabber.developer2 was closed 2026-06-20 10:55:51 +00:00 Plans (2025-2026) 0 / 30
2
Add embedded AI support
Kind/Feature
Priority
High
2
Reviewed
Confirmed
1
#110 by jabber.developer was closed 2026-05-15 02:22:56 +00:00 Plans (2025-2026) 0 / 20
Reenable build flags
#109 by jabber.developer was closed 2026-06-20 10:30:41 +00:00 Plans (2025-2026)
Arch build is broken
Kind/Bug
Priority
High
2
Reviewed
Confirmed
1
#93 by jabber.developer was closed 2026-03-04 10:38:55 +00:00 Plans (2025-2026)
1
XEP-0030: Empty disco#items result silently ignored
Kind/Bug
#90 by jabber.developer2 was closed 2026-02-11 08:43:33 +00:00 Plans (2025-2026) fix/xep-0030-empty-disco-items
1
Make security audit for CWE-134
Kind/Security
Priority
Critical
1
Reviewed
Confirmed
1
#85 by jabber.developer was closed 2026-03-07 10:58:04 +00:00 Plans (2025-2026)
1
Add tests for XEP-0030 Service Discovery
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
#84 by jabber.developer was closed 2026-03-04 11:53:00 +00:00 Plans (2025-2026) tests/disco
1
Functional tests are failing during CI
Kind/Testing
Priority
High
2
Reviewed
Confirmed
1
#78 by jabber.developer was closed 2026-02-02 16:47:30 +00:00 Plans (2025-2026)
ci security: Remove -c http.sslverify=false from git clone commands
Kind/Security
Priority
Low
4
Reviewed
Confirmed
1
#74 by jabber.developer was closed 2026-01-21 17:55:14 +00:00 Plans (2025-2026) 2026-01-21
1
Add fault injection testing CI infrastructure
Kind/Testing
#73 by jabber.developer2 was closed 2026-01-21 15:52:37 +00:00 Plans (2025-2026) feat/parallel-tests-clean 0 / 3
Merge Profanity's latest upstream updates into CProof
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
#64 by jabber.developer2 was closed 2026-05-26 17:48:20 +00:00 Plans (2025-2026)
Enable functional tests
#59 by jabber.developer was closed 2026-01-14 08:53:45 +00:00 Plans (2025-2026) fix/functional_tests
1
Minor optimizations and improvements
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
#58 by jabber.developer was closed 2026-02-06 19:01:48 +00:00 Plans (2025-2026) playground/fix/src_refactoring 3 / 3