Logo
Explore Help
Sign In
devs/cproof
1
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
18 Open 21 Closed
Label
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

Milestone
All milestones No milestones
Project
All projects No project
Open Projects
Plans (2025-2026)
Author
All users
Assignee
Assigned to nobody Assigned to anybody
admin jabber.developer jabber.developer2
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
Label
Priority Reviewed Status
18 Open 21 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
Readline buffer limit
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#154 opened 2026-07-05 12:22:22 +00:00 by jabber.developer
SQLite history load merges LMC corrections regardless of PREF_CORRECTION_ALLOW
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#125 opened 2026-05-16 14:52:02 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 4
Add perf tests
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
Status
Need More Info
2
#83 opened 2026-01-27 16:40:41 +00:00 by jabber.developer Plans (2025-2026)
1
Move binaries to build folder
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
Status
Need More Info
2
#82 opened 2026-01-27 16:35:13 +00:00 by jabber.developer Plans (2025-2026)
1
Add FPS counter
Kind/Feature
Priority
Low
4
Reviewed
Confirmed
1
#77 opened 2026-01-21 17:16:04 +00:00 by jabber.developer Plans (2025-2026)
Offline functionality
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#76 opened 2026-01-21 16:37:00 +00:00 by jabber.developer Plans (2025-2026)
Verify library compatibility across supported distributions
Kind/Enhancement
Priority
Low
4
Reviewed
Confirmed
1
#71 opened 2026-01-16 15:34:47 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 4
1
Add fault injection code in tests
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
#70 opened 2026-01-16 15:29:27 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 4
TODOs and Disabled Tests in Functional Tests
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
#66 opened 2026-01-06 15:08:04 +00:00 by jabber.developer2 Plans (2025-2026)
1
Add test coverage badge
Kind/Feature
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
#57 opened 2025-11-10 12:09:07 +00:00 by jabber.developer Plans (2025-2026)
1
Add multithread support on Python API
Kind/Enhancement
Priority
Low
4
Reviewed
Confirmed
1
#56 opened 2025-11-10 12:08:41 +00:00 by jabber.developer Plans (2025-2026)
Improve plugin update mechanism
Kind/Enhancement
Priority
Low
4
Reviewed
Confirmed
1
#54 opened 2025-11-10 09:31:02 +00:00 by jabber.developer Plans (2025-2026)
Fix Fedora build: h264 codec fetching from Cisco is failing
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
#53 opened 2025-11-10 09:29:23 +00:00 by jabber.developer Plans (2025-2026)
PGP locking issue
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
Status
Need More Info
2
#52 opened 2025-11-10 09:22:20 +00:00 by jabber.developer Plans (2025-2026)
1
Add autotests for plugins
Kind/Testing
Priority
Low
4
Reviewed
Confirmed
1
#50 opened 2025-11-10 09:04:15 +00:00 by jabber.developer Plans (2025-2026)
Branding
Kind/Documentation
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
#42 opened 2025-10-14 10:37:03 +00:00 by jabber.developer Plans (2025-2026) 0 / 5
Autoping connection_support false negative
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#40 opened 2025-10-14 09:45:48 +00:00 by jabber.developer Plans (2025-2026)
3
Scroll is stuck if user goes offline
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#11 opened 2025-07-02 17:37:41 +00:00 by jabber.developer Plans (2025-2026)
Powered by Gitea Version: 1.24.3 Page: 92ms Template: 35ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API