2021-09-09 |
hyd-dev | `rustc_mir` -> `rustc_const_eval` |
blob | commitdiff | raw |
2021-09-08 |
bors | Auto merge of #1884 - DrMeepster:start, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-02 |
DrMeepster | add support for #[start] |
blob | commitdiff | raw | diff to current |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
blob | commitdiff | raw | diff to current |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
blob | commitdiff | raw | diff to current |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Implement calls to exported symbols |
blob | commitdiff | raw | diff to current |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-05-16 |
Ralf Jung | format much of Miri |
blob | commitdiff | raw | diff to current |
2021-03-25 |
bors | Auto merge of #1748 - jrvanwhy:track-raw-pointers-doc... |
blob | commitdiff | raw | diff to current |
2021-03-23 |
bors | Auto merge of #1750 - hyd-dev:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-03-23 |
hyd-dev | Remove `#![feature(or_patterns)]` |
blob | commitdiff | raw | diff to current |
2021-03-09 |
bors | Auto merge of #1736 - DJMcNab:rust-analyzer-private... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
bors | Auto merge of #1735 - m-ou-se:remove-unwrap-none, r... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Mara Bos | Remove unwrap_none as it won't be stabilized. |
blob | commitdiff | raw | diff to current |
2021-01-30 |
bors | Auto merge of #1693 - rust-lang:oli-obk-patch-1, r... |
blob | commitdiff | raw | diff to current |
2021-01-29 |
bors | Auto merge of #1670 - unseddd:abi, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-28 |
bors | Auto merge of #1694 - JohnTitor:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-28 |
Yuki Okushi | Rustup for rust-lang/rust#79951 |
blob | commitdiff | raw | diff to current |
2021-01-18 |
bors | Auto merge of #1681 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-17 |
bors | Auto merge of #1679 - hyd-dev:min-const-generics, r... |
blob | commitdiff | raw | diff to current |
2021-01-17 |
hyd-dev | Remove `#![feature(const_generics)]` and `#![allow... |
blob | commitdiff | raw | diff to current |
2020-12-06 |
bors | Auto merge of #1641 - JCTyblaidd:update_release_sequenc... |
blob | commitdiff | raw | diff to current |
2020-12-06 |
JCTyBlaidd | Update release sequence handling to C++20 semantics. |
blob | commitdiff | raw | diff to current |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
blob | commitdiff | raw | diff to current |
2020-11-05 |
JCTyBlaidd | Split out vector_clock to separate file, general tidy... |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Initial data-race detector, |
blob | commitdiff | raw | diff to current |
2020-10-24 |
bors | Auto merge of #1599 - camelid:default-args-const, r... |
blob | commitdiff | raw | diff to current |
2020-10-24 |
Camelid | Make `miri_default_args()` a constant |
blob | commitdiff | raw | diff to current |
2020-09-08 |
bors | Auto merge of #1536 - divergentdave:nanosleep, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-09-07 |
David Cook | Use try block instead of closure |
blob | commitdiff | raw | diff to current |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-16 |
Ralf Jung | make alignment check integer-based by default, and... |
blob | commitdiff | raw | diff to current |
2020-07-03 |
bors | Auto merge of #1466 - RalfJung:target, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-07-02 |
bors | Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-02 |
Ralf Jung | add option to track call IDs |
blob | commitdiff | raw | diff to current |
2020-06-27 |
bors | Auto merge of #1460 - RalfJung:modules, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-06-27 |
Ralf Jung | module organization: move platform-specific code to... |
blob | commitdiff | raw | diff to current |
2020-06-27 |
Ralf Jung | Rename shims::{sync -> posic_sync} and move sync_single... |
blob | commitdiff | raw | diff to current |
2020-06-09 |
bors | Auto merge of #1418 - divergentdave:file-sync, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-25 |
bors | Auto merge of #1362 - vakaras:add-sync-primitives-cr1... |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Implement support for synchronization primitives. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
bors | Auto merge of #1432 - RalfJung:int-size, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Ralf Jung | use helper method to compute size of int type |
blob | commitdiff | raw | diff to current |
2020-05-05 |
bors | Auto merge of #1298 - toc-the-younger:check-arg-count... |
blob | commitdiff | raw | diff to current |
2020-05-04 |
Chase Albert | Check that shims are called with the correct number... |
blob | commitdiff | raw | diff to current |
2020-04-30 |
bors | Auto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Fix support for MacOS. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Rename threads to thread to match the Rust standard... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Fix imports. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Move pthread_create and related shims to a separate... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Implement basic support for concurrency (Linux only). |
blob | commitdiff | raw | diff to current |
2020-04-10 |
bors | Auto merge of #1308 - RalfJung:miri, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-10 |
bors | Auto merge of #1304 - RalfJung:backtrace-sep, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-07 |
bors | Auto merge of #1301 - RalfJung:global-leaks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-07 |
bors | Auto merge of #1310 - RalfJung:float-assoc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-06 |
bors | Auto merge of #1157 - divergentdave:shim-pthread-try... |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Eagerly compute i32 and u32 layouts |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Store layouts of i32 and u32 inside Evaluator |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Implement mutex and rwlock functions |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1270 - RalfJung:incremental, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1279 - divergentdave:open_O_EXCL, r... |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1281 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
Ralf Jung | adjust for librustc rename; reduce 'extern crate' to... |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1276 - RalfJung:scalar-precise-sizes... |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1275 - JOE1994:move_string_helpers,... |
blob | commitdiff | raw | diff to current |
2020-03-28 |
JOE1994 | move OsStr helpers to a separate file |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1265 - RalfJung:float-cast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1263 - RalfJung:shims-limit, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1271 - RalfJung:env-clean, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
Ralf Jung | env shim: make sure we clean up all the memory we allocate |
blob | commitdiff | raw | diff to current |
2020-03-22 |
bors | Auto merge of #1250 - RalfJung:error-context, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-22 |
Ralf Jung | move -Zmiri-disable-isolation hint to help |
blob | commitdiff | raw | diff to current |
2020-03-12 |
bors | Auto merge of #1223 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-12 |
Ralf Jung | rustup, test Abort terminator |
blob | commitdiff | raw | diff to current |
2020-03-01 |
bors | Auto merge of #1197 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-01 |
Ralf Jung | some formatting |
blob | commitdiff | raw | diff to current |
2020-03-01 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1152 - divergentdave:shim-directory... |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1192 - RalfJung:disable-stacked-borrows... |
blob | commitdiff | raw | diff to current |
2020-02-24 |
Ralf Jung | add an option to disable Stacked Borrows |
blob | commitdiff | raw | diff to current |
2020-02-23 |
David Cook | Add shims for opendir and closedir |
blob | commitdiff | raw | diff to current |
2020-02-23 |
bors | Auto merge of #1167 - christianpoveda:shims-refactor... |
blob | commitdiff | raw | diff to current |
2020-02-19 |
bors | Auto merge of #1179 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-02-19 |
bors | Auto merge of #1156 - divergentdave:fcntl-F_DUPFD_CLOEX... |
blob | commitdiff | raw | diff to current |
2020-02-18 |
David Cook | Address review comments |
blob | commitdiff | raw | diff to current |
2020-02-16 |
bors | Auto merge of #1177 - RalfJung:debug-assert, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-02-16 |
Ralf Jung | make sure we also trigger debug assertions in libstd |
blob | commitdiff | raw | diff to current |
2020-01-10 |
bors | Auto merge of #1143 - christianpoveda:symlink-shim... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
bors | Auto merge of #1127 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Oliver Scherer | Document all the things |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Use names that actually represent what's going on |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Make the non-halting diagnostic scheme independent... |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Emit errors without halting interpretation |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Add a scheme for registering and obtaining errors even... |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Move error reporting to its own module |
blob | commitdiff | raw | diff to current |
next |