2019-10-22 |
Ralf Jung | add comments
|
commit | commitdiff | tree |
2019-10-22 |
Ralf Jung | bring back some Debug instances for Miri
|
commit | commitdiff | tree |
2019-10-21 |
Ralf Jung | expand comment
|
commit | commitdiff | tree |
2019-10-21 |
Ralf Jung | remove write_repeat; it is subsumed by the new write_bytes
|
commit | commitdiff | tree |
2019-10-21 |
Ralf Jung | points the user away from the Allocation type and towards...
|
commit | commitdiff | tree |
2019-10-21 |
Ralf Jung | keep the root dir clean from debugging
|
commit | commitdiff | tree |
2019-10-20 |
Ralf Jung | also check the iterator is not too long
|
commit | commitdiff | tree |
2019-10-20 |
Ralf Jung | miri add write_bytes method to Memory doing bounds...
|
commit | commitdiff | tree |
2019-10-20 |
Ralf Jung | skip all refs-to-uninit-local, not just arguments
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | adjust miri sysroot determination
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | bump miri
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | show the proper diagnostics
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | add test for calling non-const fn
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | clarify const_prop ICE protection comment
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | do all the same edits with Arc
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | some more Rc tweaks
|
commit | commitdiff | tree |
2019-10-19 |
Ralf Jung | the exampleis about drop, not (de)allocation
|
commit | commitdiff | tree |
2019-10-17 |
Ralf Jung | example for padding any format
|
commit | commitdiff | tree |
2019-10-17 |
Ralf Jung | reorder fmt docs for more clarity
|
commit | commitdiff | tree |
2019-10-17 |
Ralf Jung | more consistency and clarification
|
commit | commitdiff | tree |
2019-10-17 |
Ralf Jung | Rc: value -> allocation
|
commit | commitdiff | tree |
2019-10-16 |
Ralf Jung | fmt::Write is about string slices, not byte slices
|
commit | commitdiff | tree |
2019-10-14 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | make tests more robust
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | test unwind(abort) with Rust ABI
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | fix #[unwind(abort)] for Rust ABIs
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | some typography
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | also (properly) test nounwind on function definitions
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | update test for nounwind on FFI imports
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | fix link targets
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | remove old branch of unwind logic
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | it's C++20
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | do not reference LLVM for our concurrency memory model
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | remove confusing and redundant subsection
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | move Formatting Traits down
|
commit | commitdiff | tree |
2019-10-12 |
Ralf Jung | std::fmt: move format string grammar to the bottom
|
commit | commitdiff | tree |
2019-10-11 |
Ralf Jung | InterpCx: make memory field public
|
commit | commitdiff | tree |
2019-10-11 |
Ralf Jung | emcscripten: ignore another thread-using test
|
commit | commitdiff | tree |
2019-10-11 |
Ralf Jung | ignore-emcscripten as it does not support threads
|
commit | commitdiff | tree |
2019-09-29 |
Ralf Jung | bump Miri
|
commit | commitdiff | tree |
2019-09-19 |
Ralf Jung | first determine if the variant is a niche-variant,...
|
commit | commitdiff | tree |
2019-09-17 |
Ralf Jung | update Nomicon and Reference
|
commit | commitdiff | tree |
2019-09-17 |
Ralf Jung | build-manifest: add some comments
|
commit | commitdiff | tree |
2019-09-17 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2019-09-17 |
Ralf Jung | rename Allocation::retag -> with_tags_and_extra
|
commit | commitdiff | tree |
2019-09-17 |
Ralf Jung | document Miri error categories
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | avoid duplicate issues for Miri build failures
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | update miri for latest breakage
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | with byteorder 1.3, the i128 feature is a NOP
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | avoid #[cfg] in favor of cfg!
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | add test
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | do the variant idx computations on the host (non-overflowing)
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | factor getting the discriminant layout to a new method
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | better and more consistent variable names
|
commit | commitdiff | tree |
2019-09-16 |
Ralf Jung | fix Miri discriminant load/store when overflows are...
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | update intern classification comment
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | explain ty == None
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | assert that nobody asks for mutable constants
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | note a FIXME
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | relocations -> allocations
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | drop redundant ParamEnv, and avoid constructing InternVisito...
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | all memory behind a constant must be immutable
|
commit | commitdiff | tree |
2019-09-15 |
Ralf Jung | const interning: move mutability computation into intern_sha...
|
commit | commitdiff | tree |
2019-09-14 |
Ralf Jung | build-manifest: when Miri tests are not passing, do...
|
commit | commitdiff | tree |
2019-09-14 |
Ralf Jung | when BUILD_MANIFEST_DISABLE_SIGNING is set, we don...
|
commit | commitdiff | tree |
2019-09-14 |
Ralf Jung | rename the crate, not the feature
|
commit | commitdiff | tree |
2019-09-14 |
Ralf Jung | std: always depend on backtrace, but only enable its...
|
commit | commitdiff | tree |
2019-09-09 |
Ralf Jung | update reference
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | add test
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | const-eval tests: make all unions repr(C)
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | explain why REF_AS_USIZE is important
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | tweak const-valid test
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | make unions repr(C)
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | mod-level doc comment for validity check
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | better variable names
|
commit | commitdiff | tree |
2019-08-30 |
Ralf Jung | miri: detect too large dynamically sized objects
|
commit | commitdiff | tree |
2019-08-27 |
Ralf Jung | const_prop: only call error_to_const_error if we are...
|
commit | commitdiff | tree |
2019-08-27 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2019-08-26 |
Ralf Jung | adjust tests
|
commit | commitdiff | tree |
2019-08-26 |
Ralf Jung | add link to FileCheck docs
|
commit | commitdiff | tree |
2019-08-26 |
Ralf Jung | raw slices do not have to comply to the size limit
|
commit | commitdiff | tree |
2019-08-25 |
Ralf Jung | test for too long slices
|
commit | commitdiff | tree |
2019-08-25 |
Ralf Jung | validate raw wide pointers
|
commit | commitdiff | tree |
2019-08-25 |
Ralf Jung | factor wide ptr metadata checking into separate method
|
commit | commitdiff | tree |
2019-08-21 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2019-08-19 |
Ralf Jung | start cleaning up subst mess
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | test in a way that works even with musl
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | less &
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | drift leftward
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | fix tests
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | Full stop
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | use ImmTy::from_uint in a few more spots
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | make both unary_op and binary_op fully typed, including...
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | Add ImmTy::from_uint
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | invalid_value: also detect transmute-from-0 (seen in...
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | multi-variant enums are tricky
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | invalid_value: warn for types with custom valid range
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | warn about uninit bools and chars
|
commit | commitdiff | tree |
2019-08-17 |
Ralf Jung | invalid_value: factor finding dangerous inits into...
|
commit | commitdiff | tree |
next |