Commits on Mar 26, 2024

1. crucible-llvm: Make a list of libc overrides …

   Before this change, lists of LLVM overrides (e.g., `declare_overrides`)
   consisted of libc and LLVM-specific overrides grouped together. Because
   of the difficulties surrounding "polymorphic" LLVM overrides, they
   were also only available as `OverrideTemplate`s, which are necessarily
   dynamic (i.e., are essentially monadic actions in `OverrideSim`
   that register the override in question, rather than a data structure
   describing the override).
   
   Macaw-based Crucible frontends might want to reuse the libc overrides in
   the context of binaries. This commit separates them out and lists them
   purely as `SomeLLVMOverride`s, facilitating this reuse.

   

   langston-barrett committed Mar 26, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for c1cf070
   • Browse repository at this point

   Copy the full SHA

   c1cf070 View commit details

   Browse the repository at this point in the history