-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: hernanponcedeleon/Dat3M
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Relax diff labels rule for conditional jumps prior to SPIRV 1.6
frontend
SPIRV
#1111
opened Sep 16, 2026 by
hernanponcedeleon
Owner
Loading…
[SPIRV] Add support for floats
frontend
SPIRV
#1109
opened Sep 16, 2026 by
hernanponcedeleon
Owner
Loading…
[SPIRV] Add support for OpCopyObject
frontend
SPIRV
#1106
opened Sep 15, 2026 by
hernanponcedeleon
Owner
Loading…
[SVCOMP] Add support for sv-witness generation in 2.2. format
SVCOMP
Issues related to SVCOMP
#1102
opened Sep 13, 2026 by
hernanponcedeleon
Owner
Loading…
[SPIRV] Add support for OpCopyMemory
frontend
SPIRV
#1100
opened Sep 12, 2026 by
hernanponcedeleon
Owner
Loading…
[SPIRV] Fix OpVectorShuffle type
frontend
SPIRV
#1099
opened Sep 12, 2026 by
hernanponcedeleon
Owner
Loading…
[SPIRV] Track id to variable mapping to be able to use original variable name…
frontend
SPIRV
#1097
opened Sep 11, 2026 by
hernanponcedeleon
Owner
Loading…
Add EnumerationTask and related classes
#1086
opened Sep 8, 2026 by
ThomasHaas
Collaborator
Loading…
[DRAFT] Expression templates and generic RMW events
#988
opened Feb 13, 2026 by
ThomasHaas
Collaborator
Loading…
[C/LLVM] Handle parameters of main (argc/argv)
#947
opened Nov 3, 2025 by
ThomasHaas
Collaborator
Loading…
[DRAFT] Generalized ThreadHierarchy & removed ScopeHierarchy
#882
opened May 11, 2025 by
ThomasHaas
Collaborator
Loading…
ProTip!
Follow long discussions with comments:>50.