keleusma 0.2.2

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
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

{
    "$schema": "https://raw.githubusercontent.com/devcontainers/spec/main/schemas/devContainer.schema.json",
    "name": "Keleusma development container",
    "image": "mcr.microsoft.com/devcontainers/rust:1-bookworm",
    "features": {
        "ghcr.io/devcontainers/features/common-utils:2": {
            "username": "vscode",
            "installZsh": true
        }
    },
    "postCreateCommand": "rustup toolchain install 1.88 --component clippy rustfmt --no-self-update && rustup target add thumbv7em-none-eabihf && cargo install --path keleusma-cli --bin keleusma --locked",
    "customizations": {
        "vscode": {
            "extensions": [
                "rust-lang.rust-analyzer",
                "tamasfe.even-better-toml",
                "vadimcn.vscode-lldb",
                "serayuzgur.crates",
                "EditorConfig.EditorConfig"
            ],
            "settings": {
                "rust-analyzer.cargo.allTargets": true,
                "rust-analyzer.check.command": "clippy",
                "editor.formatOnSave": true,
                "[rust]": {
                    "editor.defaultFormatter": "rust-lang.rust-analyzer"
                },
                "files.associations": {
                    "*.kel": "keleusma"
                }
            }
        }
    },
    "mounts": [],
    "remoteUser": "vscode"
}