keleusma 0.1.1

Total Functional Stream Processor with definitive WCET and WCMU verification, targeting no_std + alloc embedded scripting
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

# Reference

> **Navigation**: [Documentation Root](../README.md)

Reference material for Keleusma.

## Contents

| Document | Description |
|----------|-------------|
| [GLOSSARY.md](./GLOSSARY.md) | Key terminology and definitions |
| [INSTRUCTION_SET.md](./INSTRUCTION_SET.md) | Bytecode instruction set reference |
| [RELATED_WORK.md](./RELATED_WORK.md) | Academic and industrial related work with formal bibliography |
| [TARGET_ISA.md](./TARGET_ISA.md) | Target ISA design specification for structured control flow and block-based verification |