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

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

2018-10-16	Ralf Jung	stacked borrows: track refs and derefs	blob \| commitdiff \| raw
2018-10-16	Ralf Jung	add env var emulation test, and fix it complaining...	blob \| commitdiff \| raw \| diff to current
2018-10-16	Ralf Jung	add Borrow tag to pointers; remove old locking code	blob \| commitdiff \| raw \| diff to current
2018-10-14	Ralf Jung	Merge pull request #473 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-10-14	Ralf Jung	whitelist Windows Mutex	blob \| commitdiff \| raw \| diff to current
2018-10-14	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-12	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #477 from RalfJung/miri-validate	blob \| commitdiff \| raw \| diff to current
2018-10-12	Ralf Jung	whitelist std::ptr::read	blob \| commitdiff \| raw \| diff to current
2018-10-11	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #474 from RalfJung/miri-validate	blob \| commitdiff \| raw \| diff to current
2018-10-11	Ralf Jung	enable validation per default, but add a flag to disabl...	blob \| commitdiff \| raw \| diff to current
2018-10-11	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #468 from RalfJung/pointer-provenance	blob \| commitdiff \| raw \| diff to current
2018-10-11	Ralf Jung	enforce_validity became a function	blob \| commitdiff \| raw \| diff to current
2018-10-11	Ralf Jung	update for new return place handling	blob \| commitdiff \| raw \| diff to current
2018-10-11	Ralf Jung	update for ptr provenance	blob \| commitdiff \| raw \| diff to current
2018-10-10	Ralf Jung	Merge branch 'master' into ptr-offset	blob \| commitdiff \| raw \| diff to current
2018-10-10	Ralf Jung	Merge pull request #467 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-10-10	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-10	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-02	Ralf Jung	rustup; test for return type mismatch	blob \| commitdiff \| raw \| diff to current
2018-09-24	Ralf Jung	Merge pull request #459 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-09-24	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-09-20	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2018-09-19	Eduard-Mihai Burtescu	Merge pull request #458 from RalfJung/tls	blob \| commitdiff \| raw \| diff to current
2018-09-19	Ralf Jung	Move TLS data to machine data	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-15	Ralf Jung	bump Rust	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-09-01	Ralf Jung	Merge branch 'master' into master	blob \| commitdiff \| raw \| diff to current
2018-09-01	Ralf Jung	Merge pull request #445 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-09-01	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-08-30	Ralf Jung	ptr equality: only defined for ptrs in the same allocat...	blob \| commitdiff \| raw \| diff to current
2018-08-30	Ralf Jung	move some more helpers to rustc	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-30	Ralf Jung	no TLS dtor and no leak checks on macOS	blob \| commitdiff \| raw \| diff to current
2018-08-30	Ralf Jung	ignore memory leaks on Windows	blob \| commitdiff \| raw \| diff to current
2018-08-26	Ralf Jung	update for MUT_STATIC_KIND	blob \| commitdiff \| raw \| diff to current
2018-08-25	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2018-08-24	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2018-08-24	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2018-08-24	Ralf Jung	fix leaks with -Zmiri-start-fn	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-08-20	Ralf Jung	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2018-08-20	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2018-08-16	Ralf Jung	rustup for big refactor; kill most of validation	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ralf Jung	Merge pull request #425 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ralf Jung	remove unnecessary features	blob \| commitdiff \| raw \| diff to current
2018-08-07	Oliver Schneider	Rustup	blob \| commitdiff \| raw \| diff to current
2018-08-02	Ralf Jung	Merge branch 'master' into default-run	blob \| commitdiff \| raw \| diff to current
2018-08-02	Oliver Schneider	Merge pull request #424 from RalfJung/fewer-deps	blob \| commitdiff \| raw \| diff to current
2018-08-02	Ralf Jung	remove dependency on lazy_static and regex by getting...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Oliver Schneider	Merge pull request #401 from RalfJung/tests	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ralf Jung	TLS on Windows	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-07-15	Ralf Jung	Merge pull request #404 from RalfJung/error	blob \| commitdiff \| raw \| diff to current
2018-07-15	Ralf Jung	make sure we show error messages even when we cannot...	blob \| commitdiff \| raw \| diff to current
2018-07-13	Ralf Jung	Merge pull request #387 from ecstatic-morse/eq-hash	blob \| commitdiff \| raw \| diff to current
2018-07-13	Ralf Jung	Merge branch 'master' into eq-hash	blob \| commitdiff \| raw \| diff to current
2018-07-11	Oliver Schneider	Merge pull request #391 from bjorn3/clippy_fixes	blob \| commitdiff \| raw \| diff to current
2018-07-10	bjorn3	Fix some clippy lints	blob \| commitdiff \| raw \| diff to current
2018-07-02	Alexander Regueiro	Rustup	blob \| commitdiff \| raw \| diff to current
2018-07-01	Oliver Schneider	Rustup	blob \| commitdiff \| raw \| diff to current
2018-06-30	Dylan MacKenzie	Implement `Eq` and `Hash` for MemoryData and Evaluator	blob \| commitdiff \| raw \| diff to current
2018-06-12	Oliver Schneider	Merge pull request #385 from bjorn3/patch-1	blob \| commitdiff \| raw \| diff to current
2018-06-12	bjorn3	Add missing pub	blob \| commitdiff \| raw \| diff to current
2018-06-11	Oliver Schneider	Merge pull request #384 from bjorn3/create_ecx	blob \| commitdiff \| raw \| diff to current
2018-06-11	bjorn3	Split create_ecx out of eval_main	blob \| commitdiff \| raw \| diff to current
2018-06-10	Oliver Schneider	Merge pull request #383 from bjorn3/rustup	blob \| commitdiff \| raw \| diff to current
2018-06-10	bjorn3	Rustup to rustc 1.28.0-nightly (2a0062974 2018-06-09)	blob \| commitdiff \| raw \| diff to current
2018-06-05	Oliver Schneider	Merge pull request #376 from bjorn3/fix_some_tests	blob \| commitdiff \| raw \| diff to current
2018-06-05	bjorn3	Convert legitimate failing errors to the new error...	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	Reenable the rustc tester	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	Use correct bit size when reading usize values	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	`to_u64` and `to_bytes` are horribly easy to use wrongly.	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	TlsKey is messy because it changes types between systems	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	`memcmp` returns `i32`	blob \| commitdiff \| raw \| diff to current
2018-06-03	bjorn3	Partial rustup	blob \| commitdiff \| raw \| diff to current
2018-06-03	bjorn3	s/allocate_cached/allocate_bytes	blob \| commitdiff \| raw \| diff to current
2018-06-03	bjorn3	Rustup to rustc 1.28.0-nightly (a3085756e 2018-05-19)	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	Reenable the rustc tester	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	Use correct bit size when reading usize values	blob \| commitdiff \| raw \| diff to current
2018-05-30	Oliver Schneider	`to_u64` and `to_bytes` are horribly easy to use wrongly.	blob \| commitdiff \| raw \| diff to current
2018-05-30	Oliver Schneider	TlsKey is messy because it changes types between systems	blob \| commitdiff \| raw \| diff to current
2018-05-30	Oliver Schneider	`memcmp` returns `i32`	blob \| commitdiff \| raw \| diff to current
2018-05-26	bjorn3	Partial rustup	blob \| commitdiff \| raw \| diff to current
2018-05-25	bjorn3	s/allocate_cached/allocate_bytes	blob \| commitdiff \| raw \| diff to current
2018-05-20	bjorn3	Rustup to rustc 1.28.0-nightly (a3085756e 2018-05-19)	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-20	Oliver Schneider	Merge pull request #259 from RalfJung/ref-validate	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-19	Oliver Schneider	Export types and functions needed by priroda	blob \| commitdiff \| raw \| diff to current
2017-07-12	Oliver Schneider	Merge pull request #241 from solson/rustc_integration	blob \| commitdiff \| raw \| diff to current
2017-07-12	Oliver Schneider	Produce `ConstInt` from a `def_id` for rustc	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	Rename Pointer to MemoryPointer	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom