about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2017-08-30Rustup (generator support)Oliver Schneider-11/+31
2017-08-29Mir optimizations treat single variant enums as structsOliver Schneider-0/+12
2017-08-29Get some more rustc tests workingOliver Schneider-14/+6
2017-08-29Fix panic in subslice patterns of arrays (fixes #276)Oliver Schneider-1/+6
2017-08-28Merge remote-tracking branch 'origin/master' into memoryOliver Schneider-22/+18
2017-08-28Simplify `write_value_to_ptr`Oliver Schneider-13/+6
2017-08-28`int_align` has no dynamic error caseOliver Schneider-9/+9
2017-08-28Deduplicate writing null case of struct wrapped nullable pointersOliver Schneider-36/+36
2017-08-28Fix #313 by correctly copying relocations when doing overlapping copiesOliver Schneider-17/+13
2017-08-28Make some things public that are required by prirodaOliver Schneider-5/+5
2017-08-26Merge branch 'master' into memoryOliver Schneider-83/+3
2017-08-26use rustc version of fulfill_obligation now that we canDavid Renshaw-83/+3
2017-08-26Merge branch 'master' into memoryRalf Jung-34/+29
2017-08-25Remove specialize float/bool read/write methods from memoryRalf Jung-92/+12
2017-08-25refactor memory write API to match read APIRalf Jung-54/+73
2017-08-25refactor memory read API: provide only size-based, no type-based methodsRalf Jung-184/+160
2017-08-25memory: make sure we check non-NULL/undef even fore 0-sized accessesRalf Jung-46/+43
2017-08-24Merge branch 'master' into dropOliver Schneider-0/+5
2017-08-24Simplify dropping by reusing `eval_fn_call`Oliver Schneider-34/+29
2017-08-24Merge branch 'master' into libstdOliver Schneider-0/+5
2017-08-24Refactoring: Couple values and types into an object when passed around togetherOliver Schneider-129/+193
2017-08-24Handle closures in get_field_tyRalf Jung-0/+5
2017-08-23Also reuse function pointer shims and drop glue from rustcOliver Schneider-41/+4
2017-08-23Rustup (`Clone` is now a builtin trait)Oliver Schneider-0/+7
2017-08-12fix warnings; make test suite pass againRalf Jung-2/+1
2017-08-10rustfmtRalf Jung-974/+1994
2017-08-09turns out we can enable this sanity check nowRalf Jung-3/+1
2017-08-09analyzing hashmap.rs uncovered a deeper problem; disable validation there for...Ralf Jung-7/+0
2017-08-09try harder to preserve regions when doing inferenceRalf Jung-12/+119
2017-08-09Work on making validation test pass againRalf Jung-95/+90
2017-08-09some tests for RangeMapRalf Jung-9/+58
2017-08-09Rename `destructure` method to `into_alloc_id_kind`Oliver Schneider-9/+9
2017-08-09rename `memory::Kind` to `memory::MemoryKind`Oliver Schneider-28/+28
2017-08-08Dump all allocs when dumping localsOliver Schneider-29/+40
2017-08-08clarify which function is pushing a globalOliver Schneider-1/+1
2017-08-08Remove unused functionOliver Schneider-14/+0
2017-08-08Implement packed staticsOliver Schneider-82/+139
2017-08-08Always allocate for globalsOliver Schneider-196/+79
2017-08-08Split the alloc id address space into functions and normal allocsOliver Schneider-48/+98
2017-08-07Re-do memory locking (again). Now with proper support for multiple independe...Ralf Jung-162/+348
2017-08-07RustupOliver Schneider-3/+1
2017-08-05Merge pull request #283 from RalfJung/backtraceOliver Schneider-40/+48
2017-08-04Merge pull request #286 from RalfJung/mir-validateRalf Jung-61/+43
2017-08-04consolidate making Undef release a NOP in one placeRalf Jung-9/+10
2017-08-04only collect backtrace when RUST_BACKTRACE is set; resolve symbols lazily whe...Ralf Jung-40/+48
2017-08-04Rustc reorders fields, but miri expects them in source orderOliver Schneider-6/+6
2017-08-03Let -Zmir-emit-validate also control whether miri even acts on the validation...Ralf Jung-2/+10
2017-08-03Release of an Undef local is fine, and a NOPRalf Jung-2/+4
2017-08-03make execution with full MIR work: need to whitelist Arc drop impl and whatev...Ralf Jung-7/+13
2017-08-03with the new 'limited validation when there is unsafe', we can significantly ...Ralf Jung-11/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-05 18:26:38 +0000