Skip to content

Add built-in functions#781

Open
aannleax wants to merge 31 commits into
mainfrom
feature/add-builtins
Open

Add built-in functions#781
aannleax wants to merge 31 commits into
mainfrom
feature/add-builtins

Fix nondeterministic functions being recomputed multiple times

1daf671
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
Check for undefined behaviour with miri
failed Jul 14, 2026 in 16m 8s