git.lizzy.rs Git - rust.git/history

]> git.lizzy.rs Git - rust.git/history - README.md

2022-05-10	bors	Auto merge of #2084 - rust-lang:silence, r=RalfJung	blob \| commitdiff \| raw
2022-05-10	Oli Scherer	Wording nit	blob \| commitdiff \| raw \| diff to current
2022-05-10	Oli Scherer	Use alphabetical order for miri flags	blob \| commitdiff \| raw \| diff to current
2022-05-05	bors	Auto merge of #2100 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-05	Ralf Jung	tweak MIRI_SYSROOT docs	blob \| commitdiff \| raw \| diff to current
2022-05-01	bors	Auto merge of #2098 - RalfJung:papers, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-01	Ralf Jung	mention some papers that use Miri	blob \| commitdiff \| raw \| diff to current
2022-04-30	bors	Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-04-30	bors	Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-04-30	bors	Auto merge of #2092 - dtolnay-contrib:checkoutv3, r...	blob \| commitdiff \| raw \| diff to current
2022-04-30	David Tolnay	Update GitHub Actions actions/checkout@v2 to v3	blob \| commitdiff \| raw \| diff to current
2022-04-26	Oli Scherer	Add readme entry	blob \| commitdiff \| raw \| diff to current
2022-04-21	bors	Auto merge of #2075 - y86-dev:master, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-21	y86-dev	Added support for multiple tracked pointers, allocs...	blob \| commitdiff \| raw \| diff to current
2022-04-16	bors	Auto merge of #2065 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-16	Ralf Jung	readme	blob \| commitdiff \| raw \| diff to current
2022-04-05	bors	Auto merge of #2047 - RalfJung:no-extras, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-04	bors	Auto merge of #2046 - RalfJung:very-strict, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-02	Ralf Jung	make strict-provenance imply check-number-validity	blob \| commitdiff \| raw \| diff to current
2022-04-01	bors	Auto merge of #2045 - RalfJung:strict-provenance, r...	blob \| commitdiff \| raw \| diff to current
2022-04-01	Ralf Jung	add -Zmiri-strict-provenance	blob \| commitdiff \| raw \| diff to current
2022-03-20	bors	Auto merge of #1975 - DrMeepster:backtrace_fix, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-20	DrMeepster	add new version of backtrace api using flags=1	blob \| commitdiff \| raw \| diff to current
2022-03-18	bors	Auto merge of #2024 - saethlin:better-local-check,...	blob \| commitdiff \| raw \| diff to current
2022-03-18	Ben Kimock	Consider the cargo workspace when checking if a frame...	blob \| commitdiff \| raw \| diff to current
2022-03-12	bors	Auto merge of #2018 - RalfJung:term, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-03-12	bors	Auto merge of #2021 - RalfJung:write-fields-refactor...	blob \| commitdiff \| raw \| diff to current
2022-03-12	bors	Auto merge of #2019 - RalfJung:align, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-12	Ralf Jung	exclude TERM by default	blob \| commitdiff \| raw \| diff to current
2022-03-12	Ralf Jung	also accept odd number of hex digits; add README sectio...	blob \| commitdiff \| raw \| diff to current
2022-03-08	bors	Auto merge of #2006 - RalfJung:readme-ci, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-07	Ralf Jung	update recommended CI snippet, add GHA example	blob \| commitdiff \| raw \| diff to current
2022-03-05	bors	Auto merge of #1970 - asquared31415:open_unix_varargs...	blob \| commitdiff \| raw \| diff to current
2022-03-05	bors	Auto merge of #1999 - RalfJung:forward-env, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-03-05	Ralf Jung	add flag to forward specific env vars (while isolation...	blob \| commitdiff \| raw \| diff to current
2022-03-03	bors	Auto merge of #1995 - saethlin:trophies, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-03	Ben Kimock	rkyv deallocation alignment issue	blob \| commitdiff \| raw \| diff to current
2022-02-23	bors	Auto merge of #1982 - saethlin:trophies, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-02-23	Ben Kimock	Add crossbeam-epoch and integer-encoding to the trophy...	blob \| commitdiff \| raw \| diff to current
2022-02-22	bors	Auto merge of #1978 - RalfJung:simd_eq, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-02-21	bors	Auto merge of #1979 - RalfJung:trophy, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-02-21	Ralf Jung	another for the trophy case	blob \| commitdiff \| raw \| diff to current
2021-12-23	bors	Auto merge of #1949 - RalfJung:miri-lib-src, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2021-12-23	Ralf Jung	add and document MIRI_LIB_SRC env var to set the source...	blob \| commitdiff \| raw \| diff to current
2021-12-19	bors	Auto merge of #1944 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-12-19	bors	Auto merge of #1943 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-12-19	Ralf Jung	readme: be more explicit about the toolchain	blob \| commitdiff \| raw \| diff to current
2021-11-17	bors	Auto merge of #1911 - RalfJung:rename-track-tag, r...	blob \| commitdiff \| raw \| diff to current
2021-11-13	Ralf Jung	rename track-raw-pointers flag to tag-raw-pointers	blob \| commitdiff \| raw \| diff to current
2021-11-10	bors	Auto merge of #1904 - camelid:uninit-num, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-11-10	Noah Lev	Add docs for `-Zmiri-check-number-validity`	blob \| commitdiff \| raw \| diff to current
2021-10-12	bors	Auto merge of #1898 - Kixunil:patch-1, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-10-12	Martin Habovštiak	Remove vague statement from README	blob \| commitdiff \| raw \| diff to current
2021-10-12	Martin Habovštiak	Typo fixes	blob \| commitdiff \| raw \| diff to current
2021-10-09	Martin Habovštiak	Document threading support a bit more	blob \| commitdiff \| raw \| diff to current
2021-07-27	bors	Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2021-07-25	Ralf Jung	also ignore 'thread leaks' with -Zmiri-ignore-leaks	blob \| commitdiff \| raw \| diff to current
2021-06-09	bors	Auto merge of #1830 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-06-09	Ralf Jung	tweak isolation-error message in README	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-09	bors	Auto merge of #1827 - l4l:patch-1, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-06-09	Kitsu	Specify miri toolchain for CI example	blob \| commitdiff \| raw \| diff to current
2021-06-07	Lander Brandt	Add support for panicking in the emulated application...	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	Move `-Zmiri-disable-abi-check` in README	blob \| commitdiff \| raw \| diff to current
2021-05-31	hyd-dev	Add `-Zmiri-disable-abi-check`	blob \| commitdiff \| raw \| diff to current
2021-05-30	bors	Auto merge of #1791 - Aaron1011:measureme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-05-29	Aaron Hill	Address review comments	blob \| commitdiff \| raw \| diff to current
2021-05-29	Aaron Hill	Add `measureme` integration for profiling the interpret...	blob \| commitdiff \| raw \| diff to current
2021-05-27	bors	Auto merge of #1817 - hyd-dev:doctest, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-05-27	bors	Auto merge of #1819 - scottmcm:patch-1, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-05-27	scottmcm	Add `copy_within` to the SB trophy case	blob \| commitdiff \| raw \| diff to current
2021-05-04	bors	Auto merge of #1788 - hyd-dev:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-05-04	bors	Auto merge of #1787 - DianaNites:patch-1, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-05-04	Diana	Fix dead self-link	blob \| commitdiff \| raw \| diff to current
2021-04-22	bors	Auto merge of #1769 - RalfJung:remove-compat, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2021-04-20	bors	Auto merge of #1778 - RalfJung:thread-local-const-init...	blob \| commitdiff \| raw \| diff to current
2021-04-20	bors	Auto merge of #1779 - RalfJung:cargo-miri-xargo, r...	blob \| commitdiff \| raw \| diff to current
2021-04-18	Ralf Jung	fix MIRI_BE_RUSTC value during sysroot build	blob \| commitdiff \| raw \| diff to current
2021-04-10	bors	Auto merge of #1768 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-04-10	Ralf Jung	add the bad doctests we found to the trophy case	blob \| commitdiff \| raw \| diff to current
2021-04-09	bors	Auto merge of #1764 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-04-09	Ralf Jung	fix typo in README	blob \| commitdiff \| raw \| diff to current
2021-04-08	bors	Auto merge of #1761 - hyd-dev:build-rs-proc-macro-no...	blob \| commitdiff \| raw \| diff to current
2021-04-08	hyd-dev	Don't use `MIRI_DEFAULT_ARGS` to compile host crates	blob \| commitdiff \| raw \| diff to current
2021-04-07	bors	Auto merge of #1759 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-04-07	Ralf Jung	mention 'cargo miri test filter' in README	blob \| commitdiff \| raw \| diff to current
2021-04-06	bors	Auto merge of #1757 - RalfJung:rustdoc, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-04-05	Tristan Dannenberg	make cargo-miri run doc-tests	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-24	Johnathan Van Why	README.md: Apply RalfJung's suggestion	blob \| commitdiff \| raw \| diff to current
2021-03-22	Johnathan Van Why	`-Zmiri-track-raw-pointers` doc correction: it is not...	blob \| commitdiff \| raw \| diff to current
2021-03-19	Johnathan Van Why	Improvements to the README item on `-Zmiri-track-raw...	blob \| commitdiff \| raw \| diff to current
2021-01-31	bors	Auto merge of #1697 - RalfJung:rustup, r=RalfJung	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-30	Oli Scherer	Update README.md	blob \| commitdiff \| raw \| diff to current
2021-01-30	Oli Scherer	Update README.md	blob \| commitdiff \| raw \| diff to current
2021-01-28	Oli Scherer	Document -Zmiri-compare-exchange-weak-failure-rate	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom