Christoffer Lerno 8b49e6c14d Rename def to alias.

2025-03-13 11:22:27 +01:00

..

collections

Rename def to alias.

2025-03-13 11:22:27 +01:00

compression

Rename @return! to @return?

2025-03-12 21:40:30 +01:00

core

Rename def to alias.

2025-03-13 11:22:27 +01:00

crypto

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

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

encoding

Rename @return! to @return?

2025-03-12 21:40:30 +01:00

experimental

New faults and syntax (#2034)

2025-03-10 00:11:35 +01:00

hash

Rename def to alias.

2025-03-13 11:22:27 +01:00

io

Rename def to alias.

2025-03-13 11:22:27 +01:00

libc

Rename def to alias.

2025-03-13 11:22:27 +01:00

math

Rename def to alias.

2025-03-13 11:22:27 +01:00

net

Rename def to alias.

2025-03-13 11:22:27 +01:00

os

Rename def to alias.

2025-03-13 11:22:27 +01:00

sort

Rename def to alias.

2025-03-13 11:22:27 +01:00

text

Rename def to alias.

2025-03-13 11:22:27 +01:00

threads

Rename def to alias.

2025-03-13 11:22:27 +01:00

time

Rename def to alias.

2025-03-13 11:22:27 +01:00

ascii.c3

Switch to <* *> docs. Fix issue with dynamically loaded C3 libs with other C3 code.

2024-10-14 02:14:34 +02:00

atomic_nolibc.c3

Fix issue when doing boolean atomic operations.

2025-03-04 16:58:27 +01:00

atomic.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

bits.c3

New faults and syntax (#2034)

2025-03-10 00:11:35 +01:00