feat: compiler and vm - #167

Draft

ascandone wants to merge 165 commits into

mainfrom

Commits on Jun 26, 2026

Vm initial boilerplate
ascandone
committed
d6967f7
impl decoder
ascandone
committed
bc5346c
runtime module draft
ascandone
committed
d85d3ea
alligned runtime with interpreter semantics
ascandone
committed
259c9d9
update impl to bigint
ascandone
committed
c68e878
handle backtracking
ascandone
committed
8ef0023
impl save related code
ascandone
committed
45fd5ae
impl prewarm
ascandone
committed
fd1eceb
refactor: migrate impl to runtime
ascandone
committed
4654bab
cleanup pull method intf
ascandone
committed
5528dc6
impl pull instructions
ascandone
committed
ce4e8bc
impl Op_SendToAccount
ascandone
committed
8610ec1
impl Op_CheckEnoughFunds
ascandone
committed
04dab55
impl allotment utility
ascandone
committed
f5c6e4a
migrate allot
ascandone
committed
a0c3fe8
refactor allot
ascandone
committed
bf8e04f
impl allotment opcode
ascandone
committed
a685979
reduce allocs
ascandone
committed
a010be9
refactor: edit PullUncapped api
ascandone
committed
ebd9494
fix
ascandone
committed
acda484
add skipped test
ascandone
committed
711f484
impl virtual instructions
ascandone
committed
7eeb706

Commits on Jun 27, 2026

compiled simple program
ascandone
committed
d4b7907
made fields public
ascandone
committed
308f5e8

Commits on Jun 28, 2026

fix
ascandone
committed
dbc8289
impl assembler
ascandone
committed
7ddce3e
impl test and fixed errs
ascandone
committed
17772a6
bench
ascandone
committed
4813449
feat: assemble jmp and label
ascandone
committed
bec4a7d
compiler inorder
ascandone
committed
62fb267
add utility
ascandone
committed
706b950
add e2e test
ascandone
committed
2cae11f
compiled max clause
ascandone
committed
82b6c25
add e2e test
ascandone
committed
5460bb1
more benchs
ascandone
committed
4bdf824

Commits on Jul 13, 2026

feat: impl inorder dest
ascandone
committed
bd47205
feat: edit formatting
ascandone
committed
7e5b591
feat: impl kept
ascandone
committed
7af4676
fmt
ascandone
committed
8284d29
add new instr
ascandone
committed
a3eccd9
compile allot
ascandone
committed
21cf8bf
fix destination compilation
ascandone
committed
5eba6af
fix: allow bounded sources in bounded context
ascandone
committed
d869c63
feat: forbid invalid assets
ascandone
committed
ca04839
run previous test suite
ascandone
committed
0033f15
feat: compile save statement
ascandone
committed
9ab6f17
refactor: scriptsBlacklist map -> slice
ascandone
committed
aca2766
test: track feature-flag specs in the blacklist too
ascandone
committed
d06efb4
feat: impl internal vars
ascandone
committed
a35f268
refactor: claude-generated refactor of typechecker
ascandone
committed
49db0e3
feat: include typechecker in compiler and compiler int +
ascandone
committed
c30a51e
feat: impl - for int
ascandone
committed
3aa9ca7
feat: impl + for monetary
ascandone
committed
340b12b
refactor: removed redundant opcode
ascandone
committed
b4f61da
refactor: shared builtins
ascandone
committed
691ca76
feat: impl get_amount
ascandone
committed
f08bfdf
feat: impl get_asset fn
ascandone
committed
658fefc
feat: prefix - for int and monetary
ascandone
committed
f5ae30f
feat: balance call
ascandone
committed
c26770e
feat: - for monetaries
ascandone
committed
ce4ae7a
test: remove tests from blacklist
ascandone
committed
8b45971
feat: impl add_string vinstr
ascandone
committed
b44e35a
feat: impl account interp
ascandone
committed
fcde795
feat: impl int_to_string vintrs
ascandone
committed
f9398e9
feat: allow int interp in account
ascandone
committed
0501646
add TODO comment
ascandone
committed
185d89a
feat: impl vars in vm
ascandone
committed
3234374

Commits on Jul 14, 2026

feat: impl load_var<T> vm vistr
ascandone
committed
27c0957
refactor: unexpose Assemble and reworked compiler intf boundary
ascandone
committed
c224934
feat: vars
ascandone
committed
fff0652
refactor: stringify tx meta, and shared execution result
ascandone
committed
e4b6b4f
refactor: return ExecutionResult from vm
ascandone
committed
c6f099f
feat: impl set_tx_meta instr in the vm
ascandone
committed
eb1cb4d
feat: compiled set_tx_meta
ascandone
committed
6ebda99
feat: set_tx_meta for portions and monetaries
ascandone
committed
8237429
feat: impl set_account_meta opcode for vm
ascandone
committed
9cb0f7f
feat: compile set_account_meta
ascandone
committed
83ed4c9
refactor: shared code with interpreter
ascandone
committed
9506948
feat: impl vm get meta opcodes
ascandone
committed
11067d8
refactor: improve assembler
ascandone
committed
b3ff15d
feat: impl meta() call
ascandone
committed
8e34e07
feat: clamping neg cap in runtime
ascandone
committed
1b9b0b5
feat: compiled unbounded inorder
ascandone
committed
9210f37
test: new test
ascandone
committed
2c3e617
feat: catch invalid cast at compile time
ascandone
committed
ce79c4c
feat: add invalid account name opcode
ascandone
committed
eb22f90
feat: add invalid account compilation
ascandone
committed
12b2950
feat: impl overdraft function
ascandone
committed
c02ccc3
fix: impl non neg check for balance() call
ascandone
committed
d33ba4a
add test
ascandone
committed
8e881ac
feat: emit divide by zero
ascandone
committed
f8d8f9e
fix: prevent panic on unknown opcode
ascandone
committed
08652d3
add todos
ascandone
committed
10cbcab
impl regs typechecker
ascandone
committed
e4f33a0
feat: expose API
ascandone
committed
f56d9dd
api demo
ascandone
committed
f9d5bcc

