Skip to content

Activity

Merge pull request #538 from RalfJung/option-like

Pull request merge
RalfJungpushed 2 commits to master • c004f3a…f572fa7 • 
on Nov 19, 2024

Merge pull request #544 from RalfJung/deliberate-ub

Pull request merge
RalfJungpushed 2 commits to master • 7a295dc…c004f3a • 
on Nov 6, 2024

Merge pull request #498 from RalfJung/stacked-borrows

Pull request merge
RalfJungpushed 2 commits to master • a4a6e5f…7a295dc • 
on Mar 17, 2024

Merge pull request #482 from rust-lang/revert-481-deliberate-ub

Pull request merge
RalfJungpushed 2 commits to master • ea9f83b…a4a6e5f • 
on Dec 11, 2023

Revert "deliberate-ub: mention the load-load races in tokio"

RalfJungcreated revert-481-deliberate-ub • de35af9 • 
on Dec 11, 2023

Merge pull request #481 from RalfJung/deliberate-ub

Pull request merge
RalfJungpushed 2 commits to master • 2f7bf40…ea9f83b • 
on Dec 8, 2023

Merge pull request #475 from GrigorenkoPV/typos

Pull request merge
saethlinpushed 2 commits to master • 50f8ff4…2f7bf40 • 
on Nov 19, 2023

Merge pull request #470 from RalfJung/memory-links

Pull request merge
RalfJungpushed 2 commits to master • 06efa76…50f8ff4 • 
on Oct 13, 2023

Merge pull request #469 from RalfJung/memory-links

Pull request merge
RalfJungpushed 2 commits to master • b195ad1…06efa76 • 
on Oct 13, 2023

Merge pull request #464 from RalfJung/allocation

Pull request merge
RalfJungpushed 3 commits to master • 7cee58a…b195ad1 • 
on Oct 4, 2023

Merge pull request #457 from RalfJung/abi

Pull request merge
RalfJungpushed 3 commits to master • 0cf4172…7cee58a • 
on Sep 27, 2023

Merge pull request #456 from RalfJung/term-format

Pull request merge
RalfJungpushed 2 commits to master • 10c0899…0cf4172 • 
on Aug 31, 2023

Merge pull request #447 from JakobDegen/stride

Pull request merge
RalfJungpushed 3 commits to master • 89eef38…10c0899 • 
on Aug 29, 2023

Merge pull request #453 from RalfJung/intro

Pull request merge
RalfJungpushed 2 commits to master • 1b5aa25…89eef38 • 
on Aug 23, 2023

Merge pull request #454 from RalfJung/byte

Pull request merge
RalfJungpushed 2 commits to master • 1ef1412…1b5aa25 • 
on Aug 21, 2023

fix a link

RalfJungpushed 1 commit to master • 8dc1b45…1ef1412 • 
on Aug 20, 2023

expand on the AtomicCall fast path issue

RalfJungpushed 1 commit to master • 0ad234b…8dc1b45 • 
on Aug 20, 2023

Deleted branch

RalfJungdeleted ub0 • 
on Aug 19, 2023

Deleted branch

RalfJungdeleted gh-pages • 
on Aug 19, 2023

Deleted branch

RalfJungdeleted ci • 
on Aug 19, 2023

Merge pull request #452 from rust-lang/ci

Pull request merge
RalfJungpushed 2 commits to master • 2b1b843…0ad234b • 
on Aug 19, 2023

port CI to GHA

Force push
RalfJungforce pushed to ci • ab2ef84…8b3ebdc • 
on Aug 19, 2023

port CI to GHA

Force push
RalfJungforce pushed to ci • 9d46dec…ab2ef84 • 
on Aug 19, 2023

port CI to GHA

Force push
RalfJungforce pushed to ci • 7236f69…9d46dec • 
on Aug 19, 2023

port CI to GHA

RalfJungcreated ci • 7236f69 • 
on Aug 19, 2023

Merge pull request #448 from RalfJung/deliberate-ub

Pull request merge
RalfJungpushed 8 commits to master • 204a85b…2b1b843 • 
on Aug 19, 2023

Merge pull request #446 from RalfJung/byte

Pull request merge
RalfJungpushed 2 commits to master • 73bacc9…204a85b • 
on Aug 19, 2023

Merge pull request #441 from RalfJung/fnptr-rfc

Pull request merge
RalfJungpushed 2 commits to master • 564612e…73bacc9 • 
on Aug 13, 2023

Deleted branch

RalfJungdeleted glossary • 
on Aug 8, 2023

Merge pull request #445 from rust-lang/glossary

Pull request merge
RalfJungpushed 3 commits to master • aa12887…564612e • 
on Aug 8, 2023