Improve the code to use a name matcher map instead of long lists of patterns

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

Improve the code to use a name matcher map instead of long lists of patterns #20

Open msprotz opened 3 months ago

msprotz commented 3 months ago

See https://github.com/AeneasVerif/eurydice/pull/11#discussion_r1607896840

franziskuskiefer commented 3 months ago

Is this a duplicate of #18 ?

msprotz commented 3 months ago

Nope this is for internal needs -- right now we have a hardcoded list of rust functions that get distinguished treatment in Eurydice and having a more modular way of dealing with it would help