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
Labels
Milestones
New Issue
Plans (2025-2026)
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
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
Assignee
Assigned to nobody
Assigned to anybody
admin
jabber.developer
jabber.developer2
9
Backlog
Add test coverage badge
#57 opened
2025-11-10 12:09:07 +00:00
by
jabber.developer
Kind/Feature
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
Offline functionality
#76 opened
2026-01-21 16:37:00 +00:00
by
jabber.developer
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
Add autotests for plugins
#50 opened
2025-11-10 09:04:15 +00:00
by
jabber.developer
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
Improve plugin update mechanism
#54 opened
2025-11-10 09:31:02 +00:00
by
jabber.developer
Kind/Enhancement
Priority
Low
4
Reviewed
Confirmed
1
Add multithread support on Python API
#56 opened
2025-11-10 12:08:41 +00:00
by
jabber.developer
Kind/Enhancement
Priority
Low
4
Reviewed
Confirmed
1
Branding
#42 opened
2025-10-14 10:37:03 +00:00
by
jabber.developer
0 / 5
Kind/Documentation
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
Fix Fedora build: h264 codec fetching from Cisco is failing
#53 opened
2025-11-10 09:29:23 +00:00
by
jabber.developer
WIP: Reenable Fedora tests
#19
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
Add perf tests
#83 opened
2026-01-27 16:40:41 +00:00
by
jabber.developer
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
Status
Need More Info
2
PGP locking issue
#52 opened
2025-11-10 09:22:20 +00:00
by
jabber.developer
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
Status
Need More Info
2
4
To Do
SQLite history load merges LMC corrections regardless of PREF_CORRECTION_ALLOW
#125 opened
2026-05-16 14:52:02 +00:00
by
jabber.developer2
0 / 4
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
TODOs and Disabled Tests in Functional Tests
#66 opened
2026-01-06 15:08:04 +00:00
by
jabber.developer2
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
Verify library compatibility across supported distributions
#71 opened
2026-01-16 15:34:47 +00:00
by
jabber.developer2
0 / 4
Kind/Enhancement
Priority
Low
4
Reviewed
Confirmed
1
Add fault injection code in tests
#70 opened
2026-01-16 15:29:27 +00:00
by
jabber.developer2
0 / 4
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
0
In Progress
0
Verification
9
Done
Display of message bigger than ncurses buffer
#43 by
jabber.developer
was closed
2026-06-24 16:23:14 +00:00
fix(ui): reclaim pad by dead space instead of absolute height
#135
Kind/Bug
Priority
Low
4
Reviewed
Confirmed
1
Investigate extensive memory usage
#51 by
jabber.developer
was closed
2026-06-24 07:24:59 +00:00
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
OMEMO error mem leaks
#122 by
jabber.developer
was closed
2026-06-20 11:00:52 +00:00
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
[AI-feature] Memory leaks
#120 by
jabber.developer
was closed
2026-05-15 14:23:03 +00:00
Fix AI memory leaks
#121
Kind/Bug
Priority
High
2
Reviewed
Confirmed
1
Add embedded AI support
#110 by
jabber.developer
was closed
2026-05-15 02:22:56 +00:00
[#110] Add AI client with multi-provider support and UI
#113
0 / 20
Kind/Feature
Priority
High
2
Reviewed
Confirmed
1
[CI] Detect flag collisions caused by Pikaur's configuration logic
#55 by
jabber.developer
was closed
2026-04-25 18:13:11 +00:00
CI: Simulate Pikaur flag duplication in Arch Linux builds (fix #55)
#108
4 / 4
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
Make security audit for CWE-134
#85 by
jabber.developer
was closed
2026-03-07 10:58:04 +00:00
fix: CWE-134 format string vulnerability and compiler flags audit
#98
[#49] harden NULL handling and resource lifecycle across UI and SQLite
#47
Kind/Security
Priority
Critical
1
Reviewed
Confirmed
1
Add tests for XEP-0030 Service Discovery
#84 by
jabber.developer
was closed
2026-03-04 11:53:00 +00:00
WIP: tests: Add disco tests
#99
test: add functional tests for autoping and service discovery (XEP-0199, XEP-0030)
#88
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
Arch build is broken
#93 by
jabber.developer
was closed
2026-03-04 10:38:55 +00:00
Fix arch build
#95
Fix arch build
#92
Kind/Bug
Priority
High
2
Reviewed
Confirmed
1