flux-asm 0.1.0

FLUX bytecode assembler and disassembler for constraint enforcement VM

flux-asm

FLUX bytecode assembler — two-pass with labels, comments, and disassembler.

43 opcodes for the FLUX constraint enforcement VM.

Usage

# Assemble
python -m flux_asm program.fxasm -o program.flux

# Disassemble
python -m flux_asm -d program.flux

# Run self-tests
python -m flux_asm

Example

# eVTOL altitude check
PUSH 100        # altitude
PUSH 0          # min
CMP_GE          # altitude >= 0?
JFAIL fail
PUSH 15000      # max
CARRY_LT        # altitude < max
ASSERT
HALT
fail:
GUARD_TRAP