Christoffer Lerno c0b80eccad Change @return! syntax to require ":" after faults. Update all contracts to consistently use ":" before the description.

2025-03-05 17:11:45 +01:00

..

asan.c3

Change @return! syntax to require ":" after faults. Update all contracts to consistently use ":" before the description.

2025-03-05 17:11:45 +01:00

sanitizer.c3

Address/memory/thread sanitizer.

2024-08-23 16:06:22 +02:00

tsan.c3

Address/memory/thread sanitizer.

2024-08-23 16:06:22 +02:00