gale/rivet.yaml at main · pulseengine/gale · GitHub

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
project:
  name: gale
  version: "0.1.0"
  schemas:
    - common
    - aspice
    - stpa
    - safety-case
    - gale
  description: >
    Formally verified Rust port of Zephyr RTOS kernel primitives.
    ASIL-D targeted. Dual-track verification: Verus (SMT/Z3) + Rocq (theorem proving).

sources:
  - path: artifacts
    format: generic-yaml

# Upstream Zephyr requirements are available via ReqIF import.
# Currently using curated artifacts/zephyr_upstream_reqs.yaml instead,
# which has correct ASPICE types (system-req vs sw-req) for the
# semaphore requirements we care about.
#
# To import all upstream requirements:
#  - path: upstream-reqif/reqif
#    format: reqif
#    config:
#      type-map.requirement: sw-req
#      type-map.section: documentation
#      type-map.text: documentation

docs:
  - docs

results: results