search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.16k stars 318 forks source link

rename 'extern-so' to 'native-lib' #3593

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

Calling "extern" functions is not super clear IMO (extern to what), but saying that we are calling "native" functions from inside the interpreter makes it very clear I think.

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit 5eeb579ac76a680d940aa0b047c74e00c016f56e has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 5eeb579ac76a680d940aa0b047c74e00c016f56e with merge cc1e36ca37b9a4e5229cd806da4604c924956aa2...

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit b90d953c9687422407e133f567319468ba6608b9 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit b90d953c9687422407e133f567319468ba6608b9 with merge d213eb20a3be26140e35e73805c55915400b884c...

RalfJung commented 1 month ago

@bors r+ retry

bors commented 1 month ago

:pushpin: Commit 73cbb49fbffda098dac39b7af1f4f175426daca5 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 73cbb49fbffda098dac39b7af1f4f175426daca5 with merge 9f63c72f1def826d34aaff743e7036382c0c5086...

bors commented 1 month ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 9f63c72f1def826d34aaff743e7036382c0c5086 to master...