2020-04-15 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ralf Jung | retag return places |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ralf Jung | adjust for frame hook changes |
commit | commitdiff | tree | snapshot |
2020-04-14 |
bors | Auto merge of #1331 - samrat:macos-mach-timebase-info... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Samrat Man... | Reword comment in mach_timebase_info |
commit | commitdiff | tree | snapshot |
2020-04-14 |
bors | Auto merge of #1333 - RalfJung:flag-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | make sure we find some things without validation or... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | make sure our disable flags do not miss all bugs; move... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Samrat Man... | Use precomputed TyLayout from `machine.layouts` |
commit | commitdiff | tree | snapshot |
2020-04-14 |
bors | Auto merge of #1332 - RalfJung:disable-alignment-check... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | fix comment in alignment test |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | tweak flag section in README |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Samrat Man... | Use pre-defined u32 layout |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | mention new option in README and diagnostics |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | add option to disable alignment checks |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Samrat Man... | [macOS] Implement `mach_timebase_info` |
commit | commitdiff | tree | snapshot |
2020-04-13 |
bors | Auto merge of #1329 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | note Miri's leak check abilities and that they are... |
commit | commitdiff | tree | snapshot |
2020-04-13 |
bors | Auto merge of #1328 - RalfJung:align-false-pos, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | for alignment errors, note that there might be false... |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1327 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1324 - RalfJung:intrinsic-orga, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | there is no 'align_of_val' intrinsic |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | remove an intrinsic that was moved to rustc |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | organize intrinsics into groups |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1323 - RalfJung:noref, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | avoid a bunch of as_ref/as_mut |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1322 - RalfJung:noref, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | avoid ref in matches |
commit | commitdiff | tree | snapshot |
2020-04-11 |
bors | Auto merge of #1321 - RalfJung:float, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-11 |
bors | Auto merge of #1320 - RalfJung:tests, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-11 |
bors | Auto merge of #1319 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-11 |
Ralf Jung | smoketest f32 fast-math intrinsics |
commit | commitdiff | tree | snapshot |
2020-04-11 |
Ralf Jung | some some int-to-float and float-to-float cast tests... |
commit | commitdiff | tree | snapshot |
2020-04-11 |
Ralf Jung | copy lots of float-to-int cast tests from wasm test... |
commit | commitdiff | tree | snapshot |
2020-04-11 |
Ralf Jung | a few more inf/nan/negz tests |
commit | commitdiff | tree | snapshot |
2020-04-11 |
Ralf Jung | organize compile-fail tests in folders |
commit | commitdiff | tree | snapshot |
2020-04-11 |
Ralf Jung | add push_str issue to trophy case |
commit | commitdiff | tree | snapshot |
2020-04-10 |
bors | Auto merge of #1308 - RalfJung:miri, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-10 |
bors | Auto merge of #1316 - RalfJung:compiletest, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-10 |
Ralf Jung | bump compiletest |
commit | commitdiff | tree | snapshot |
2020-04-10 |
bors | Auto merge of #1304 - RalfJung:backtrace-sep, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-10 |
bors | Auto merge of #1315 - RalfJung:housekeeping, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-10 |
Ralf Jung | cargo update |
commit | commitdiff | tree | snapshot |
2020-04-10 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-10 |
Ralf Jung | fix unused warnings in tests |
commit | commitdiff | tree | snapshot |
2020-04-08 |
Ralf Jung | tweak wording |
commit | commitdiff | tree | snapshot |
2020-04-08 |
bors | Auto merge of #1313 - RalfJung:trophy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-08 |
Ralf Jung | add EbrCell to trophy case |
commit | commitdiff | tree | snapshot |
2020-04-08 |
Ralf Jung | more editing |
commit | commitdiff | tree | snapshot |
2020-04-08 |
Ralf Jung | more editing for CONTRIBUTING guide |
commit | commitdiff | tree | snapshot |
2020-04-07 |
bors | Auto merge of #1301 - RalfJung:global-leaks, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-07 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-07 |
Ralf Jung | memory reachable through globals is not a leak any... |
commit | commitdiff | tree | snapshot |
2020-04-07 |
bors | Auto merge of #1310 - RalfJung:float-assoc, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-07 |
Ralf Jung | prefer float assoc consts over std module |
commit | commitdiff | tree | snapshot |
2020-04-06 |
bors | Auto merge of #1157 - divergentdave:shim-pthread-try... |
commit | commitdiff | tree | snapshot |
2020-04-06 |
David Cook | Clean up conditional compilation |
commit | commitdiff | tree | snapshot |
2020-04-06 |
Ralf Jung | wording |
commit | commitdiff | tree | snapshot |
2020-04-06 |
Ralf Jung | make just ./miri print help text without 'unknown command' |
commit | commitdiff | tree | snapshot |
2020-04-06 |
Ralf Jung | mention ./miri build |
commit | commitdiff | tree | snapshot |
2020-04-06 |
David Cook | Fix spelling typo |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Eagerly compute i32 and u32 layouts |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Add tests, improve test coverage |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Changes to error handling |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Add tests |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Use Deadlock machine stop uniformly |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Remove null checks, fall through to UB upon deref |
commit | commitdiff | tree | snapshot |
2020-04-05 |
bors | Auto merge of #1307 - RalfJung:vec-extend, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-05 |
Ralf Jung | also test push_str ptr stability (the original report) |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Update comments, rearrange code |
commit | commitdiff | tree | snapshot |
2020-04-05 |
bors | Auto merge of #1253 - RalfJung:vec-extend, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-05 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-05 |
Ralf Jung | for consistency also rename floats.rs |
commit | commitdiff | tree | snapshot |
2020-04-05 |
Ralf Jung | use mutable reference |
commit | commitdiff | tree | snapshot |
2020-04-05 |
Ralf Jung | test some more vec ptr invalidation |
commit | commitdiff | tree | snapshot |
2020-04-05 |
Ralf Jung | test Vec::extend |
commit | commitdiff | tree | snapshot |
2020-04-05 |
bors | Auto merge of #1305 - ssomers:map_first_last_vs_miri... |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Store layouts of i32 and u32 inside Evaluator |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Set explicit return value size for windows shim |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Set some explicit return value sizes |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Implement TryEnterCriticalSection |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Restrict mutex static initializer test to Linux |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Rearrange functions |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Add TerminationInfo::Deadlock, use in mutex shim |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Add and rearrange mutex tests |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Handle variation in layout of pthread_mutex_t |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Address review comments |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Use checked addition/subtraction on lock counts |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Refactor sync shims with setters and getters |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Add comments explaining asserts |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Fix misleading function names |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Add test of recursive mutex using libc FFI |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Style fixes |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Add test that exercises ReentrantMutex |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Revise mutex/rwlock memory layout for macOS compat |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Implement mutex and rwlock functions |
commit | commitdiff | tree | snapshot |
2020-04-05 |
David Cook | Clean up test case |
commit | commitdiff | tree | snapshot |
next |