Published September 14, 2022 | Version v1

CAAT: Consistency as a Theory (Artifact)

  • 1. TU Braunschweig
  • 2. Huawei Dresden Research Center

Description

This artifact allows to reproduce the results from Section 7 of the paper CAAT: Consistency as a Theory published at OOPSLA 2022.

Files

artifact-license.txt

Files (5.4 GB)

Name Size
md5:3fcf7d7475a014e1cf278ed656f0adb4
1.1 kB Preview Download
md5:26c82e1c7e0925373643c2c76421ee4f
5.4 GB Download
md5:59497740a459cd80ec05f7baddbc6874
1.1 kB Preview Download
md5:d32239bcb673463ab874e80d47fae504
35.1 kB Preview Download
md5:3b3d55548b430329a37857e9144979e0
3.7 kB Preview Download
md5:8803b17e6d1dcc35978924d85dc43085
21.6 kB Preview Download
md5:d32239bcb673463ab874e80d47fae504
35.1 kB Preview Download
md5:1357ece031656b385d07ef0e995981c7
3.7 kB Preview Download
md5:eaf8f942406d221158798e281cbdc788
116.1 kB Preview Download