6 Commits

Author	SHA1	Message	Date
Christoffer Lerno	5c77c9a754	- Change distinct -> typedef. ... - Order of attribute declaration is changed for `alias`. - Added `LANGUAGE_DEV_VERSION` env constant. - Rename `anyfault` -> `fault`. - Changed `fault` -> `faultdef`. - Added `attrdef` instead of `alias` for attribute aliases.	2025-03-15 20:10:47 +01:00
Christoffer Lerno	8b49e6c14d	Rename def to alias.	2025-03-13 11:22:27 +01:00
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
Tim Jurcka	9112d63655	Fix args passed to __asan_region_is_poisoned	2024-11-25 11:44:39 +01:00
Christoffer Lerno	31cd839063	Switch to <* *> docs. Fix issue with dynamically loaded C3 libs with other C3 code.	2024-10-14 02:14:34 +02:00
Christian Buttner	59ed118e66	Address/memory/thread sanitizer.	2024-08-23 16:06:22 +02:00