1. 11 3月, 2021 5 次提交
  2. 10 3月, 2021 6 次提交
  3. 09 3月, 2021 21 次提交
  4. 08 3月, 2021 2 次提交
  5. 07 3月, 2021 1 次提交
    • W
      [move-prover] Enable setting of environment extensions with an immutable... · 97d7c7ec
      Wolfgang Grieskamp 提交于
      [move-prover] Enable setting of environment extensions with an immutable reference by wrapping in a RefCell
      
      This PR removes the need to have a `&mut GlobalEnv` to set extension data in the environment by making the extension storage a `RefCell`. Since with `RefCell` we cannot export references to the interior
      mutable data, this PR makes `get_extension::<T>()` return an `Rc<T>`, avoiding the alternative of cloning T. The caller can then easily turn this `r: Rc<T>` into a `&T` by `&*r` if he needs to.
      
      This also changes the way how processors retrieve the active ProverOptions, using the new mechanism.
      
      Closes: #7830
      97d7c7ec
  6. 06 3月, 2021 5 次提交