Commits on Apr 30, 2024

1. Adapt memory builtins for Sail concurrency interface …

   Sail has for a while now had a flexible way of passing additional information
   to either operational or axiomatic concurrency models by instantiating outcomes
   (effects) with model-specific types. The set of possible outcomes is defined
   in the Sail library, and a subset of these can be instantiated by any model.
   
   As part of adapting the model to this newer concurrency interface, the
   riscv_analysis file is no-longer needed, so it has been removed.

   

   Alasdair committed Apr 30, 2024
   Configuration menu

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

   Copy the full SHA

   59447f0 View commit details

   Browse the repository at this point in the history