Commits

Branch selector

 master

User selector

RalfJung

All time

Commit History

Commits on Sep 21, 2022

• format > to_string

  RalfJung

  committed
  c672c35

  Copy full SHA for c672c35

• remove unnecessary to_string

  RalfJung

  committed
  33284ec

  Copy full SHA for 33284ec

Commits on Sep 20, 2022

• make a sync test more reliable

  RalfJung

  committed
  42523d9

  Copy full SHA for 42523d9

• work harder around notorious macos unrealiability

  RalfJung

  committed
  dd80b1a

  Copy full SHA for dd80b1a

• remove Windows TERM env var hack and -Zmiri-env-exclude

  RalfJung

  committed
  bacf131

  Copy full SHA for bacf131

• rustup, fmt

  RalfJung

  committed
  7687b7e

  Copy full SHA for 7687b7e

• make some names more consistent

  RalfJung

  committed
  5ca1f85

  Copy full SHA for 5ca1f85

• put a tcx into the Machine so that we have to pass around fewer things

  RalfJung

  committed
  cc149c7

  Copy full SHA for cc149c7

• avoid thread-local var indirection for non-halting diagnostics

  RalfJung

  committed
  3cb27f5

  Copy full SHA for 3cb27f5

Commits on Sep 19, 2022

• give macOS more time

  RalfJung

  committed
  855a2ad

  Copy full SHA for 855a2ad

• rustup

  RalfJung

  committed
  f0c6f0d

  Copy full SHA for f0c6f0d

• note on deterministic 'fake' API implementations

  RalfJung

  committed
  1a95556

  Copy full SHA for 1a95556

Commits on Sep 18, 2022

• add/fix some comments

  RalfJung

  committed
  7fdd924

  Copy full SHA for 7fdd924

Commits on Sep 13, 2022

• test fast sleeping

  

  RalfJung

  authored and

  pvdrz

  committed
  b16d301

  Copy full SHA for b16d301

• add extra sanity check against depending on system time with isolation enabled

  

  RalfJung

  authored and

  pvdrz

  committed
  613a436

  Copy full SHA for 613a436

• organize clock arithmetic more like the stdlib

  

  RalfJung

  authored and

  pvdrz

  committed
  bc307b4

  Copy full SHA for bc307b4

• move clock stuff to separate file

  

  RalfJung

  authored and

  pvdrz

  committed
  f5e2f73

  Copy full SHA for f5e2f73

Commits on Sep 2, 2022

• tweak variable name

  RalfJung

  authored
  169569c

  Copy full SHA for 169569c

• Revert "disable extern-so ffi support for now due to licensing situation"

  Show description for 2f348ab
  RalfJung

  committed
  2f348ab

  Copy full SHA for 2f348ab

Commits on Sep 1, 2022

• disable extern-so ffi support for now due to licensing situation

  RalfJung

  committed
  5f3545e

  Copy full SHA for 5f3545e

• Zulip notifications: ping the Miri team

  RalfJung

  committed
  e12962b

  Copy full SHA for e12962b

Commits on Aug 31, 2022

• rustup

  RalfJung

  committed
  0113f9e

  Copy full SHA for 0113f9e

• make Miri build again with rustc provenance changes

  RalfJung

  committed
  d21b601

  Copy full SHA for d21b601

• make shim_arg_size ptr-width-independent

  RalfJung

  committed
  1135ad3

  Copy full SHA for 1135ad3

• make backtrace header a bit more visible

  RalfJung

  committed
  671a4b8

  Copy full SHA for 671a4b8

• fix progress report being deduplicated

  RalfJung

  committed
  4cb26af

  Copy full SHA for 4cb26af

• add comment

  RalfJung

  authored
  240f92a

  Copy full SHA for 240f92a

Commits on Aug 29, 2022

• clarify test purpose

  RalfJung

  authored
  c9b36b4

  Copy full SHA for c9b36b4

Commits on Aug 28, 2022

• slightly improve protector-related error messages

  Show description for abe890d
  RalfJung

  committed
  abe890d

  Copy full SHA for abe890d

Commits on Aug 27, 2022

• dont rerun build script unnecessarily

  RalfJung

  committed
  d39b683

  Copy full SHA for d39b683

• ensure we don't compare provenance

  RalfJung

  committed
  b4eff16

  Copy full SHA for b4eff16

• rustup

  RalfJung

  committed
  df19b85

  Copy full SHA for df19b85

• adjust for earlier init checking in the core engine

  RalfJung

  committed
  3a2252b

  Copy full SHA for 3a2252b

Commits on Aug 26, 2022

• nicer errors

  RalfJung

  committed
  235036f

  Copy full SHA for 235036f

• rename test to match usual naming conventions

  Show description for 8280233
  RalfJung

  committed
  8280233

  Copy full SHA for 8280233

Pagination

Previous

Next