Commits on Jul 15, 2026

Merge remote-tracking branch 'origin/main' into feat/exp/vm
ascandone
committed
d043db2
refactor: share Posting type via runtime
ascandone
committed
ca1bba9
refactor: dedup more stuff
ascandone
committed
5d87d85
refactor: more sharing with interpreter
ascandone
committed
34c7c41
feat: add scope to runtime
ascandone
committed
31bcde3
feat: shared more validation logic
ascandone
committed
6b167e3
refactor: move asset scaling to runtime
ascandone
committed
f4f845a
refactor: migrated interpreter to runstate
ascandone
committed
3bee01c
refactor: simplify
ascandone
committed
9c88252
refactor: simplify
ascandone
committed
79f489b
feat: let the store return errors
ascandone
committed
f7e17b6
update comemnts
ascandone
committed
7035a2b
fix: remove some panics
ascandone
committed
76f0591
feat: pass ctx explicitly in the Exec call
ascandone
committed
bf5bbb9

Commits on Jul 16, 2026

fix: avoid unnecessary balance calls
ascandone
committed
ec9561f

Commits on Jul 17, 2026

perf: hoist register banks and const pools into locals in Exec
ascandone
committed
03022f9
feat: improve dump fmt (#174)
ascandone
authored
6b29a28
draft vm docs
ascandone
committed
71c6f73
add note
ascandone
committed
d3d80b4
fix
ascandone
committed
26b13de
refactor: renamed file
ascandone
committed
e0141cf
renamed vInstr to ir
ascandone
committed
94b9cb1
docs: add docs
ascandone
committed
b28baf8
docs: add docs about compilation
ascandone
committed
f050efd
doc: added inorder example
ascandone
committed
9a8cbee

Commits on Jul 18, 2026

fix: pass ctx to store
ascandone
committed
80ed52e
doc: add compilation docs
ascandone
committed
3e6ee5c
docs: add optimisation section
ascandone
committed
40e1815
doc: document allocator
ascandone
committed
6320c7d
doc: fixes
ascandone
committed
2eb5d21
doc: add link
ascandone
committed
d701253
docs: add soundness verification check
ascandone
committed
d74cfd9
docs: fix typos
ascandone
committed
d7c1cf8

Commits on Jul 24, 2026

feat: reworked encoding
ascandone
committed
aa51ad0
doc: define encoding
ascandone
committed
b730dad

Commits on Jul 27, 2026

feat: encode/decode max regs
ascandone
committed
6a35be8
edit regs encoding
ascandone
committed
f9ca6d9
produced max regs
ascandone
committed
7cb6fb0
removed err from snapshot ops
ascandone
committed
bdb3061
feat: impl oneof-related bytecode
ascandone
committed
8c2ac0e
create oneof-related ir instr
ascandone
committed
0a3d206

Commits on Jul 28, 2026

feat: impl oneof in source ctx
ascandone
committed
1fd88b9
test: add test
ascandone
committed
dc59704
compiled destination oneof
ascandone
committed
f5836db
chore: remove committed test binary
ascandone
committed
dce680f
feat: IR textual format
ascandone
committed
b0cda94
refactor: moved ir layer to its own package
ascandone
committed
48a4ad6
test: add more tests
ascandone
committed
a5d1454
improved check
ascandone
committed
4a1c126

Commits on Jul 29, 2026

cleanup, fix lint, improve coverage
ascandone
committed
9f7d9e7
fix: fix lint issues
ascandone
committed
9649840
feat: guard logic with feature flags
ascandone
committed
26cc066
feat: impl colors
ascandone
committed
3586688
test: improve coverage
ascandone
committed
107a0ee

Commits on Jul 30, 2026

edit JMP semantics
ascandone
committed
1ca4694
refactor: represent a monetary as (str asset, int amount) registers
ascandone
committed
b8d8b99
docs: describe monetaries as (str asset, int amount) register pairs
ascandone
committed
d0f8d23
removed special world behaviour from vm
ascandone
committed
122d67f
feat: impl bool
ascandone
committed
0e4838f
reworked instruction set (including bool)
ascandone
committed
2425b9f
removed min instruction
ascandone
committed
14cdcee
feat: improved cmp ops
ascandone
committed
d6eb807
add more CP instructions
ascandone
committed
7b2ecef
add sub portion
ascandone
committed
cd4a976
add cli cmd
ascandone
committed
fbd749b

Commits on Jul 31, 2026

reworked allotment-related instruction set
ascandone
committed
ba90850

Commits on Aug 3, 2026

accept stdin cmd
ascandone
committed
6b35f16

Commits on Aug 4, 2026

reworked snapshot-related IS
ascandone
committed
10532c4
cleanup comments
ascandone
committed
2383ba0