dxddcheck

This page allows to access the artifact for our submission to CADE'21.

[ dxddcheck.tar.xz (2.8MB) | dxddcheck.zip (6.6MB) ]

At this point it is meant for reviewing purposes only, but eventually will be published as open source.