Commits

Commits on Nov 28, 2023

add privIsScoped check and update tests (hernanponcedeleon#578 )
tonghaining
authored

Commits on Nov 14, 2023

Update morally-strong to follow HRF-indirect and add test (hernanponcedeleon#569 )

tonghaining
and
hernan-poncedeleon
authored

Commits on Nov 8, 2023

add missing test results to expectation files (hernanponcedeleon#559 )
tonghaining
authored
Add 3 tests from paper "heterogeneous race free memory models" (hernanponcedeleon#554 )
tonghaining
authored

Commits on Oct 30, 2023

Add missing tests for PTX and Vulkan expected results (hernanponcedeleon#545 )
tonghaining
authored

Commits on Oct 25, 2023

Clean ptx/vulkan tests (hernanponcedeleon#540 )
tonghaining
authored

Commits on Oct 24, 2023

Add Liveness for PTX and Vulkan (hernanponcedeleon#541 )

tonghaining
and
hernan-poncedeleon
authored

Commits on Oct 22, 2023

Update Ptx constant-proxy rule (hernanponcedeleon#531 )
tonghaining
authored

Commits on Oct 6, 2023

Fix ptx tests (hernanponcedeleon#529 )

tonghaining
and
hernan-poncedeleon
authored

Commits on Sep 25, 2023

Add Vulkan Memory Model Support to Dartagnan (hernanponcedeleon#516 )

tonghaining
and
hernan-poncedeleon
authored

Commits on Sep 16, 2023

Add labels and jumps to PTX (hernanponcedeleon#512 )
tonghaining
authored

Commits on Jun 12, 2023

Add PTX support for dartagnan (hernanponcedeleon#449 )

authored