Skip to content

Releases: TDacik/Deadlock_and_Racer

ECOOP'25

18 Jun 08:59
@TDacik TDacik
2.2.1
927909b

Choose a tag to compare

View all tags
ECOOP'25 Latest
Latest

The version used for the evaluation of the paper RacerF: Lightweight Static Data Race Detection for C Code.

Assets 2
Loading

SV-COMP 2025

03 Jun 18:35
@TDacik TDacik
svcomp25
96fb1bd

Choose a tag to compare

View all tags
SV-COMP 2025

The version of RacerF used in SV-COMP 2025.

Loading

Deadlock v1.0.1

24 Sep 11:00
@TDacik TDacik
1.0.1
1bd5e4d

Choose a tag to compare

View all tags
Deadlock v1.0.1 
[GUI] remove list of threads
Loading

Deadlock v1.0

24 Sep 10:48
@TDacik TDacik
1.0
3940450

Choose a tag to compare

View all tags
Deadlock v1.0 
Deadlock v1.0
Loading