Skip to content
GitLab
Explore
Sign in
TASTE
if-model-checking
Repository
if-model-checking
modules
sdl2if
sdl2if
sdl2if.py
Find file
Blame
History
Permalink
bugfix: ignored sender var and ger_sender procedure during translation
· ddcc87c6
Iulia Dragomir
authored
Jan 24, 2023
ddcc87c6