~lbnz/xr0

v0.15.3 13 days ago .tar.gz browse log

fix conditional allocation test

v0.15.2 18 days ago .tar.gz browse log

fix runaway recursion with pointer cycle

v0.15.1 a month ago .tar.gz browse log

fix undefined behaviour in error_printf

v0.15.0 a month ago .tar.gz browse log

track progress using stack program counter

v0.13.0 a month ago .tar.gz browse log

refine splitting logic; parse.x working

v0.12.0 a month ago .tar.gz browse log

add flag to allow verification of files in topological order

v0.11.0 a month ago .tar.gz browse log

refine error messages and change 'pre' to 'setup'

v0.10.0 a month ago .tar.gz browse log

converge abstract and body syntax

v0.9.0 a month ago .tar.gz browse log

reject uninitialised memory and use-after-free bugs
1 / 3

Branches

master
429d6ab5 — Amisi Kiarie 18 days ago
feat/wasm
a7511c6b — Amisi Kiarie 23 hours ago
fix/parameter-reference-leaks
b7d204bc — Amisi Kiarie 6 days ago
path/overspecify
561c2cb5 — Amisi Kiarie 9 days ago
feat/bang-eval
aebfa9ce — Xr0 Team 10 days ago
chore/assert-printf
fe2b4aa1 — Amisi Kiarie 11 days ago
dev
7c4ed29b — Xr0 Team a month ago
feat/debugger
14639c59 — Claude Betz 12 days ago
fix/props-get-hack
8badd6f7 — Amisi Kiarie 13 days ago
path/debug-cosmetics
1adc8100 — Amisi Kiarie 13 days ago
fix/parameter-leaks
b4cd8a13 — Amisi Kiarie 15 days ago
chore/recursive-block-print
429d6ab5 — Amisi Kiarie 18 days ago
fix/leak-cycle
19703647 — Amisi Kiarie 19 days ago
path/init
02d4acd4 — Amisi Kiarie a month ago
fix/error-printf
b6b97a6f — Amisi Kiarie a month ago
fix/nested-branching
1e5138a2 — Xr0 Team a month ago
chore/readme
78460202 — Claude Betz a month ago
fix/bang
b8412402 — Xr0 Team a month ago
chore/refactor-lex
1a3fffd4 — Amisi Kiarie a month ago
tests/conditional-return
b065c76b — Claude Betz a month ago
feat/final-touches
3a9adfdd — Amisi Kiarie a month ago
feat/man
e4403e2d — Amisi Kiarie a month ago
feat/converge-syntax
b27072de — Claude Betz a month ago
feat/use-after-free
d95d8f4f — Claude Betz a month ago
feat/check-preconditions
f6343ea7 — Xr0 Team 2 months ago
feat/param-constraints
6d5f7614 — Xr0 Team 3 months ago
feat/tourbillon-proto
0c77f8bc — Xr0 Team 3 months ago
feat/exec-branching-rebase
9e963ad3 — Xr0 Team 4 months ago
feat/exec-branching
31679ac9 — Xr0 Team 3 months ago
feat/advanced-branch
9a65d5ec — Xr0 Team 3 months ago
feat/program-1-complete
cdae12b6 — Xr0 Team 4 months ago
feat/linking
6eb503b1 — Xr0 Team 4 months ago
feat/codegen
4df7eb4b — Xr0 Team 4 months ago
feat/program-1-zero-order
a00f89de — Xr0 Team 4 months ago
feat/program-1-topological-sort
0f07753c — Claude Betz 5 months ago
chore/simplify-map
4670c4f2 — Claude Betz 5 months ago
feat/program-1
b209eef6 — Xr0 Team 5 months ago
path/linked-list
632555dc — Xr0 Team 5 months ago
chore/refactor-state-structure
a64f2ef5 — Xr0 Team 5 months ago
chore/verify-no-switch
cde35928 — Xr0 Team 5 months ago
chore/remove-submod-decls-from-state
chore/converge-value-variable