This commit is contained in:
bQUARKz 2026-02-20 19:49:23 +00:00
parent a199857280
commit af755a1241
Signed by: bquarkz
SSH Key Fingerprint: SHA256:Z7dgqoglWwoK6j6u4QC87OveEq74WOhFN+gitsxtkf8
9 changed files with 15 additions and 12 deletions

9
Cargo.lock generated
View File

@ -1469,6 +1469,14 @@ version = "1.0.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a"
[[package]]
name = "pbxgen-stress"
version = "0.1.0"
dependencies = [
"anyhow",
"prometeu-bytecode",
]
[[package]]
name = "percent-encoding"
version = "2.3.2"
@ -1606,7 +1614,6 @@ dependencies = [
name = "prometeu-cli"
version = "0.1.0"
dependencies = [
"anyhow",
"clap",
"prometeu-host-desktop-winit",
]

View File

@ -11,6 +11,7 @@ members = [
"crates/host/prometeu-host-desktop-winit",
"crates/tools/prometeu-cli",
"crates/tools/pbxgen-stress",
"crates/dev/prometeu-test-support",
"crates/dev/prometeu-layer-tests",
"crates/dev/prometeu-quality-checks",

View File

@ -1 +1 @@
0.1.0

View File

@ -1,8 +1,6 @@
//! This module defines the Application Binary Interface (ABI) of the Prometeu Virtual Machine.
//! It specifies how instructions are encoded in bytes and how they interact with memory.
// --- Runtime Trap Codes (post-HIP reset) ---
/// Attempted to execute an unknown or invalid opcode.
pub const TRAP_ILLEGAL_INSTRUCTION: u32 = 0x0000_0001;
/// Out-of-bounds access (e.g., stack/heap/local index out of range).

View File

@ -1,14 +1,14 @@
mod abi;
mod decoder;
mod layout;
mod model;
pub mod model;
mod opcode;
mod opcode_spec;
mod program_image;
mod value;
pub mod isa; // canonical ISA boundary (core and future profiles)
mod disassembler;
mod assembler;
pub mod assembler;
pub use abi::{
TrapInfo, TRAP_BAD_RET_SLOTS, TRAP_DIV_ZERO, TRAP_ILLEGAL_INSTRUCTION, TRAP_INVALID_FUNC,

View File

@ -43,7 +43,7 @@ impl DirectoryCartridgeLoader {
return Err(CartridgeError::UnsupportedVersion);
}
let program_path = path.join("program.pbc");
let program_path = path.join("program.pbx");
if !program_path.exists() {
return Err(CartridgeError::MissingProgram);
}

View File

@ -5,7 +5,7 @@ mod local_addressing;
#[cfg(not(test))]
mod verifier;
#[cfg(test)]
pub mod verifier;
mod verifier;
mod virtual_machine;
mod vm_init_error;
mod object;

View File

@ -11,7 +11,7 @@ path = "src/main.rs"
[package.metadata.dist]
dist = true
include = ["../../VERSION.txt"]
include = ["../../../VERSION.txt"]
[dependencies]
prometeu-firmware = { path = "../../console/prometeu-firmware" }

View File

@ -16,11 +16,8 @@ path = "src/bin/prometeu-runtime.rs"
[package.metadata.dist]
dist = true
include = [
"../../../VERSION.txt",
"../../../dist-staging/devtools/debugger-protocol"
]
[dependencies]
clap = { version = "4.5", features = ["derive"] }
prometeu-host-desktop-winit = { path = "../../host/prometeu-host-desktop-winit" }
anyhow = "1.0.100"