Search results

Functions in impl blocks aren't marked as entrypoints

bug

Status: Closed (completed).

#57 In GaloisInc/mir-json;

· by RyanGlScott was closed on Dec 7, 2023

saw-rustc doesn't work with const or static values

bug

Status: Closed (completed).

#55 In GaloisInc/mir-json;

· by RyanGlScott was closed on Sep 11, 2023

saw-rustc doesn't work with struct newtypes

bug

Status: Closed (completed).

#53 In GaloisInc/mir-json;

· by RyanGlScott was closed on Aug 29, 2023

Handle mixed monomorphic and polymorphic code with saw-rustc

bug

Status: Closed (completed).

#52 In GaloisInc/mir-json;

· by RyanGlScott was closed on Aug 29, 2023

Unexpected saw-rustc compilation failure (#[test] can only be applied to functions)

bug

Status: Closed (completed).

#47 In GaloisInc/mir-json;

· by RyanGlScott was closed on Jul 14, 2023

mir-json-rustc-wrapper produced linked MIR with too many dots in the file name

bug

Status: Closed (completed).

#38 In GaloisInc/mir-json;

· by RyanGlScott was closed on May 1, 2023