Improved liveness detection for store exclusives#722

Merged

hernanponcedeleon merged 29 commits intodevelopmentfrom improvedLivenessDetection

Sep 3, 2024

+125-71

Commits on May 27, 2024

Split 'addInto' stats into graph and cycle detection counters (#683 )
xeren
authored

Commits on May 31, 2024

UI update (#684 )
ThomasHaas
authored

Commits on Jun 3, 2024

Add support for memcpy_s (#686 )

hernanponcedeleon
and
hernan-poncedeleon
authored

Commits on Jun 7, 2024

Commits on Jun 12, 2024

Commits on Jun 13, 2024

Commits on Jun 14, 2024

Better mem2reg (#697 )
ThomasHaas
authored

Commits on Jun 17, 2024

Model locks as spinloops to avoid wrong liveness bugs (#695 )

hernanponcedeleon
and
hernan-poncedeleon
authored

Commits on Jun 19, 2024

Commits on Jul 1, 2024

Avoid exception in SyntacticContextAnalysis (#699 )

hernanponcedeleon
and
hernan-poncedeleon
authored

Commits on Jul 2, 2024

Add loop bound annotation (#687 )

authored

Commits on Jul 4, 2024

Automatically cancel previous CI when new commits are pushed (#700 )

hernanponcedeleon
and
hernan-poncedeleon
authored

Commits on Jul 22, 2024

Update JavaSMT version (#701 )
hernanponcedeleon
authored
Refactor relation analysis interface (#702 )

DIvanov503
and
Dmitry Ivanov
authored

Commits on Jul 29, 2024

Fix an incorrect term pattern in SyncWith (#706 )

DIvanov503
and
Dmitry Ivanov
authored

Commits on Aug 3, 2024

Extend loop normalization (#705 )

authored

Commits on Aug 12, 2024

Spir-V frontend (#703 )

authored
Add memory effects to LLVM grammar and better error message (#710 )

natgavrilenko
and
Natalia Gavrilenko
authored

Commits on Aug 13, 2024

Fix printer OutOfBoundsException (#713 )

natgavrilenko
and
Natalia Gavrilenko
authored

Commits on Aug 26, 2024

Compute missing tuples in transitive closure (#718 )

DIvanov503
and
Dmitry Ivanov
authored