Skip to content

Pull requests: hernanponcedeleon/Dat3M

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Streamline CF encoding of jumps and Cbs
#808 by ThomasHaas was merged Feb 24, 2025 Loading…
Fix nasty encoding bug related to XRA
#807 by ThomasHaas was merged Feb 25, 2025 Loading…
Added PTX litmus tests
#806 by natgavrilenko was merged Feb 24, 2025 Loading…
Fix race condition in model.evaluate()
#801 by natgavrilenko was merged Feb 17, 2025 Loading…
Visitor for OpExtension
#799 by natgavrilenko was merged Feb 11, 2025 Loading…
Unrolling control barriers
#797 by natgavrilenko was merged Feb 17, 2025 Loading…
Add filter spec to spirv tests
#795 by natgavrilenko was merged Jan 23, 2025 Loading…
Fix parsing of atomic_exchange for litmus C
#791 by hernanponcedeleon was merged Dec 18, 2024 Loading…
Use conditional jump in spirv structured control flow
#788 by natgavrilenko was merged Nov 27, 2024 Loading…
Litmus vulkan cleanup
#787 by natgavrilenko was merged Nov 25, 2024 Loading…
Improve spinloop detection
#786 by ThomasHaas was merged Nov 25, 2024 Loading…
Fix CI tests
#784 by CapZTr was merged Nov 21, 2024 Loading…
New Execution Model
#783 by CapZTr was merged Dec 17, 2024 Loading…
Update to version 4.2.0
#782 by hernanponcedeleon was merged Nov 16, 2024 Loading…
Add OpUMod
#781 by natgavrilenko was merged Nov 16, 2024 Loading…
Removed SpecId decoration
#779 by natgavrilenko was merged Nov 16, 2024 Loading…
Further changes for SVCOMP 2025
#777 by hernanponcedeleon was merged Nov 11, 2024 Loading…
Fix handling of empty type
#776 by ThomasHaas was merged Nov 11, 2024 Loading…
Add support for encoding tuples (Tuple theory)
#775 by ThomasHaas was merged Nov 20, 2024 Loading…
Remove empty tag from vulkan litmus tests
#774 by natgavrilenko was merged Nov 8, 2024 Loading…
ProTip! Follow long discussions with comments:>50.