Skip to content

Navigation Menu

Appearance settings

- AI CODE CREATION
  GitHub CopilotWrite better code with AI
  GitHub Copilot appDirect agents from issue to merge
  MCP Registry^NewIntegrate external tools
- DEVELOPER WORKFLOWS
  ActionsAutomate any workflow
  CodespacesInstant dev environments
  IssuesPlan and track work
  Code ReviewManage code changes
- APPLICATION SECURITY
  GitHub Advanced SecurityFind and fix vulnerabilities
  Code securitySecure your code as you build
  Secret protectionStop leaks before they start
- EXPLORE
  Why GitHub
  Documentation
  Blog
  Changelog
  Marketplace
View all features
- BY COMPANY SIZE
  Enterprises
  Small and medium teams
  Startups
  Nonprofits
- BY USE CASE
  App Modernization
  DevSecOps
  DevOps
  CI/CD
  View all use cases
- BY INDUSTRY
  Healthcare
  Financial services
  Manufacturing
  Government
  View all industries
View all solutions
- EXPLORE BY TOPIC
  AI
  Software Development
  DevOps
  Security
  View all topics
- EXPLORE BY TYPE
  Customer stories
  Events & webinars
  Ebooks & reports
  Business insights
  GitHub Skills
- SUPPORT & SERVICES
  Documentation
  Customer support
  Community forum
  Trust center
  Partners
View all resources
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  GitHub Stars
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

Uh oh!

There was an error while loading. Please reload this page.

PLTools / Lama Public

Notifications You must be signed in to change notification settings
Fork 47
Star 79

Code
Issues 7
Pull requests 2
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights

Virtual machine implementation#40

Open

ancavar wants to merge 141 commits into

PLTools:1.30PLTools/Lama:1.30from

ancavar:new-vmancavar/Lama:new-vmCopy head branch name to clipboard

Conversation Commits141 (141)Checks Files changed

Open

Virtual machine implementation#40
ancavar wants to merge 141 commits into
PLTools:1.30from
ancavar:new-vm

Commits

Commits on Jun 13, 2026

