Repository navigation

Virtual machine implementation - #40

Merged

dboulytchev merged 142 commits into

PLTools:1.30from

ancavar:new-vm

Oct 20, 2026

Merged

Virtual machine implementation#40
dboulytchev merged 142 commits into
PLTools:1.30from
ancavar:new-vm

Commits on Jun 13, 2026
- init interpeter
  ancavar
  committed
  f1dd722
- add tests
  ancavar
  committed
  dfeb137
- remove unused code buffer
  ancavar
  committed
  b430fba
- add calls, stack frames
  ancavar
  committed
  5e8c539
- project structure, build with make
  ancavar
  committed
  241a9c4
- test with `regressin_check.sh`
  ancavar
  committed
  3804ecd
- separate stack
  ancavar
  committed
  cb9ba70
- change stack frame organization
  ancavar
  committed
  a463b2d
- add jmp, cjmp, comprasion opcodes
  ancavar
  committed
  7e03eab
- statically link runtime functions
  ancavar
  committed
  3366130
- first gc, arrays
  ancavar
  committed
  0566085
- store global vars on the stack for gc, change makefile
  ancavar
  committed
  1b35dd9
- add strings, change stack for gc
  ancavar
  committed
  10ee89b
- add S-expressions
  ancavar
  committed
  9060d9d
- add closures (wip)
  ancavar
  committed
  4635e3c
- add debug target ot makefile
  ancavar
  committed
  e40822a
- change bytecode loading to mmap
  ancavar
  committed
  3039a6a
- add working vm
  ancavar
  committed
  1b82803
- attribute unused, remove opcodes for specific calls
  ancavar
  committed
  d6764e1
- type naming shenanigans
  ancavar
  committed
  fe44a93
- add separate driver `lama.c` to parse `-h` and `-I` options
  ancavar
  committed
  13d7c05
- free vm memory
  ancavar
  committed
  1fc533f
- `_ne` -> `_le`
  ancavar
  committed
  b3fb5e0
- fix `unescape`
  ancavar
  committed
  a779549
- `close(fd)`
  ancavar
  committed
  d44586d
- add missing `da.h`
  ancavar
  committed
  4601ee5
- cleanup
  ancavar
  committed
  653e004
- add free for stub table
  ancavar
  committed
  cc6ba3e
- change vm
  ancavar
  committed
  3df2183
- store public symbol flag as 1 byte
  ancavar
  committed
  1be0992
- init globals to 0
  ancavar
  committed
  90b2d62
- change `loader.c` to handle cyclic import
  ancavar
  committed
  61a7540
- support external globals
  ancavar
  committed
  75d27f9
- remove `is_filepath`
  ancavar
  committed
  e91a1d1
- cleanup
  ancavar
  committed
  8752d73
- use dynamic array
  ancavar
  committed
  9a2694d
- free fixup nodes; cleanup
  ancavar
  committed
  e3c53d2
- assert for `is_function`
  ancavar
  committed
  bf93aca
- add iterator for public symbols and imports
  ancavar
  committed
  5a1847a
- don't use op call ffi stub
  ancavar
  committed
  dc6fd81
- move everything to `converter.c`
  ancavar
  committed
  51e38ef
- cache ffi calls
  ancavar
  committed
  efd3165
- cleanup
  ancavar
  committed
  787013c
- SM.ml chore
  ancavar
  committed
  27d0ed6
- cleanup
  ancavar
  committed
  30d47ff
- add bytecode format description
  ancavar
  committed
  d275e4d
- change stack validation
  ancavar
  committed
  3cd8652
- bring back `opcodes.c` for easier debugging
  ancavar
  committed
  6300f5f
- separate stack validation, store max depth for func
  ancavar
  committed
  214f6d5
- add `debug.h`
  ancavar
  committed
  978a925
- cleanup `regression_check.sh`
  ancavar
  committed
  ddcfa1a
- stack
  ancavar
  committed
  ddc1bb4
- load / store globals by a pointer instead of an index
  ancavar
  committed
  9675289
- better cleanup
  ancavar
  committed
  1b1d39a
- add function and global prefixing
  ancavar
  committed
  0db7ad4
- track external globals for gc
  ancavar
  committed
  e2320fb
- cleanup
  ancavar
  committed
  73ddeaa
- zero out `op_drop`
  ancavar
  committed
  3fc2c2d
- remove div/mod by 0 check
  ancavar
  committed
  6655167
- cleanup unused files
  ancavar
  committed
  164f49e
- return `bool` instead of `code`
  ancavar
  committed
  8edeb25
- memset 0 gc stack range
  ancavar
  committed
  d468a23
- stdout to stderr
  ancavar
  committed
  e9fdb5d
- better `README.md`
  ancavar
  committed
  f1f241a
- lift branching
  ancavar
  committed
  e461bfe
- better `is_filepath`
  ancavar
  committed
  92ad137
- prefer static array for path
  ancavar
  committed
  716c1c8
- better
  ancavar
  committed
  c35e3d3
- move `count_globals` to `bytecode.c`
  ancavar
  committed
  d9339e5
- Revert "track external globals for gc"
  ancavar
  committed
  aa84c24
- dedup `emit_st_glo` and `emit_ld_glo`
  ancavar
  committed
  6c78ce2
- move `stack_validation.h` to `converter.c`
  ancavar
  committed
  c4fa9c5
