vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5
6
7
8
9
10
11

schema_version = 1

[[independence]]
pattern = "memory_aliasing"
classification = "side_effect"
severity = "critical"

[[independence]]
pattern = "out_of_bounds_load"
classification = "memory"
severity = "major"