Louistrue/handle missing ifcversions in ids specs#43

louistrue merged 3 commits intomainopensource-construction/model-checker:mainfrom

louistrue/handle-missing-ifcversions-in-ids-specsopensource-construction/model-checker:louistrue/handle-missing-ifcversions-in-ids-specsCopy head branch name to clipboard