init interpeter
ancavar
committed
add tests
ancavar
committed
remove unused code buffer
ancavar
committed
add calls, stack frames
ancavar
committed
project structure, build with make
ancavar
committed
test with `regressin_check.sh`
ancavar
committed
separate stack
ancavar
committed
change stack frame organization
ancavar
committed
add jmp, cjmp, comprasion opcodes
ancavar
committed
statically link runtime functions
ancavar
committed
first gc, arrays
ancavar
committed
store global vars on the stack for gc, change makefile
ancavar
committed
add strings, change stack for gc
ancavar
committed
add S-expressions
ancavar
committed
add closures (wip)
ancavar
committed
add debug target ot makefile
ancavar
committed
change bytecode loading to mmap
ancavar
committed
add working vm
ancavar
committed
attribute unused, remove opcodes for specific calls
ancavar
committed
type naming shenanigans
ancavar
committed
add separate driver `lama.c` to parse `-h` and `-I` options
ancavar
committed
free vm memory
ancavar
committed
`_ne` -> `_le`
ancavar
committed
fix `unescape`
ancavar
committed
`close(fd)`
ancavar
committed
add missing `da.h`
ancavar
committed
cleanup
ancavar
committed
add free for stub table
ancavar
committed
change vm
ancavar
committed
store public symbol flag as 1 byte
ancavar
committed
init globals to 0
ancavar
committed
change `loader.c` to handle cyclic import
ancavar
committed
support external globals
ancavar
committed
remove `is_filepath`
ancavar
committed
cleanup
ancavar
committed
use dynamic array
ancavar
committed
free fixup nodes; cleanup
ancavar
committed
assert for `is_function`
ancavar
committed
add iterator for public symbols and imports
ancavar
committed
don't use op call ffi stub
ancavar
committed
move everything to `converter.c`
ancavar
committed
cache ffi calls
ancavar
committed
cleanup
ancavar
committed
SM.ml chore
ancavar
committed
cleanup
ancavar
committed
add bytecode format description
ancavar
committed
change stack validation
ancavar
committed
bring back `opcodes.c` for easier debugging
ancavar
committed
separate stack validation, store max depth for func
ancavar
committed
add `debug.h`
ancavar
committed
cleanup `regression_check.sh`
ancavar
committed
stack
ancavar
committed
load / store globals by a pointer instead of an index
ancavar
committed
better cleanup
ancavar
committed
add function and global prefixing
ancavar
committed
track external globals for gc
ancavar
committed
cleanup
ancavar
committed
zero out `op_drop`
ancavar
committed
remove div/mod by 0 check
ancavar
committed
cleanup unused files
ancavar
committed
return `bool` instead of `code`
ancavar
committed
memset 0 gc stack range
ancavar
committed
stdout to stderr
ancavar
committed
better `README.md`
ancavar
committed
lift branching
ancavar
committed
better `is_filepath`
ancavar
committed
prefer static array for path
ancavar
committed
better
ancavar
committed
move `count_globals` to `bytecode.c`
ancavar
committed
Revert "track external globals for gc"
ancavar
committed
dedup `emit_st_glo` and `emit_ld_glo`
ancavar
committed
move `stack_validation.h` to `converter.c`
ancavar
committed
move `sv` init to `decode_ctx_init`
ancavar
committed
fix stack validation by not merging all operations
ancavar
committed
remove `func_stack`
ancavar
committed
hash tag during decoding
ancavar
committed
validate `ld/st` operations
ancavar
committed
refactor `op_call` and `op_closure`
ancavar
committed
open files in `loader.c` instead of `bytecode.c`
ancavar
committed
allocate global `eof_ip` instead of placing it in the converted bytecode
ancavar
committed
remove `main` from public symbols for bytecode
ancavar
committed
barrier that should work
ancavar
committed
remove redundant check
ancavar
committed
fix main module handling
ancavar
committed
set args and init gc in `vm_run`
ancavar
committed
remove return value from `vm`
ancavar
committed
pop the result in `op_eof`
ancavar
committed
remove redundant `__gc_stack_top` setup in `vm.c`
ancavar
committed
remove unused `total_globals` field
ancavar
committed
change `OP_LINE` and `OP_FAIL_KEEP` opcodes
ancavar
committed
`op_line` chore
ancavar
committed
check for `EOF`
ancavar
committed
undef emits
ancavar
committed
better error handling for `symbols.c`
ancavar
committed
specialize macros
ancavar
committed
refactor emitting global
ancavar
committed
`op_ld` and `op_st` to `op_ld_glo` and `op_st_glo`
ancavar
committed
some validation
ancavar
committed
cleanup
ancavar
committed
add `extern_funcs`
ancavar
committed
detect cycles
ancavar
committed
some validation concerns from `fuzzing`
ancavar
committed
better `SM.ml`
ancavar
committed
reversed order `is_loading`
ancavar
committed
better
ancavar
committed
change signature
ancavar
committed
add macros for `op_patt`
ancavar
committed
move `opcode_is_func_begin`
ancavar
committed
better checks
ancavar
committed
point `sp` to the last pushed value, not the first empty slot
ancavar
committed
correct `op_fail`
ancavar
committed
do not include main unit's path as a search path
ancavar
committed
remove `ifdef debug` for op_line
ancavar
committed
group together manipulations with GC before pseudo-registers initialization
ancavar
committed
chore
ancavar
committed
remove `op_init`, use `op_call` for main unit's begin
ancavar
committed
change path loading
ancavar
committed
chore
ancavar
committed
proper casts for reading bytes
ancavar
committed
change path loading
ancavar
committed
validate closure captures
ancavar
committed
add explanation for setting current depth to instruction after `BARRIER`
ancavar
committed
fix stack operations
ancavar
committed
unify `is_filepath` and `extract_unit_name`
ancavar
committed
cleanup redundant check for closure var
ancavar
committed
change stack mechanics, remove max_depth
ancavar
committed
fix
ancavar
committed
better build
ancavar
committed
add O3 runtime (?) for bench
ancavar
committed
first version specification
ancavar
committed
lama svg
ancavar
committed
add magic number
ancavar
committed
add version number to bytecode format
ancavar
committed
clarify `SPEC.md`
ancavar
committed
add well-formedish criteria for instructions
ancavar
committed
fix make error?
ancavar
committed

Commits on Jun 14, 2026

add disassembly for bytecode, remove `byterun/`
ancavar
committed
better `README.md`
ancavar
committed
resolve TODOs
ancavar
committed

Commits on Jun 25, 2026

fix wording to abstract stack machine
ancavar
committed
add cram tests to vm
ancavar
authored

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.