]> git.lizzy.rs Git - rust.git/history - src
projects / rust.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
whitelist things so that more tests pass
[rust.git] / src /
2017-07-25 Ralf Jungwhitelist things so that more tests pass tree | commitdiff
2017-07-25 Ralf Jungsuspend lvalues, not locks. refactor memory locking. tree | commitdiff
2017-07-25 Ralf Jungmake LockInfo non-Copy tree | commitdiff
2017-07-25 Ralf Jungfix checks when releasing write locks (101) tree | commitdiff
2017-07-25 Ralf Jungwe don't have to set the frame on every step tree | commitdiff
2017-07-25 Ralf Junghandle type of function definitions (98) tree | commitdiff
2017-07-25 Ralf Jungwe need to normalize associated types also deep in... tree | commitdiff
2017-07-25 Ralf JungHandle trait objects. Only very superficial checking... tree | commitdiff
2017-07-25 Ralf Jungnits. also, rustc now emits released for drop. (72) tree | commitdiff
2017-07-25 Ralf Jungexempt UnsafeCell from checks (69) tree | commitdiff
2017-07-25 Ralf Jungmove validation to its own file tree | commitdiff
2017-07-25 Ralf Jungwe have to permit deallocation memory for which we... tree | commitdiff
2017-07-25 Ralf Jungfix handling univariant enums (62) tree | commitdiff
2017-07-25 Ralf Jungpermit locking constant memory (60) tree | commitdiff
2017-07-25 Ralf Jungfn ptrs and never were accidentally disabled (55) tree | commitdiff
2017-07-25 Ralf Jungfix normalizing associated types. this brings us up... tree | commitdiff
2017-07-25 Ralf Junghandle array types tree | commitdiff
2017-07-25 Ralf JungRe-do the way locking is done during verification tree | commitdiff
2017-07-25 Ralf Jungfor references, validate alignment and handle ZSTs tree | commitdiff
2017-07-25 Ralf Jungvalidate TyClosure, TyTuple, TyNever tree | commitdiff
2017-07-25 Ralf Jungvarious small fixes and tracing tree | commitdiff
2017-07-25 Ralf JungAlso release locks on ReleaseValidation and EndRegion tree | commitdiff
2017-07-25 Ralf Jungfix release_lock_until to no longer remove inactive... tree | commitdiff
2017-07-25 Ralf Jungavoid downcasting for enum variants without further... tree | commitdiff
2017-07-25 Ralf Jungvalidate boxes tree | commitdiff
2017-07-25 Ralf Jungimplement checking for ADTs tree | commitdiff
2017-07-25 Ralf Jungimplement stub validity check for basic types (bool... tree | commitdiff
2017-07-25 Ralf Jungimplement acquiring and releasing locks tree | commitdiff
2017-07-25 Ralf Jungadd locking data structures and lock checks tree | commitdiff
2017-07-25 Ralf Jungupdate for rustc changes: treat new MIR commands as NOP tree | commitdiff
2017-07-24 Oliver SchneiderMerge pull request #267 from RalfJung/cast tree | commitdiff
2017-07-24 Oliver SchneiderPass `HasDataLayout` instead of the data layout itself tree | commitdiff
2017-07-23 Oliver SchneiderUse rustc traits instead of our own tree | commitdiff
2017-07-22 Ralf Jungmove pointer truncation to a common method in memory.rs tree | commitdiff
2017-07-22 Oliver SchneiderMerge pull request #269 from oli-obk/cleanups tree | commitdiff
2017-07-22 Ralf Jungfix nits tree | commitdiff
2017-07-22 Ralf Jungrefactor casting code to more clearly handle pointers tree | commitdiff
2017-07-22 Ralf Jungfix casting integers to pointers tree | commitdiff
2017-07-21 Oliver SchneiderRemove unused `IntoValTyPair` hack tree | commitdiff
2017-07-21 Oliver SchneiderMerge pull request #258 from oli-obk/upstream tree | commitdiff
2017-07-21 Oliver SchneiderPrep miri repository for rustc merger tree | commitdiff
2017-07-21 Oliver SchneiderMerge pull request #266 from RalfJung/align tree | commitdiff
2017-07-20 Ralf Jungalways test alignment in memory.rs tree | commitdiff
2017-07-20 Oliver SchneiderMerge pull request #265 from oli-obk/optimize_prime tree | commitdiff
2017-07-20 Oliver SchneiderAlso test optimized MIR tree | commitdiff
2017-07-20 Oliver SchneiderMerge pull request #264 from oli-obk/paths tree | commitdiff
2017-07-20 Oliver SchneiderReduce the usage of global paths tree | commitdiff
2017-07-20 Oliver SchneiderMerge pull request #260 from RalfJung/tests tree | commitdiff
2017-07-20 Eduard-Mihai BurtescuMerge pull request #262 from RalfJung/never tree | commitdiff
2017-07-20 Oliver SchneiderMerge pull request #259 from RalfJung/ref-validate tree | commitdiff
2017-07-20 Ralf Jungremove ad-hoc 'never' type check in read_lvalue tree | commitdiff
2017-07-20 Ralf Jungfix checking alignment of pointer loads tree | commitdiff
2017-07-19 Ralf Jungfix a warning tree | commitdiff
2017-07-19 Ralf JungDon't pretend that casts to bool are a thing tree | commitdiff
2017-07-19 Ralf JungNo longer check aligment and non-NULLness on `&` tree | commitdiff
2017-07-19 Oliver SchneiderMerge pull request #257 from oli-obk/cleanups tree | commitdiff
2017-07-19 Oliver SchneiderExport types and functions needed by priroda tree | commitdiff
2017-07-18 Oliver SchneiderMerge pull request #254 from RalfJung/dangling tree | commitdiff
2017-07-18 Scott OlsonMerge pull request #255 from RalfJung/float tree | commitdiff
2017-07-18 Ralf Junguse libstd methods for floating-point <-> bytes conversion tree | commitdiff
2017-07-18 Ralf Jungremove reundant dangling checks in {r,d}eallocate tree | commitdiff
2017-07-18 Oliver SchneiderMerge pull request #245 from oli-obk/funky_allocs tree | commitdiff
2017-07-14 Oliver SchneiderMerge pull request #249 from RalfJung/lvalue tree | commitdiff
2017-07-14 Ralf Junglvalue: refactoring to permit applying a mir projection... tree | commitdiff
2017-07-14 Oliver SchneiderAdd a comment explaining the static "local" during... tree | commitdiff
2017-07-14 Oliver SchneiderFix static mutation tests tree | commitdiff
2017-07-14 Oliver SchneiderUse enum instead of boolean tree | commitdiff
2017-07-14 Oliver SchneiderClarify documentation tree | commitdiff
2017-07-14 Oliver SchneiderEnsure that it is not possible to explicitly free stack... tree | commitdiff
2017-07-14 Oliver SchneiderMerge pull request #247 from RalfJung/packed tree | commitdiff
2017-07-13 Oliver SchneiderMerge pull request #243 from solson/magic_numbers tree | commitdiff
2017-07-13 Ralf Junguse closures to ensure proper bracketing of unaligned... tree | commitdiff
2017-07-13 Ralf Jungsimplify tree | commitdiff
2017-07-13 Ralf Jungshow alignedness of ByRefs; allow converting unaligned... tree | commitdiff
2017-07-13 Ralf Jungmake all Value::into_* methods handle alignment the... tree | commitdiff
2017-07-13 Ralf Jungexpand comment tree | commitdiff
2017-07-13 Oliver SchneiderReuse the `const_eval` method for syscall name resolution tree | commitdiff
2017-07-13 Oliver SchneiderDon't use magic numbers for synconf names tree | commitdiff
2017-07-13 Oliver SchneiderCopy `path_to_def` from clippy tree | commitdiff
2017-07-13 Oliver SchneiderMerge pull request #248 from RalfJung/pointer-games tree | commitdiff
2017-07-13 Ralf Jungfix "unaligned" transmute tree | commitdiff
2017-07-13 Ralf Jungtrack alignment also for ByRef values tree | commitdiff
2017-07-13 Ralf JungMemory::read_ptr has to check for relocations on the... tree | commitdiff
2017-07-13 Ralf JungRename value accessors to "into_*" so the three of... tree | commitdiff
2017-07-13 Ralf JungRe-do packed memory accesses tree | commitdiff
2017-07-12 Oliver SchneiderMerge pull request #241 from solson/rustc_integration tree | commitdiff
2017-07-12 Oliver SchneiderProduce `ConstInt` from a `def_id` for rustc tree | commitdiff
2017-07-12 Oliver SchneiderMerge pull request #238 from RalfJung/tests tree | commitdiff
2017-07-12 Eduard-Mihai BurtescuMerge pull request #239 from RalfJung/mmap tree | commitdiff
2017-07-12 Ralf Junghooking mmap is no longer needed tree | commitdiff
2017-07-11 Oliver SchneiderMerge pull request #236 from oli-obk/pointers tree | commitdiff
2017-07-11 Oliver SchneiderDocument the reason for `Pointer`'s existence tree | commitdiff
2017-07-11 Oliver SchneiderSimplify `with_extra` tree | commitdiff
2017-07-11 Oliver SchneiderRemove `*offset*` methods from `PrimVal` onto `Pointer` tree | commitdiff
2017-07-11 Oliver SchneiderUse a wrapper type to differentiate between PrimVal... tree | commitdiff
2017-07-11 Oliver SchneiderAdd a dedicated `write_null` method tree | commitdiff
2017-07-11 Oliver SchneiderRename Pointer to MemoryPointer tree | commitdiff
2017-07-11 Oliver SchneiderMerge pull request #237 from RalfJung/reallocate tree | commitdiff
2017-07-11 Ralf Jungleave notes regarding possible alignment checks tree | commitdiff
2017-07-10 Ralf Jungupdate for allocator API tree | commitdiff
next
Empowering everyone to build reliable and efficient software.