diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:24:55 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:24:55 +0330 |
| commit | 886fa9c0b7ad3c0316e85de1b2c87c54a3681b12 (patch) | |
| tree | c586a0d5428cbdb019b80f5a92a8ffd80c0d962d /src/core | |
| parent | rt.zdiv: INT_MIN / -1 is INT_MIN and % is 0 in software division too, so zc0 ... (diff) | |
| parent | merge bounds checking (diff) | |
Merge branch 'main' into work/spec
Diffstat (limited to 'src/core')
| -rw-r--r-- | src/core/core.zc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/core/core.zc b/src/core/core.zc index 61ecd1c..e730946 100644 --- a/src/core/core.zc +++ b/src/core/core.zc @@ -1,6 +1,9 @@ namespace core; include rt; +// the core pokes at headers and raw memory on purpose and runs at full speed: no index bounds checks +unbounded; + // calls the host gate with an operation and three machine-word arguments. // returns the host result; negative values indicate a failed operation. int syscall(int operation, word a, word b, word c) { |