| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2017-08-30 | Rustup (generator support) | Oliver Schneider | -11/+31 | |
| 2017-08-29 | Mir optimizations treat single variant enums as structs | Oliver Schneider | -0/+12 | |
| 2017-08-29 | Get some more rustc tests working | Oliver Schneider | -14/+6 | |
| 2017-08-29 | Fix panic in subslice patterns of arrays (fixes #276) | Oliver Schneider | -1/+6 | |
| 2017-08-28 | Merge remote-tracking branch 'origin/master' into memory | Oliver Schneider | -22/+18 | |
| 2017-08-28 | Simplify `write_value_to_ptr` | Oliver Schneider | -13/+6 | |
| 2017-08-28 | `int_align` has no dynamic error case | Oliver Schneider | -9/+9 | |
| 2017-08-28 | Deduplicate writing null case of struct wrapped nullable pointers | Oliver Schneider | -36/+36 | |
| 2017-08-28 | Fix #313 by correctly copying relocations when doing overlapping copies | Oliver Schneider | -17/+13 | |
| 2017-08-28 | Make some things public that are required by priroda | Oliver Schneider | -5/+5 | |
| 2017-08-26 | Merge branch 'master' into memory | Oliver Schneider | -83/+3 | |
| 2017-08-26 | use rustc version of fulfill_obligation now that we can | David Renshaw | -83/+3 | |
| 2017-08-26 | Merge branch 'master' into memory | Ralf Jung | -34/+29 | |
| 2017-08-25 | Remove specialize float/bool read/write methods from memory | Ralf Jung | -92/+12 | |
| Notice that the write methods were previously unused, so if this makes us handle some things incorrectly, they probably were already broken | ||||
| 2017-08-25 | refactor memory write API to match read API | Ralf Jung | -54/+73 | |
| 2017-08-25 | refactor memory read API: provide only size-based, no type-based methods | Ralf Jung | -184/+160 | |
| 2017-08-25 | memory: make sure we check non-NULL/undef even fore 0-sized accesses | Ralf Jung | -46/+43 | |
| 2017-08-24 | Merge branch 'master' into drop | Oliver Schneider | -0/+5 | |
| 2017-08-24 | Simplify dropping by reusing `eval_fn_call` | Oliver Schneider | -34/+29 | |
| 2017-08-24 | Merge branch 'master' into libstd | Oliver Schneider | -0/+5 | |
| 2017-08-24 | Refactoring: Couple values and types into an object when passed around together | Oliver Schneider | -129/+193 | |
| 2017-08-24 | Handle closures in get_field_ty | Ralf Jung | -0/+5 | |
| Fixes #304 | ||||
| 2017-08-23 | Also reuse function pointer shims and drop glue from rustc | Oliver Schneider | -41/+4 | |
| 2017-08-23 | Rustup (`Clone` is now a builtin trait) | Oliver Schneider | -0/+7 | |
| 2017-08-12 | fix warnings; make test suite pass again | Ralf Jung | -2/+1 | |
| 2017-08-10 | rustfmt | Ralf Jung | -974/+1994 | |
| Except for error.rs, the result there looks rather ugly | ||||
| 2017-08-09 | turns out we can enable this sanity check now | Ralf Jung | -3/+1 | |
| 2017-08-09 | analyzing hashmap.rs uncovered a deeper problem; disable validation there ↵ | Ralf Jung | -7/+0 | |
| for now | ||||
| 2017-08-09 | try harder to preserve regions when doing inference | Ralf Jung | -12/+119 | |
| This is not complete yet, but it is enough to make unsized-tuple-impls work. | ||||
| 2017-08-09 | Work on making validation test pass again | Ralf Jung | -95/+90 | |
| Turns out that tracking write locks by their lifetime is not precise enough, but for now, we don't have an alternative. Also, we need to force_allocate what we acquire or else the memory will not be in the right state. | ||||
| 2017-08-09 | some tests for RangeMap | Ralf Jung | -9/+58 | |
| 2017-08-09 | Rename `destructure` method to `into_alloc_id_kind` | Oliver Schneider | -9/+9 | |
| 2017-08-09 | rename `memory::Kind` to `memory::MemoryKind` | Oliver Schneider | -28/+28 | |
| 2017-08-08 | Dump all allocs when dumping locals | Oliver Schneider | -29/+40 | |
| 2017-08-08 | clarify which function is pushing a global | Oliver Schneider | -1/+1 | |
| 2017-08-08 | Remove unused function | Oliver Schneider | -14/+0 | |
| 2017-08-08 | Implement packed statics | Oliver Schneider | -82/+139 | |
| 2017-08-08 | Always allocate for globals | Oliver Schneider | -196/+79 | |
| statics are rare and constants are copied anyway. Reading from a constant should then yield a `ByVal` again if possible. | ||||
| 2017-08-08 | Split the alloc id address space into functions and normal allocs | Oliver Schneider | -48/+98 | |
| instead of interleaving them as before. The next step is to also separate out static memory into its own address space. | ||||
| 2017-08-07 | Re-do memory locking (again). Now with proper support for multiple ↵ | Ralf Jung | -162/+348 | |
| independent shared borrows of the same mutable reference. | ||||
| 2017-08-07 | Rustup | Oliver Schneider | -3/+1 | |
| 2017-08-05 | Merge pull request #283 from RalfJung/backtrace | Oliver Schneider | -40/+48 | |
| Backtrace performance | ||||
| 2017-08-04 | Merge pull request #286 from RalfJung/mir-validate | Ralf Jung | -61/+43 | |
| Update MIR validation and test it | ||||
| 2017-08-04 | consolidate making Undef release a NOP in one place | Ralf Jung | -9/+10 | |
| 2017-08-04 | only collect backtrace when RUST_BACKTRACE is set; resolve symbols lazily ↵ | Ralf Jung | -40/+48 | |
| when printing | ||||
| 2017-08-04 | Rustc reorders fields, but miri expects them in source order | Oliver Schneider | -6/+6 | |
| 2017-08-03 | Let -Zmir-emit-validate also control whether miri even acts on the ↵ | Ralf Jung | -2/+10 | |
| validation commands | ||||
| 2017-08-03 | Release of an Undef local is fine, and a NOP | Ralf Jung | -2/+4 | |
| 2017-08-03 | make execution with full MIR work: need to whitelist Arc drop impl and ↵ | Ralf Jung | -7/+13 | |
| whatever it calls | ||||
| 2017-08-03 | with the new 'limited validation when there is unsafe', we can significantly ↵ | Ralf Jung | -11/+6 | |
| shrink our whitelist | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |