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

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

2019-08-18	Ralf Jung	adjust for typed binary/unary_op	blob \| commitdiff \| raw
2019-08-15	bors	Auto merge of #859 - RalfJung:cargo, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-08-15	bors	Auto merge of #909 - RalfJung:deny-warn, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2019-08-15	bors	Auto merge of #863 - RalfJung:deref-checks, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-08-15	Ralf Jung	adjust for fn rename	blob \| commitdiff \| raw \| diff to current
2019-08-09	bors	Auto merge of #896 - tmandry:add-generator-uninhabited...	blob \| commitdiff \| raw \| diff to current
2019-08-08	bors	Auto merge of #871 - RalfJung:miri-rustc-cleanup, r...	blob \| commitdiff \| raw \| diff to current
2019-08-03	bors	Auto merge of #877 - christianpoveda:ldexp-shim, r...	blob \| commitdiff \| raw \| diff to current
2019-08-03	bors	Auto merge of #856 - RalfJung:type_dispatch_first,...	blob \| commitdiff \| raw \| diff to current
2019-08-03	Ralf Jung	implement all ptr comparisons through integer casts	blob \| commitdiff \| raw \| diff to current
2019-08-03	Ralf Jung	adjust for ptr_op now being called type-based	blob \| commitdiff \| raw \| diff to current
2019-08-03	bors	Auto merge of #878 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-08-03	Ralf Jung	fix for error refactoring	blob \| commitdiff \| raw \| diff to current
2019-07-24	bors	Auto merge of #853 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-24	bors	Auto merge of #852 - lzutao:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-24	bors	Auto merge of #851 - RalfJung:intrptrcast-by-default...	blob \| commitdiff \| raw \| diff to current
2019-07-24	Lzu Tao	build: Fix build after rust-lang/rust#60951	blob \| commitdiff \| raw \| diff to current
2019-07-23	Ralf Jung	make sure we always have an RNG	blob \| commitdiff \| raw \| diff to current
2019-07-06	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2019-07-04	bors	Auto merge of #822 - RalfJung:tls, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-03	bors	Auto merge of #820 - RalfJung:intptrcast, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-03	Ralf Jung	avoid catching errors	blob \| commitdiff \| raw \| diff to current
2019-07-03	Ralf Jung	support integers that can be cast to pointers in in...	blob \| commitdiff \| raw \| diff to current
2019-07-03	Ralf Jung	allow dangling ptr-to-int casts; use force_bits for...	blob \| commitdiff \| raw \| diff to current
2019-07-03	Ralf Jung	only treat integer operations as such	blob \| commitdiff \| raw \| diff to current
2019-07-01	bors	Auto merge of #815 - RalfJung:memory-audit, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-06-30	Ralf Jung	don't call Memory::get without checking the pointer...	blob \| commitdiff \| raw \| diff to current
2019-06-29	Ralf Jung	Merge remote-tracking branch 'ralf/machine' into rustup	blob \| commitdiff \| raw \| diff to current
2019-06-29	bors	Auto merge of #802 - RalfJung:machine, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-06-29	Ralf Jung	move most of the stuff from lib.rs into machine.rs...	blob \| commitdiff \| raw \| diff to current
2019-06-26	bors	Auto merge of #779 - christianpoveda:intptrcast-model...	blob \| commitdiff \| raw \| diff to current
2019-06-25	Christian Poveda	Fix merge conflicts	blob \| commitdiff \| raw \| diff to current
2019-06-24	Christian Poveda	Reorganize MemoryExtra and AllocExtra structures	blob \| commitdiff \| raw \| diff to current
2019-06-24	bors	Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-06-24	Christian Poveda	Rename new fields and move rng to MemoryExtra	blob \| commitdiff \| raw \| diff to current
2019-06-24	Ralf Jung	Apply suggestions from code review	blob \| commitdiff \| raw \| diff to current
2019-06-23	Ralf Jung	de-obfuscate ptr comparison a bit	blob \| commitdiff \| raw \| diff to current
2019-06-23	Ralf Jung	adjust for refactored memory pointer checks	blob \| commitdiff \| raw \| diff to current
2019-06-22	Christian Poveda	Force intptrcast for binary operations	blob \| commitdiff \| raw \| diff to current
2019-06-21	Oliver Scherer	Merge branch 'master' into master	blob \| commitdiff \| raw \| diff to current
2019-06-21	Ralf Jung	Merge pull request #777 from RalfJung/rustup	blob \| commitdiff \| raw \| diff to current
2019-06-20	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2019-06-20	Ralf Jung	allow some inequality comparisons between pointers...	blob \| commitdiff \| raw \| diff to current
2019-06-13	Ralf Jung	Merge pull request #769 from RalfJung/rustup	blob \| commitdiff \| raw \| diff to current
2019-06-13	Ralf Jung	rustup for lifetime refactorings	blob \| commitdiff \| raw \| diff to current
2019-06-08	Ralf Jung	Merge pull request #765 from RalfJung/rustup	blob \| commitdiff \| raw \| diff to current
2019-06-08	Ralf Jung	rustup for EvalResult rename	blob \| commitdiff \| raw \| diff to current
2019-05-29	Ralf Jung	Merge branch 'master' into miri-build	blob \| commitdiff \| raw \| diff to current
2019-05-28	Ralf Jung	update for rustc Scalar changes, test for pointer wrapp...	blob \| commitdiff \| raw \| diff to current
2019-05-28	Ralf Jung	adjust for rustc changes	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	Merge branch 'master' into miri-build	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	fix for latest rustc (#746)	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	fix for latest rustc	blob \| commitdiff \| raw \| diff to current
2019-04-18	Tim Diekmann	Merge branch 'master' into realloc	blob \| commitdiff \| raw \| diff to current
2019-04-18	Ralf Jung	Merge pull request #695 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	rewrite Stacked Borrows Core. this passes stacked-borro...	blob \| commitdiff \| raw \| diff to current
2019-04-16	Ralf Jung	Merge branch 'master' into rand	blob \| commitdiff \| raw \| diff to current
2019-04-16	Oliver Scherer	Merge pull request #691 from RalfJung/pragmatic-ptr-eq	blob \| commitdiff \| raw \| diff to current
2019-04-16	Ralf Jung	be pragmatic about ptr-int comparisons, for now	blob \| commitdiff \| raw \| diff to current
2019-04-06	Ralf Jung	Merge branch 'master' into patch-1	blob \| commitdiff \| raw \| diff to current
2019-04-03	Oliver Scherer	Merge pull request #672 from rust-lang/update	blob \| commitdiff \| raw \| diff to current
2019-04-03	Oliver Scherer	Update to rustc nightly	blob \| commitdiff \| raw \| diff to current
2019-02-26	Ralf Jung	Merge pull request #635 from alexreg/cosmetic-2	blob \| commitdiff \| raw \| diff to current
2019-02-26	Alexander Regueiro	Various cosmetic improvements.	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	Merge pull request #623 from RalfJung/fat-ptr-eq	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	Fix comparing fat pointers	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	update for new bin_op APIs	blob \| commitdiff \| raw \| diff to current
2018-12-27	Ralf Jung	Merge branch 'master' into env-logger	blob \| commitdiff \| raw \| diff to current
2018-12-26	Oliver Scherer	Merge pull request #589 from RalfJung/check-bounds	blob \| commitdiff \| raw \| diff to current
2018-12-26	Ralf Jung	use memory::check_bounds_ptr for offset check	blob \| commitdiff \| raw \| diff to current
2018-12-26	Ralf Jung	Merge pull request #587 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-25	Ralf Jung	properly compare unequal function pointers	blob \| commitdiff \| raw \| diff to current
2018-12-25	Ralf Jung	fix build and tests with latest nightly	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge branch 'master' into self-referential-generator	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge pull request #519 from solson/allocations	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge remote-tracking branch 'origin/master' into alloc...	blob \| commitdiff \| raw \| diff to current
2018-11-24	Ralf Jung	Merge pull request #541 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-23	Oliver Scherer	Update to Memory -> Allocation method move	blob \| commitdiff \| raw \| diff to current
2018-11-23	Ralf Jung	fix for new Align type	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge branch 'master' into cargo-miri-2018	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge pull request #526 from RalfJung/mut-visitor	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	adjust for InboundsCheck parameter of memory bounds...	blob \| commitdiff \| raw \| diff to current
2018-11-02	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-01	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #504 from RalfJung/crate	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	use crate:: where appropriate	blob \| commitdiff \| raw \| diff to current
2018-10-30	Ralf Jung	Merge pull request #492 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-10-30	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-30	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-26	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	Merge pull request #487 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	respect memory's privacy	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-16	Ralf Jung	stacked borrows: track refs and derefs	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-10	Ralf Jung	Merge pull request #470 from RalfJung/ptr-offset	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-09	Ralf Jung	only allow offset-by-0 on integer pointers	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom