]> git.lizzy.rs Git - rust.git/history - src/intrinsic.rs
rewrite Stacked Borrows Core. this passes stacked-borrows.rs!
[rust.git] / src / intrinsic.rs
2019-04-17 Ralf Jungrewrite Stacked Borrows Core. this passes stacked-borro...
2019-04-12 Ralf JungMerge pull request #687 from RalfJung/rustup
2019-04-12 Ralf Jungrustup
2019-02-27 Ralf JungMerge pull request #648 from RalfJung/avoid-full-slice
2019-02-27 Ralf Jungavoid [..]
2019-02-26 Ralf JungMerge pull request #635 from alexreg/cosmetic-2
2019-02-26 Alexander RegueiroVarious cosmetic improvements.
2019-02-26 Ralf JungMerge pull request #646 from rchaser53/issue-58645
2019-02-26 rchaser53use copy_op directly insteadof write_scalar
2019-02-15 Ralf JungMerge pull request #623 from RalfJung/fat-ptr-eq
2019-02-15 Ralf Jungupdate for new bin_op APIs
2019-02-14 Ralf JungMerge remote-tracking branch 'origin/master' into str...
2019-02-13 Ralf JungMerge branch 'master' into format-padding
2019-02-09 Ralf JungMerge pull request #625 from RalfJung/likely
2019-02-09 Ralf Jungfix (un)likely intrinsics
2019-02-06 Ralf JungMerge pull request #610 from RalfJung/panic
2019-02-06 Ralf Jungimplement atomic_nand
2019-01-07 Oliver SchererMerge pull request #598 from solson/rustup
2019-01-07 Ralf Jungimplement panic_if_uninhabited intrinsic
2018-12-11 Ralf JungMerge pull request #568 from RalfJung/cleanup
2018-12-11 Ralf Jungget rid of to_bytes hack
2018-12-11 Ralf Jungavoid repeating signatures in EvalContext extension...
2018-11-26 Ralf JungMerge branch 'master' into self-referential-generator
2018-11-26 Ralf JungMerge pull request #519 from solson/allocations
2018-11-26 Ralf JungMerge remote-tracking branch 'origin/master' into alloc...
2018-11-24 Ralf JungMerge pull request #541 from solson/rustup
2018-11-23 Oliver SchererUpdate to Memory -> Allocation method move
2018-11-23 Ralf Jungfix for new Align type
2018-11-20 Ralf JungMerge branch 'master' into cargo-miri-2018
2018-11-20 Ralf JungMerge pull request #526 from RalfJung/mut-visitor
2018-11-20 Ralf JungMerge branch 'miri-backtrace' into mut-visitor
2018-11-19 Ralf JungMerge remote-tracking branch 'origin/master' into mut...
2018-11-17 Ralf Jungraw ptr deref no longer erases the tag
2018-11-16 Ralf JungMerge pull request #524 from RalfJung/escape-to-raw
2018-11-16 Ralf JungMerge remote-tracking branch 'origin/master' into escap...
2018-11-15 Ralf JungRetag is the only operation that generates new tags
2018-11-08 Ralf JungMerge pull request #514 from solson/rustup
2018-11-07 Ralf Jungbump rust
2018-11-05 Oliver S̶c̶h̶n̶e̶i... Merge pull request #510 from solson/rustup
2018-11-05 Ralf Jungrustup
2018-11-02 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-11-01 Oliver S̶c̶h̶n̶e̶i... Merge pull request #504 from RalfJung/crate
2018-11-01 Ralf Junguse crate:: where appropriate
2018-10-31 Ralf JungMerge pull request #503 from RalfJung/atomic-arith
2018-10-31 Ralf JungMerge branch 'master' into atomic-arith
2018-10-31 Ralf JungReject atomic arithmetic on non-integer types
2018-10-30 Ralf JungMerge pull request #492 from solson/rustup
2018-10-30 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-10-30 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-10-26 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-10-25 Oliver S̶c̶h̶n̶e̶i... Merge pull request #495 from RalfJung/no-null
2018-10-25 Ralf Jungupdate for is_null removal
2018-10-22 Ralf JungMerge pull request #487 from solson/rustup
2018-10-22 Ralf Jungrespect memory's privacy
2018-10-22 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-10-19 Ralf JungMerge pull request #488 from RalfJung/start-fn
2018-10-19 Ralf Jungmove resolve_path to helpers module
2018-10-17 Ralf Jungstacked borrows: enforcement at memory accesses
2018-10-16 Ralf Jungstacked borrows: track refs and derefs
2018-10-16 Ralf Jungadd Borrow tag to pointers; remove old locking code
2018-10-14 Ralf JungMerge pull request #473 from solson/rustup
2018-10-14 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-10-12 Oliver S̶c̶h̶n̶e̶i... Merge pull request #476 from RalfJung/atomics
2018-10-12 Ralf Jungatomics wrap around on overflow
2018-10-11 Oliver S̶c̶h̶n̶e̶i... Merge pull request #468 from RalfJung/pointer-provenance
2018-10-11 Ralf Jungupdate for size_and_align considering extern types
2018-10-11 Ralf Jungupdate for ptr provenance
2018-10-02 Ralf JungMerge pull request #466 from solson/rustup
2018-10-02 Ralf Jungrustup
2018-10-01 Ralf JungMerge pull request #462 from RalfJung/needs-drop
2018-10-01 Ralf Jungremove needs_drop impl
2018-09-17 Ralf JungMerge pull request #446 from RalfJung/zero-sized-accesses
2018-09-17 Ralf JungMerge remote-tracking branch 'origin/master' into zero...
2018-09-15 Ralf JungMerge pull request #451 from TimDiekmann/master
2018-09-06 TimRemove (overflowing_)add/mul/sub(_with_overflow)
2018-09-06 TimRemove unchecked_shr/shl from intrinsics
2018-09-01 Ralf JungMerge pull request #448 from TheDarkula/master
2018-09-01 Ralf JungMerge branch 'master' into master
2018-09-01 thedarkulaRemoved transmute from intrinsic.rs
2018-09-01 Ralf JungMerge pull request #445 from solson/rustup
2018-09-01 Ralf JungMerge branch 'master' into rustup
2018-08-30 Ralf Jungstrictly enforce pointer validity even for zero-sized...
2018-08-30 Ralf Jungptr equality: only defined for ptrs in the same allocat...
2018-08-30 Ralf Jungmove some more helpers to rustc
2018-08-30 Oliver SchneiderMerge pull request #434 from solson/rustup
2018-08-25 Ralf Jungrustup
2018-08-25 Ralf Jungupdate for enum discriminant changes
2018-08-24 Ralf Jungupdate for miri engine: new function handling, new...
2018-08-20 Ralf JungMerge remote-tracking branch 'origin/master'
2018-08-18 Ralf Jungupdate for rustc memory changes; fix (un)init intrinsic...
2018-08-16 Ralf Jungrustup for big refactor; kill most of validation
2018-08-14 Ralf JungMerge pull request #425 from solson/rustup
2018-08-14 Ralf Jungfix layout in discriminant_value
2018-08-14 Ralf JungMerge branch 'master' into rustup
2018-08-14 Ralf JungMerge branch 'master' into rustup
2018-08-08 Oliver SchneiderAdd comments explaining why we do something complex...
2018-08-07 Oliver SchneiderRustup
2018-07-30 Ralf JungMerge pull request #381 from solson/sanity_checks
2018-07-30 Ralf JungMerge branch 'master' into sanity_checks
2018-07-26 Ralf Jungmake miri compile again
next