git.lizzy.rs Git - rust.git/history

]> git.lizzy.rs Git - rust.git/history - src/memory.rs

2019-06-26	bors	Auto merge of #779 - christianpoveda:intptrcast-model...	blob \| commitdiff \| raw
2019-06-25	Christian Poveda	Fix merge conflicts	blob \| commitdiff \| raw
2019-06-24	Christian Poveda	Reorganize MemoryExtra and AllocExtra structures	blob \| commitdiff \| raw
2019-06-24	Christian Poveda	Rename new fields and move rng to MemoryExtra	blob \| commitdiff \| raw \| diff to current
2019-06-21	Christian Poveda	Implement intptrcast methods	blob \| commitdiff \| raw \| diff to current
2018-09-19	Eduard-Mihai Burtescu	Merge pull request #458 from RalfJung/tls	blob \| commitdiff \| raw
2018-09-19	Ralf Jung	Move TLS data to machine data	blob \| commitdiff \| raw
2018-09-18	Ralf Jung	Merge pull request #453 from RalfJung/zst	blob \| commitdiff \| raw \| diff to current
2018-09-17	Ralf Jung	more compile-fail ptr equality tests, to rule out any...	blob \| commitdiff \| raw \| diff to current
2018-09-17	Ralf Jung	Merge remote-tracking branch 'origin/master' into zero...	blob \| commitdiff \| raw \| diff to current
2018-09-15	Ralf Jung	Merge pull request #451 from TimDiekmann/master	blob \| commitdiff \| raw \| diff to current
2018-09-09	Ralf Jung	move MemoryData to memory.rs; remove all the Hashing...	blob \| commitdiff \| raw \| diff to current
2018-08-30	Oliver Schneider	Merge pull request #434 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-08-26	Ralf Jung	update for MUT_STATIC_KIND	blob \| commitdiff \| raw \| diff to current
2018-08-24	Ralf Jung	update for miri engine: new function handling, new...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Oliver Schneider	Merge branch 'master' into hack_branch_for_miri_do_not_...	blob \| commitdiff \| raw \| diff to current
2018-05-09	Oliver Schneider	Merge pull request #374 from solson/cleanups	blob \| commitdiff \| raw \| diff to current
2018-05-09	Oliver Schneider	Move back to a normal folder structure	blob \| commitdiff \| raw \| diff to current
2017-07-21	Oliver Schneider	Merge pull request #258 from oli-obk/upstream	blob \| commitdiff \| raw
2017-07-21	Oliver Schneider	Prep miri repository for rustc merger	blob \| commitdiff \| raw
2017-07-21	Oliver Schneider	Merge pull request #266 from RalfJung/align	blob \| commitdiff \| raw \| diff to current
2017-07-20	Ralf Jung	always test alignment in memory.rs	blob \| commitdiff \| raw \| diff to current
2017-07-20	Oliver Schneider	Merge pull request #260 from RalfJung/tests	blob \| commitdiff \| raw \| diff to current
2017-07-20	Eduard-Mihai Burtescu	Merge pull request #262 from RalfJung/never	blob \| commitdiff \| raw \| diff to current
2017-07-20	Oliver Schneider	Merge pull request #259 from RalfJung/ref-validate	blob \| commitdiff \| raw \| diff to current
2017-07-20	Ralf Jung	fix checking alignment of pointer loads	blob \| commitdiff \| raw \| diff to current
2017-07-19	Oliver Schneider	Merge pull request #257 from oli-obk/cleanups	blob \| commitdiff \| raw \| diff to current
2017-07-18	Oliver Schneider	Merge pull request #254 from RalfJung/dangling	blob \| commitdiff \| raw \| diff to current
2017-07-18	Ralf Jung	remove reundant dangling checks in {r,d}eallocate	blob \| commitdiff \| raw \| diff to current
2017-07-18	Oliver Schneider	Merge pull request #245 from oli-obk/funky_allocs	blob \| commitdiff \| raw \| diff to current
2017-07-14	Oliver Schneider	Fix static mutation tests	blob \| commitdiff \| raw \| diff to current
2017-07-14	Oliver Schneider	Use enum instead of boolean	blob \| commitdiff \| raw \| diff to current
2017-07-14	Oliver Schneider	Clarify documentation	blob \| commitdiff \| raw \| diff to current
2017-07-14	Oliver Schneider	Ensure that it is not possible to explicitly free stack...	blob \| commitdiff \| raw \| diff to current
2017-07-14	Oliver Schneider	Merge pull request #247 from RalfJung/packed	blob \| commitdiff \| raw \| diff to current
2017-07-13	Ralf Jung	use closures to ensure proper bracketing of unaligned...	blob \| commitdiff \| raw \| diff to current
2017-07-13	Oliver Schneider	Merge pull request #248 from RalfJung/pointer-games	blob \| commitdiff \| raw \| diff to current
2017-07-13	Ralf Jung	track alignment also for ByRef values	blob \| commitdiff \| raw \| diff to current
2017-07-13	Ralf Jung	Memory::read_ptr has to check for relocations on the...	blob \| commitdiff \| raw \| diff to current
2017-07-13	Ralf Jung	Re-do packed memory accesses	blob \| commitdiff \| raw \| diff to current
2017-07-11	Oliver Schneider	Merge pull request #236 from oli-obk/pointers	blob \| commitdiff \| raw \| diff to current
2017-07-11	Oliver Schneider	Use a wrapper type to differentiate between PrimVal...	blob \| commitdiff \| raw \| diff to current
2017-07-11	Oliver Schneider	Rename Pointer to MemoryPointer	blob \| commitdiff \| raw \| diff to current
2017-07-11	Oliver Schneider	Merge pull request #237 from RalfJung/reallocate	blob \| commitdiff \| raw \| diff to current
2017-07-11	Ralf Jung	leave notes regarding possible alignment checks	blob \| commitdiff \| raw \| diff to current
2017-07-10	Ralf Jung	update for allocator API	blob \| commitdiff \| raw \| diff to current
2017-07-10	Ralf Jung	simplify reallocate	blob \| commitdiff \| raw \| diff to current
2017-07-05	Oliver Schneider	Merge pull request #234 from RalfJung/reallocate	blob \| commitdiff \| raw \| diff to current
2017-07-05	Ralf Jung	refine comment explaining the order of checks on deallocate	blob \| commitdiff \| raw \| diff to current
2017-07-04	Oliver Schneider	Merge pull request #232 from oli-obk/master	blob \| commitdiff \| raw \| diff to current
2017-07-04	Oliver Schneider	Merge pull request #235 from RalfJung/intrinsics	blob \| commitdiff \| raw \| diff to current
2017-07-04	Ralf Jung	check the assumptions made by the unchecked_ and copy_n...	blob \| commitdiff \| raw \| diff to current
2017-07-03	Ralf Jung	validate size and alignment on reallocate and deallocate	blob \| commitdiff \| raw \| diff to current
2017-07-03	Ralf Jung	properly check for: double-free, use-after-reallocate	blob \| commitdiff \| raw \| diff to current
2017-07-03	Oliver Schneider	Only check pointers when dereferencing	blob \| commitdiff \| raw \| diff to current
2017-06-29	Oliver Schneider	Merge pull request #223 from oli-obk/lvalue_read	blob \| commitdiff \| raw \| diff to current
2017-06-28	Oliver Schneider	Code nits	blob \| commitdiff \| raw \| diff to current
2017-06-23	Oliver Schneider	Merge pull request #212 from oli-obk/zero_sense_types	blob \| commitdiff \| raw \| diff to current
2017-06-23	Oliver Schneider	fetch_tls_dtor "read" an `Undef` as nonzero	blob \| commitdiff \| raw \| diff to current
2017-06-23	Oliver Schneider	Remove the zst allocation	blob \| commitdiff \| raw \| diff to current
2017-06-23	Oliver Schneider	Merge pull request #209 from RalfJung/ptrs	blob \| commitdiff \| raw \| diff to current
2017-06-22	Ralf Jung	permit bit-anding in pointer values below the alignment	blob \| commitdiff \| raw \| diff to current
2017-06-22	Oliver Schneider	Merge pull request #201 from oli-obk/test_suite_fails	blob \| commitdiff \| raw \| diff to current
2017-06-22	Oliver Schneider	Merge pull request #206 from RalfJung/ptrs	blob \| commitdiff \| raw \| diff to current
2017-06-22	Ralf Jung	correctly reject functions pointers that had arithmetic...	blob \| commitdiff \| raw \| diff to current
2017-06-22	Ralf Jung	permit integer addition and subtraction on ptr-integers	blob \| commitdiff \| raw \| diff to current
2017-06-21	Oliver Schneider	Merge pull request #200 from oli-obk/master	blob \| commitdiff \| raw \| diff to current
2017-06-20	Oliver Schneider	Enable more zst writes and reads	blob \| commitdiff \| raw \| diff to current
2017-06-20	Oliver Schneider	Use PrimVal instead of Pointer where applicable	blob \| commitdiff \| raw \| diff to current
2017-06-20	Oliver Schneider	Run the tls destructors in the correct order	blob \| commitdiff \| raw \| diff to current
2017-06-20	Oliver Schneider	Add pthread docs	blob \| commitdiff \| raw \| diff to current
2017-06-20	Oliver Schneider	Get rid of the integer allocation	blob \| commitdiff \| raw \| diff to current
2017-06-08	Oliver Schneider	Merge pull request #188 from RalfJung/overflow	blob \| commitdiff \| raw \| diff to current
2017-06-08	Ralf Jung	typos	blob \| commitdiff \| raw \| diff to current
2017-06-07	Ralf Jung	Error out when "primitive MIR math" (as opposed to...	blob \| commitdiff \| raw \| diff to current
2017-06-06	Ralf Jung	comments	blob \| commitdiff \| raw \| diff to current
2017-06-06	Oliver Schneider	Merge pull request #185 from RalfJung/pointers	blob \| commitdiff \| raw \| diff to current
2017-06-06	Ralf Jung	properly wrap pointer offsets at pointer size	blob \| commitdiff \| raw \| diff to current
2017-06-06	Ralf Jung	don't bother inserting integer relocations into the...	blob \| commitdiff \| raw \| diff to current
2017-06-05	Ralf Jung	check bounds when using offset intrinsic or MIR op	blob \| commitdiff \| raw \| diff to current
2017-06-05	Ralf Jung	check for overflow when doing pointer arithmetic	blob \| commitdiff \| raw \| diff to current
2017-06-05	Ralf Jung	Permit int->ptr->int roundtrip	blob \| commitdiff \| raw \| diff to current
2017-05-31	Oliver Schneider	Merge pull request #171 from RalfJung/println	blob \| commitdiff \| raw \| diff to current
2017-05-30	Ralf Jung	use proper span for TLS dtors; fix some nits	blob \| commitdiff \| raw \| diff to current
2017-05-30	Ralf Jung	support TLS destructors	blob \| commitdiff \| raw \| diff to current
2017-05-30	Ralf Jung	implement TLS	blob \| commitdiff \| raw \| diff to current
2017-04-26	Eduard-Mihai Burtescu	Merge pull request #161 from oli-obk/master	blob \| commitdiff \| raw \| diff to current
2017-04-26	Oliver Schneider	Address clippy lints	blob \| commitdiff \| raw \| diff to current
2017-04-21	Eduard-Mihai Burtescu	Merge pull request #156 from oli-obk/master	blob \| commitdiff \| raw \| diff to current
2017-03-23	Oliver Schneider	Fix casting generic functions to concrete function...	blob \| commitdiff \| raw \| diff to current
2017-03-23	Oliver Schneider	Merge branch 'master' of https://github.com/tsion/miri	blob \| commitdiff \| raw \| diff to current
2017-03-21	Oliver Schneider	Compiles again	blob \| commitdiff \| raw \| diff to current
2017-03-14	Scott Olson	Merge pull request #152 from oli-obk/intrinsics	blob \| commitdiff \| raw \| diff to current
2017-03-14	Scott Olson	Merge pull request #146 from oli-obk/peephole1	blob \| commitdiff \| raw \| diff to current
2017-03-14	Scott Olson	Merge pull request #147 from oli-obk/rustup	blob \| commitdiff \| raw \| diff to current
2017-03-02	Oliver Schneider	Rustup to rustc 1.17.0-nightly (be760566c 2017-02-28)	blob \| commitdiff \| raw \| diff to current
2017-02-28	Oliver Schneider	rustup to rustc 1.17.0-nightly (60a0edc6c 2017-02-26)	blob \| commitdiff \| raw \| diff to current
2017-02-24	Scott Olson	Merge pull request #142 from oli-obk/memleak	blob \| commitdiff \| raw \| diff to current
2017-02-24	Oliver Schneider	represent single field structs as their single field	blob \| commitdiff \| raw \| diff to current
2017-02-24	Oliver Schneider	detect memory leaks	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom