A new version of Dartagnan with native support will be released at some point in February or March. There is already a prototype of vsyncer that support native version of dat3m (and still allows to use the jvm one just in case).
This new version will also contain improvements that allow one to use the vmm.cat as described in the paper for verification (i.e. no workaround on the definition of data races). Once that happens, we should update the ci containers of libvsync to use the official vmm.cat and the new dartagnan/vsyncer
@hernanponcedeleon
A new version of Dartagnan with native support will be released at some point in February or March. There is already a prototype of vsyncer that support native version of dat3m (and still allows to use the jvm one just in case).
This new version will also contain improvements that allow one to use the vmm.cat as described in the paper for verification (i.e. no workaround on the definition of data races). Once that happens, we should update the ci containers of libvsync to use the official vmm.cat and the new dartagnan/vsyncer
@hernanponcedeleon