Christoffer Lerno 5482107ca8 Some formatting and updated test. Updated releasenotes.

2025-03-07 00:14:41 +01:00

..

allocators

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

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

os

Updated indentation to C3 standard.

2023-07-26 14:01:24 +02:00

private

- new_* functions in general moved to version without new_ prefix.

2025-03-03 00:32:20 +01:00

sanitizer

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

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

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

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

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

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

cinterop.c3

- $foreach "()" replaced by trailing ":" $foreach ($x, $y : $foo) -> $foreach $x, $y : $foo:

2025-03-04 16:13:47 +01:00

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

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

env.c3

- $foreach "()" replaced by trailing ":" $foreach ($x, $y : $foo) -> $foreach $x, $y : $foo:

2025-03-04 16:13:47 +01:00

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

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

runtime_benchmark.c3

First 0.7 update, removing all deprecated features.

2025-03-03 00:32:20 +01:00

runtime_test.c3

First 0.7 update, removing all deprecated features.

2025-03-03 00:32:20 +01:00

runtime.c3

Allow test runners to take String[] arguments.

2025-01-09 22:32:59 +01:00

string_iterator.c3

Update string_iterator.c3 to include extra convenience methods (#1327)

2024-08-09 23:10:46 +02:00

string_to_real.c3

Some formatting and updated test. Updated releasenotes.

2025-03-07 00:14:41 +01:00

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

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

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

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