Skip to content

Pull requests: strictdoc-project/strictdoc

New pull request New
9 Open 2,345 Closed
9 Open 2,345 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(backend/sdoc_source_code): support function declarations returning function pointers
#3120 opened Aug 17, 2026 by stanislaw Collaborator Loading…
1
docs(markdown): update user guide
#3117 opened Aug 17, 2026 by mettta Collaborator Loading…
2
Chore: Add several skills files for Claude and Codex
#3105 opened Aug 14, 2026 by stanislaw Collaborator Loading…
2
[DRAFT] feat: add ability to commit to Git and resolve conflicts from the user interface
#3103 opened Aug 14, 2026 by stanislaw Collaborator Loading…
1
feat(traceability): preserve verification result provenance
#3088 opened Aug 6, 2026 by LunaMeerkats Contributor Loading…
Feat/missing relation requirements
#2926 opened Jun 18, 2026 by claudiiolima Contributor Loading…
8
feat(treemap): allow configurable test dir
#2805 opened May 12, 2026 by chelmertz Loading…
8
fix: Disable actions on autogenerated docs/nodes
#2766 opened Apr 8, 2026 by thseiler Contributor Loading…
4
feat(server): add support for drag-drop image upload
#2742 opened Mar 16, 2026 by thseiler Contributor Loading…
45
ProTip! Adding no:label will show everything without a label.