2020-04-27 |
Vytautas Astrauskas | Fix typo in a comment. |
blob | commitdiff | raw |
2020-04-27 |
Vytautas Astrauskas | Address some of the reviewers comments. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Fix pthread_self. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Store the thread name. |
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 | Add a warning that Miri does not check for data-races. |
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-20 |
bors | Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-20 |
Vytautas Astrauskas | Move the stack to the evaluator to make Miri compile... |
blob | commitdiff | raw | diff to current |
2020-04-19 |
bors | Auto merge of #1342 - divergentdave:pause-instruction... |
blob | commitdiff | raw | diff to current |
2020-04-19 |
David Cook | Add support for std::thread::yield_now |
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 | Update comments, rearrange code |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Set some explicit return value sizes |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Implement mutex and rwlock functions |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Add failing tests for mutex and rwlock |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Add shims for RwLock::try_read/RwLock::try_write |
blob | commitdiff | raw | diff to current |
2020-04-04 |
bors | Auto merge of #1293 - Firstyear:1289-miri-readme, r... |
blob | commitdiff | raw | diff to current |
2020-04-03 |
bors | Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1299 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | rustup for import changes |
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 |
Ralf Jung | avoid Scalar::from_(u)int in favor of giving the size... |
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 |
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 |
Ralf Jung | posix_fadvise is Linux-only; also validate arguments... |
blob | commitdiff | raw | diff to current |
2020-03-28 |
Ralf Jung | organize shims and make some only available to libstd... |
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 |
bors | Auto merge of #1269 - RalfJung:windows-dtor, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
Ralf Jung | cleanup tcx usage and a few comments |
blob | commitdiff | raw | diff to current |
2020-03-19 |
bors | Auto merge of #1219 - RalfJung:error-cleanup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-19 |
Ralf Jung | getting a path should never fail |
blob | commitdiff | raw | diff to current |
2020-03-19 |
Ralf Jung | start messages in lower-case |
blob | commitdiff | raw | diff to current |
2020-03-19 |
Ralf Jung | adjust for error reform |
blob | commitdiff | raw | diff to current |
2020-03-18 |
bors | Auto merge of #1239 - elichai:2020-03-abort-intrinsics... |
blob | commitdiff | raw | diff to current |
2020-03-17 |
bors | Auto merge of #1235 - RalfJung:check-arith, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-17 |
Ralf Jung | avoid using unchecked casts or arithmetic |
blob | commitdiff | raw | diff to current |
2020-02-28 |
bors | Auto merge of #1194 - RalfJung:no-to-bits, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-02-28 |
Ralf Jung | avoid Scalar::to_bits |
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-23 |
David Cook | Add shims for opendir and closedir |
blob | commitdiff | raw | diff to current |
2020-02-23 |
David Cook | Add shims for mkdir and rmdir |
blob | commitdiff | raw | diff to current |
2020-02-23 |
bors | Auto merge of #1189 - RalfJung:cleanup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-02-23 |
Ralf Jung | avoid lowercasing platforms |
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 |
Christian Poveda | remove syscall shim from macos and move getrandom to... |
blob | commitdiff | raw | diff to current |
2020-02-19 |
Christian Poveda | promote memrchr to work on any platform |
blob | commitdiff | raw | diff to current |
2020-02-19 |
Christian Poveda | promote open and lseek shims to posix |
blob | commitdiff | raw | diff to current |
2020-02-19 |
Christian Poveda | reorganize comments for shim's classification |
blob | commitdiff | raw | diff to current |
2020-02-19 |
Christian Poveda | move CreateThread to windows shims |
blob | commitdiff | raw | diff to current |
2020-02-19 |
Christian Poveda | remove hack for panics |
blob | commitdiff | raw | diff to current |
2020-02-19 |
Christian Poveda | move remaining shims |
blob | commitdiff | raw | diff to current |
2020-02-19 |
Christian Poveda | move pthread related functions |
blob | commitdiff | raw | diff to current |
2020-02-14 |
Christian Poveda | migrate more functions |
blob | commitdiff | raw | diff to current |
2020-02-14 |
Christian Poveda | reorganize shims by platform |
blob | commitdiff | raw | diff to current |
|