-
-
Notifications
You must be signed in to change notification settings - Fork 16
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Implement cross-architecture verification for WebAssembly targets via QEMU emulation
testsUnit, fuzzing, performance, etc.Unit, fuzzing, performance, etc.Status: Open.#232 In Inferara/inference;- Status: Open.#231 In Inferara/inference;
Configurable, statically-known linear-memory size for generated WASM (CLI flag + [wasm] Inference.toml)
cliCommand line interface relatedCommand line interface relatedcodegenBytecode emittingBytecode emittingenhancementNew feature or requestNew feature or requestmemory managementRelated to how memory is tracked and manipulatedRelated to how memory is tracked and manipulatedStatus: Open.codegen/perf: defensive struct-param copies + dead frame zero-fill + no small-aggregate scalarization
codegenBytecode emittingBytecode emittingperformanceMemory / CPUMemory / CPUStatus: Open.#220 In Inferara/inference;type-checker/DX: integer literals don't coerce to i64 in operator/argument/return positions
enhancementNew feature or requestNew feature or requestsyntaxInference syntax relatedInference syntax relatedStatus: Open.#219 In Inferara/inference;parser: [value; N] repeat array-literal value form unsupported (confusing diagnostic)
enhancementNew feature or requestNew feature or requestparserSource code parserSource code parserStatus: Open.#218 In Inferara/inference;Optimization: eliminate runtime bounds guard for provably in-bounds dynamic indices
codegenBytecode emittingBytecode emittingperformanceMemory / CPUMemory / CPUstatic analysisStatic code analysisStatic code analysisStatus: Open.#215 In Inferara/inference;Proof-mode: discharge dynamic array bounds as Rocq proof obligations
codegenBytecode emittingBytecode emittingmemory managementRelated to how memory is tracked and manipulatedRelated to how memory is tracked and manipulatedstatic analysisStatic code analysisStatic code analysisStatus: Open.#214 In Inferara/inference;Static rule: require a dominating in-bounds guard before dynamic array indexing
enhancementNew feature or requestNew feature or requeststatic analysisStatic code analysisStatic code analysisStatus: Open.#212 In Inferara/inference;Static check + diagnostics: program memory footprint must fit the requested pages (no OOM)
codegenBytecode emittingBytecode emittingmemory managementRelated to how memory is tracked and manipulatedRelated to how memory is tracked and manipulatedstatic analysisStatic code analysisStatic code analysisStatus: Open.#211 In Inferara/inference;Compilation parameter: number of linear-memory pages to allocate (Inference.toml + CLI)
cliCommand line interface relatedCommand line interface relatedcodegenBytecode emittingBytecode emittinginfsInference Start relatedInference Start relatedmemory managementRelated to how memory is tracked and manipulatedRelated to how memory is tracked and manipulatedStatus: Open.#210 In Inferara/inference;CTFE-restriction enforcement
static analysisStatic code analysisStatic code analysissyntaxInference syntax relatedInference syntax relatedStatus: Open.#190 In Inferara/inference;