Skip to content

Pull requests: diffkemp/diffkemp

New pull request New
11 Open 311 Closed
11 Open 311 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

Bitcode continuance
#434 opened Apr 30, 2026 by Bal0sk Contributor Loading…
Fix: system z3 being prioritized over local
#433 opened Apr 20, 2026 by Bal0sk Contributor Loading…
1
Add comparison of global variables
#432 opened Mar 17, 2026 by davidkre525 Contributor Loading…
1
build-kernel: Add logging for debugging issues
#429 opened Jan 11, 2026 by PLukas2018 Collaborator Loading…
1
Architecture docs: Part 1 -- overview
#426 opened Dec 5, 2025 by PLukas2018 Collaborator Loading…
1
Add support for LLVM 20
#422 opened Nov 27, 2025 by DanielKriz Collaborator • Draft
Use bitcode files instead of textual in snapshots
#382 opened Jun 17, 2025 by evatrn Loading…
1
@Bal0sk
87
Add definitions of macros to diffkemp-out.yaml
#347 opened Jun 21, 2024 by PLukas2018 Collaborator • Draft
@PLukas2018
14
Add support for custom user patterns written in C
#328 opened Apr 4, 2024 by TomasKucma Collaborator Loading…
40
SimpLL: Add basic generalisation features for custom patterns enhancement
#221 opened Mar 8, 2022 by PSilling Contributor • Draft
@PSilling
SimpLL: Equivalence slicer
#182 opened Dec 9, 2020 by tmalecova Contributor Loading…
44
ProTip! Adding no:label will show everything without a label.