search

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Apache License 2.0
21 stars 1 forks source link

Feature: add support for configuration files to control how declarati… #6

Closed msprotz closed 6 months ago

msprotz commented 6 months ago

…ons are grouped within various C files

Example:

files:
  - name: libcrux_digest
    api:
      - [ libcrux, digest ]
  - name: libcrux_platform
    api:
      - [ libcrux_platform ]
  - name: libcrux_kyber
    api:
      - [ libcrux_kyber, kyber768 ]
    private:
      - [ libcrux_kyber, "*" ]
  - name: core
    private:
      - [ core, "*" ]

will be merged later once I figure out how to add a nix dependency on the new opam package, and once I document the code a little bit