~lbnz/xr0

v1.17.0 19 days ago .tar.gz browse log 

local-constant size oob prevention

v0.16.0 4 months ago .tar.gz browse log 

0db: a static debugger

v0.15.3 5 months ago .tar.gz browse log 

fix conditional allocation test

v0.15.2 5 months ago .tar.gz browse log 

fix runaway recursion with pointer cycle

v0.15.1 6 months ago .tar.gz browse log 

fix undefined behaviour in error_printf

v0.15.0 6 months ago .tar.gz browse log 

track progress using stack program counter

v0.14.0 6 months ago .tar.gz browse log 

else

v0.13.0 6 months ago .tar.gz browse log 

refine splitting logic; parse.x working

v0.12.0 6 months ago .tar.gz browse log 

add flag to allow verification of files in topological order

v0.11.0 6 months ago .tar.gz browse log 

refine error messages and change 'pre' to 'setup'
1 / 3
next

Branches

master
1679dae7 — Xr0 Team a month ago
browse
log
path/local-constant-index
f1f08249 — Xr0 Team 2 days ago
browse
log
dev
1679dae7 — Xr0 Team a month ago
browse
log
feat/abstract-body-bounds-verification
595b2c99 — Xr0 Team 20 days ago
browse
log
chore/no-bool
04bc4e8f — Amisi Kiarie a month ago
browse
log
chore/pedantic-compile-flag
e3e44747 — Amisi Kiarie a month ago
browse
log
feat/failalloc
2f7e5ae1 — Xr0 Team a month ago
browse
log
chore/refactor-verifier
447d66d2 — Amisi Kiarie a month ago
browse
log
path/refactor-segment
1eb40762 — Xr0 Team a month ago
browse
log
chore/refactor-make
9cf75cc6 — Amisi Kiarie a month ago
browse
log
chore/refactor-path-to-verify
da170e50 — Xr0 Team a month ago
browse
log
chore/debugger-tests
9289e127 — Xr0 Team a month ago
browse
log
chore/refactor-stack-frame
ff999eaa — Xr0 Team a month ago
browse
log
path/refactor-stack-frame
026e46d0 — Xr0 Team a month ago
browse
log
path/failalloc
75a1dc13 — Xr0 Team a month ago
browse
log
feat/bounds-internal
7427aa89 — Amisi Kiarie a month ago
browse
log
path/refactor
7427aa89 — Amisi Kiarie a month ago
browse
log
fix/posix-ignore-map
7de34a41 — Amisi Kiarie a month ago
browse
log
feat/failalloc-old
7e560960 — Amisi Kiarie a month ago
browse
log
feat/wasm
e55d8061 — Claude Betz 4 months ago
browse
log
feat/bounds
420f8856 — Xr0 Team a month ago
browse
log
fix/rconst-func-uniqueness
420f8856 — Xr0 Team a month ago
browse
log
feat/bounds-local-constant-size
82972237 — Xr0 Team a month ago
browse
log
feat/ranges
c07bb72e — Xr0 Team 2 months ago
browse
log
path/bounds
0f609e77 — Xr0 Team 3 months ago
browse
log
fix/parameter-reference-leaks
b7d204bc — Amisi Kiarie 5 months ago
browse
log
path/overspecify
561c2cb5 — Amisi Kiarie 5 months ago
browse
log
feat/bang-eval
aebfa9ce — Xr0 Team 5 months ago
browse
log
chore/assert-printf
fe2b4aa1 — Amisi Kiarie 5 months ago
browse
log
feat/debugger
14639c59 — Claude Betz 5 months ago
browse
log
fix/props-get-hack
8badd6f7 — Amisi Kiarie 5 months ago
browse
log
path/debug-cosmetics
1adc8100 — Amisi Kiarie 5 months ago
browse
log
fix/parameter-leaks
b4cd8a13 — Amisi Kiarie 5 months ago
browse
log
chore/recursive-block-print
429d6ab5 — Amisi Kiarie 5 months ago
browse
log
fix/leak-cycle
19703647 — Amisi Kiarie 5 months ago
browse
log
path/init
02d4acd4 — Amisi Kiarie 5 months ago
browse
log
fix/error-printf
b6b97a6f — Amisi Kiarie 6 months ago
browse
log
fix/nested-branching
1e5138a2 — Xr0 Team 6 months ago
browse
log
chore/readme
78460202 — Claude Betz 6 months ago
browse
log
fix/bang
b8412402 — Xr0 Team 6 months ago
browse
log
chore/refactor-lex
1a3fffd4 — Amisi Kiarie 6 months ago
browse
log
tests/conditional-return
b065c76b — Claude Betz 6 months ago
browse
log
feat/final-touches
3a9adfdd — Amisi Kiarie 6 months ago
browse
log
feat/man
e4403e2d — Amisi Kiarie 6 months ago
browse
log
feat/converge-syntax
b27072de — Claude Betz 6 months ago
browse
log
feat/use-after-free
d95d8f4f — Claude Betz 6 months ago
browse
log
feat/check-preconditions
f6343ea7 — Xr0 Team 7 months ago
browse
log
feat/param-constraints
6d5f7614 — Xr0 Team 7 months ago
browse
log
feat/tourbillon-proto
0c77f8bc — Xr0 Team 8 months ago
browse
log
feat/exec-branching-rebase
9e963ad3 — Xr0 Team 9 months ago
browse
log
feat/exec-branching
31679ac9 — Xr0 Team 8 months ago
browse
log
feat/advanced-branch
9a65d5ec — Xr0 Team 8 months ago
browse
log
feat/program-1-complete
cdae12b6 — Xr0 Team 9 months ago
browse
log
feat/linking-steps
browse
log
feat/linking
6eb503b1 — Xr0 Team 9 months ago
browse
log
feat/codegen
4df7eb4b — Xr0 Team 9 months ago
browse
log
feat/program-1-zero-order
a00f89de — Xr0 Team 9 months ago
browse
log
feat/program-1-topological-sort
0f07753c — Claude Betz 9 months ago
browse
log
chore/simplify-map
4670c4f2 — Claude Betz 10 months ago
browse
log
feat/program-1
b209eef6 — Xr0 Team 10 months ago
browse
log
path/linked-list
632555dc — Xr0 Team 10 months ago
browse
log
chore/refactor-state-structure
a64f2ef5 — Xr0 Team 10 months ago
browse
log
chore/verify-no-switch
cde35928 — Xr0 Team 10 months ago
browse
log
feat/symmetric-alloc
browse
log
chore/remove-submod-decls-from-state
browse
log
chore/resolve-bounds
browse
log
chore/converge-value-variable
browse
log