Skip to content
GitLab
Explore
Sign in
safraned
dtmethodesetoutils
Software
SYNCHRONe
QACG
scademodelchecker
010-scademodelchecker-dev
Merge requests
!5
impact#
SYNCHRONE-2811
Code
Review changes
Check out branch
Download
Patches
Plain diff
Joao PORTELA-DE-MATOS-SILVA
requested to merge
Dev/impact#SYNCHRONE-2811
into
main
Jan 17, 2025
Overview
0
Commits
1
Changes
1
Expand
Removed restrictions for k_, K_,_KHI and khi
Merge request reports