- move `sv` init to `decode_ctx_init`
  ancavar
  committed
  c5ab009
- fix stack validation by not merging all operations
  ancavar
  committed
  fd3b4b5
- remove `func_stack`
  ancavar
  committed
  80e5008
- hash tag during decoding
  ancavar
  committed
  5962987
- validate `ld/st` operations
  ancavar
  committed
  9aef730
- refactor `op_call` and `op_closure`
  ancavar
  committed
  a8dcd39
- open files in `loader.c` instead of `bytecode.c`
  ancavar
  committed
  4486cee
- allocate global `eof_ip` instead of placing it in the converted bytecode
  ancavar
  committed
  4c64bb7
- remove `main` from public symbols for bytecode
  ancavar
  committed
  70f2f4b
- barrier that should work
  ancavar
  committed
  ebbe9f8
- remove redundant check
  ancavar
  committed
  a45ed41
- fix main module handling
  ancavar
  committed
  58b59b2
- set args and init gc in `vm_run`
  ancavar
  committed
  2fc0020
- remove return value from `vm`
  ancavar
  committed
  3915242
- pop the result in `op_eof`
  ancavar
  committed
  4e2d138
- remove redundant `__gc_stack_top` setup in `vm.c`
  ancavar
  committed
  a39202a
- remove unused `total_globals` field
  ancavar
  committed
  6f66df5
- change `OP_LINE` and `OP_FAIL_KEEP` opcodes
  ancavar
  committed
  242fec5
- `op_line` chore
  ancavar
  committed
  f603f15
- check for `EOF`
  ancavar
  committed
  672d505
- undef emits
  ancavar
  committed
  39323a8
- better error handling for `symbols.c`
  ancavar
  committed
  31a5fa7
- specialize macros
  ancavar
  committed
  92911ac
- refactor emitting global
  ancavar
  committed
  b5d9a50
- `op_ld` and `op_st` to `op_ld_glo` and `op_st_glo`
  ancavar
  committed
  fc134c3
- some validation
  ancavar
  committed
  3a77e64
- cleanup
  ancavar
  committed
  a55f9e9
- add `extern_funcs`
  ancavar
  committed
  e9c81d8
- detect cycles
  ancavar
  committed
  c63ebcb
- some validation concerns from `fuzzing`
  ancavar
  committed
  e31211d
- better `SM.ml`
  ancavar
  committed
  b424774
- reversed order `is_loading`
  ancavar
  committed
  ee9b43c
- better
  ancavar
  committed
  30a3f2a
- change signature
  ancavar
  committed
  3036a70
- add macros for `op_patt`
  ancavar
  committed
  ff6a969
- move `opcode_is_func_begin`
  ancavar
  committed
  97d31f2
- better checks
  ancavar
  committed
  3447091
- point `sp` to the last pushed value, not the first empty slot
  ancavar
  committed
  98fde89
- correct `op_fail`
  ancavar
  committed
  b81176f
- do not include main unit's path as a search path
  ancavar
  committed
  9331620
- remove `ifdef debug` for op_line
  ancavar
  committed
  48cc6c7
- group together manipulations with GC before pseudo-registers initialization
  ancavar
  committed
  cac7809
- chore
  ancavar
  committed
  68778f2
- remove `op_init`, use `op_call` for main unit's begin
  ancavar
  committed
  bd7e9b1
- change path loading
  ancavar
  committed
  b012ef7
- chore
  ancavar
  committed
  b529993
- proper casts for reading bytes
  ancavar
  committed
  af41961
- change path loading
  ancavar
  committed
  8203fdd
- validate closure captures
  ancavar
  committed
  79ea67c
- add explanation for setting current depth to instruction after `BARRIER`
  ancavar
  committed
  b25464a
- fix stack operations
  ancavar
  committed
  8377431
- unify `is_filepath` and `extract_unit_name`
  ancavar
  committed
  242347b
- cleanup redundant check for closure var
  ancavar
  committed
  78923ec
- change stack mechanics, remove max_depth
  ancavar
  committed
  03cbacb
- fix
  ancavar
  committed
  f2e9968
- better build
  ancavar
  committed
  efec8f9
- add O3 runtime (?) for bench
  ancavar
  committed
  1640d07
- first version specification
  ancavar
  committed
  2863794
- lama svg
  ancavar
  committed
  63dd7c8
- add magic number
  ancavar
  committed
  417a39d
- add version number to bytecode format
  ancavar
  committed
  574e3b0
- clarify `SPEC.md`
  ancavar
  committed
  71c3749
- add well-formedish criteria for instructions
  ancavar
  committed
  34dd5c3
- fix make error?
  ancavar
  committed
  42b07c2
Commits on Jun 14, 2026
- add disassembly for bytecode, remove `byterun/`
  ancavar
  committed
  0db9308
- better `README.md`
  ancavar
  committed
  2d152dc
- resolve TODOs
  ancavar
  committed
  4c9d0b4
Commits on Jun 25, 2026
- fix wording to abstract stack machine
  ancavar
  committed
  8f2508f
- add cram tests to vm
  ancavar
  authored
  9e16c63
Commits on Oct 20, 2026
- Merge branch '1.30' into new-vm
  dboulytchev
  authored
  8eadb55

Commits

Commits on Jun 13, 2026

Commits on Jun 14, 2026

Commits on Jun 25, 2026

Commits on Oct 20, 2026