dace-vscode
dace-vscode copied to clipboard
Add a 'verified' / 'safe' checkmark next to transformations that have been proven / verified to preserve semantics