1. 31 1月, 2017 1 次提交
  2. 30 1月, 2017 1 次提交
  3. 17 1月, 2017 1 次提交
  4. 12 1月, 2017 1 次提交
  5. 19 12月, 2016 1 次提交
  6. 08 12月, 2016 2 次提交
  7. 07 12月, 2016 1 次提交
  8. 18 11月, 2016 2 次提交
  9. 03 11月, 2016 1 次提交
  10. 02 11月, 2016 1 次提交
  11. 21 10月, 2016 5 次提交
  12. 16 10月, 2016 1 次提交
  13. 14 10月, 2016 1 次提交
    • S
      Refactor in preparation for `Value` locals. · 5f65ee27
      Scott Olson 提交于
      Turning locals into `Vec<Value>` will allow writing `PrimVal` results
      directly into the locals array without creating `memory::Allocation`s
      for every local.
      
      This will entail passing around a generalized kind of `Lvalue` instead
      of `Pointer`s for the destinations of operations. Replacing `Pointer`
      with `Lvalue` is mostly done with this commit, but expanding `Lvalue`
      will come later.
      
      This commit turns every local from `Pointer` into `Value::ByRef(ptr)`.
      Locals which are `Value::ByVal(prim_val)` will come in a later commit.
      5f65ee27
  14. 01 10月, 2016 1 次提交
  15. 28 9月, 2016 1 次提交
  16. 27 9月, 2016 2 次提交
  17. 22 9月, 2016 1 次提交
  18. 19 9月, 2016 1 次提交
    • S
      Replace const_to_ptr with const_to_value. · 20ced4a7
      Scott Olson 提交于
      This reduces the number of allocations Miri makes drastically. The
      `const_to_ptr` function was a lame hack that allocated for every since simple
      constant, and all of those are avoided now, except for one extra allocation each
      for string and bytestring literals which will be fixed in a followup commit.
      
      There are a number of hacks such as `eval_operand_to_ptr` left over from this
      commit, which will also be fixed in followup commits.
      20ced4a7
  19. 13 9月, 2016 1 次提交
  20. 11 9月, 2016 1 次提交
  21. 07 9月, 2016 1 次提交
  22. 06 9月, 2016 1 次提交
  23. 27 8月, 2016 1 次提交
  24. 05 7月, 2016 1 次提交
  25. 28 6月, 2016 1 次提交
    • O
      don't execute the first statement of a constant/static/promoted right away · 7d574f7b
      Oliver Schneider 提交于
      This might create confusion, because attempting to execute a statement can cause
      arbitrary stackframes to be added for the constants/statics/promoteds required by that
      statement. Before this commit, the first statement of the last added stackframe was
      executed immediately. Thus there was no way to inspect the state before that first
      statement.
      7d574f7b
  26. 23 6月, 2016 2 次提交
  27. 15 6月, 2016 1 次提交
  28. 14 6月, 2016 1 次提交
  29. 12 6月, 2016 1 次提交
  30. 11 6月, 2016 1 次提交
  31. 10 6月, 2016 2 次提交