~lbnz/xr0

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

local-constant index oob prevention

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

local-constant size oob prevention

v1.17.0 4 months ago .tar.gz browse log 

local-constant size oob prevention

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

0db: a static debugger

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

fix conditional allocation test

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

fix runaway recursion with pointer cycle

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

fix undefined behaviour in error_printf

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

track progress using stack program counter

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

else

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

refine splitting logic; parse.x working
1 / 3
next

Branches

master
ec961078 — Xr0 Team 4 months ago
browse
log
feat/loop-integer-incremental
db79f37e — Xr0 Team 15 minutes ago
browse
log
dev
3edc0c62 — Xr0 Team 37 minutes ago
browse
log
path/loop-integer-incremental
55e84ce0 — Xr0 Team 11 hours ago
browse
log
path/loops
55e84ce0 — Xr0 Team 11 hours ago
browse
log
path/failalloc
7813378a — Xr0 Team 3 days ago
browse
log
chore/range-as-int
76121adf — Xr0 Team 5 days ago
browse
log
path/unignore-call-branch
4d97ec6b — Xr0 Team 3 days ago
browse
log
path/while-1-conversion
8eeb4660 — Xr0 Team 23 days ago
browse
log
path/oob-general-case
ec961078 — Xr0 Team 4 months ago
browse
log
path/local-constant-index
f1f08249 — Xr0 Team 4 months ago
browse
log
feat/abstract-body-bounds-verification
595b2c99 — Xr0 Team 4 months ago
browse
log
chore/no-bool
04bc4e8f — Amisi Kiarie 5 months ago
browse
log
chore/pedantic-compile-flag
e3e44747 — Amisi Kiarie 5 months ago
browse
log
feat/failalloc
2f7e5ae1 — Xr0 Team 5 months ago
browse
log
chore/refactor-verifier
447d66d2 — Amisi Kiarie 5 months ago
browse
log
path/refactor-segment
1eb40762 — Xr0 Team 5 months ago
browse
log
chore/refactor-make
9cf75cc6 — Amisi Kiarie 5 months ago
browse
log
chore/refactor-path-to-verify
da170e50 — Xr0 Team 5 months ago
browse
log
chore/debugger-tests
9289e127 — Xr0 Team 5 months ago
browse
log
chore/refactor-stack-frame
ff999eaa — Xr0 Team 5 months ago
browse
log
path/refactor-stack-frame
026e46d0 — Xr0 Team 5 months ago
browse
log
path/failalloc-old
75a1dc13 — Xr0 Team 5 months ago
browse
log
feat/bounds-internal
7427aa89 — Amisi Kiarie 5 months ago
browse
log
path/refactor
7427aa89 — Amisi Kiarie 5 months ago
browse
log
fix/posix-ignore-map
7de34a41 — Amisi Kiarie 5 months ago
browse
log
feat/failalloc-old
7e560960 — Amisi Kiarie 5 months ago
browse
log
feat/wasm
e55d8061 — Claude Betz 8 months ago
browse
log
feat/bounds
420f8856 — Xr0 Team 5 months ago
browse
log
fix/rconst-func-uniqueness
420f8856 — Xr0 Team 5 months ago
browse
log
feat/bounds-local-constant-size
82972237 — Xr0 Team 5 months ago
browse
log
feat/ranges
c07bb72e — Xr0 Team 6 months ago
browse
log
path/bounds
0f609e77 — Xr0 Team 7 months ago
browse
log
fix/parameter-reference-leaks
b7d204bc — Amisi Kiarie 9 months ago
browse
log
path/overspecify
561c2cb5 — Amisi Kiarie 9 months ago
browse
log
feat/bang-eval
aebfa9ce — Xr0 Team 9 months ago
browse
log
chore/assert-printf
fe2b4aa1 — Amisi Kiarie 9 months ago
browse
log
feat/debugger
14639c59 — Claude Betz 9 months ago
browse
log
fix/props-get-hack
8badd6f7 — Amisi Kiarie 9 months ago
browse
log
path/debug-cosmetics
1adc8100 — Amisi Kiarie 9 months ago
browse
log
fix/parameter-leaks
b4cd8a13 — Amisi Kiarie 9 months ago
browse
log
chore/recursive-block-print
429d6ab5 — Amisi Kiarie 9 months ago
browse
log
fix/leak-cycle
19703647 — Amisi Kiarie 9 months ago
browse
log
path/init
02d4acd4 — Amisi Kiarie 10 months ago
browse
log
fix/error-printf
b6b97a6f — Amisi Kiarie 10 months ago
browse
log
fix/nested-branching
1e5138a2 — Xr0 Team 10 months ago
browse
log
chore/readme
78460202 — Claude Betz 10 months ago
browse
log
fix/bang
b8412402 — Xr0 Team 10 months ago
browse
log
chore/refactor-lex
1a3fffd4 — Amisi Kiarie 10 months ago
browse
log
tests/conditional-return
b065c76b — Claude Betz 10 months ago
browse
log
feat/final-touches
3a9adfdd — Amisi Kiarie 10 months ago
browse
log
feat/man
e4403e2d — Amisi Kiarie 10 months ago
browse
log
feat/converge-syntax
b27072de — Claude Betz 10 months ago
browse
log
feat/use-after-free
d95d8f4f — Claude Betz 10 months ago
browse
log
feat/check-preconditions
f6343ea7 — Xr0 Team 11 months ago
browse
log
feat/param-constraints
browse
log
feat/tourbillon-proto
browse
log
feat/exec-branching-rebase
browse
log
feat/exec-branching
browse
log
feat/advanced-branch
browse
log
feat/program-1-complete
browse
log
feat/linking-steps
browse
log
feat/linking
browse
log
feat/codegen
browse
log
feat/program-1-zero-order
browse
log
feat/program-1-topological-sort
0f07753c — Claude Betz 1 year, 2 months ago
browse
log
chore/simplify-map
4670c4f2 — Claude Betz 1 year, 2 months ago
browse
log
feat/program-1
browse
log
path/linked-list
browse
log
chore/refactor-state-structure
browse
log
chore/verify-no-switch
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
Do not follow this link