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

]> git.lizzy.rs Git - rust.git/shortlog

2017-11-27	Oliver Schneider	Use correct alignment	commit \| commitdiff \| tree \| snapshot
2017-11-27	Oliver Schneider	Update error messages	commit \| commitdiff \| tree \| snapshot
2017-11-21	Oliver Schneider	Rustup after layout optimizations	commit \| commitdiff \| tree \| snapshot
2017-11-02	Oliver Schneider	Rustup	commit \| commitdiff \| tree \| snapshot
2017-10-16	Oliver Schneider	Rustup	commit \| commitdiff \| tree \| snapshot
2017-10-12	Oliver Schneider	repeat expressions abort due to OOM instead of executio...	commit \| commitdiff \| tree \| snapshot
2017-10-12	Oliver Schneider	Use host floats for the intrinsics that we don't have...	commit \| commitdiff \| tree \| snapshot
2017-10-06	Oliver Schneider	Use numbers instead of indentations	commit \| commitdiff \| tree \| snapshot
2017-10-06	Oliver Schneider	Use rustc's logging libraries in order to be able to...	commit \| commitdiff \| tree \| snapshot
2017-10-06	Oliver Schneider	Miri core has moved to rustc::mir::interpret	commit \| commitdiff \| tree \| snapshot
2017-09-30	Oliver Schneider	Merge pull request #354 from king6cong/readme	commit \| commitdiff \| tree \| snapshot
2017-09-30	Oliver Schneider	Merge branch 'master' into readme	commit \| commitdiff \| tree \| snapshot
2017-09-30	Oliver Schneider	Merge pull request #353 from king6cong/master	commit \| commitdiff \| tree \| snapshot
2017-09-30	king6cong	update README.md	commit \| commitdiff \| tree \| snapshot
2017-09-30	king6cong	update trans_fulfill_obligation call signature	commit \| commitdiff \| tree \| snapshot
2017-09-27	Oliver Schneider	Merge pull request #351 from RalfJung/exchange_malloc	commit \| commitdiff \| tree \| snapshot
2017-09-25	Ralf Jung	fix oom2 test	commit \| commitdiff \| tree \| snapshot
2017-09-25	Ralf Jung	use exchange_malloc lang item for Box statements	commit \| commitdiff \| tree \| snapshot
2017-09-22	Eduard-Mihai...	Merge pull request #350 from RalfJung/inhabited	commit \| commitdiff \| tree \| snapshot
2017-09-22	Ralf Jung	get rid of ad-hoc inhabitedness test	commit \| commitdiff \| tree \| snapshot
2017-09-19	Oliver Schneider	Merge pull request #348 from RalfJung/tests	commit \| commitdiff \| tree \| snapshot
2017-09-19	Ralf Jung	update compiletest	commit \| commitdiff \| tree \| snapshot
2017-09-18	Oliver Schneider	Merge pull request #347 from RalfJung/readme	commit \| commitdiff \| tree \| snapshot
2017-09-18	Ralf Jung	fix AppVeyor URL	commit \| commitdiff \| tree \| snapshot
2017-09-18	Ralf Jung	README: show AppVeyor status	commit \| commitdiff \| tree \| snapshot
2017-09-18	Ralf Jung	Merge pull request #346 from solson/oli-obk-patch-3	commit \| commitdiff \| tree \| snapshot
2017-09-17	Oliver Schneider	Only run appveyor on the master branch and on PRs	commit \| commitdiff \| tree \| snapshot
2017-09-17	Oliver Schneider	Merge pull request #334 from solson/windows	commit \| commitdiff \| tree \| snapshot
2017-09-16	Oliver Schneider	Run appveyor tests in release mode	commit \| commitdiff \| tree \| snapshot
2017-09-16	Oliver Schneider	Merge branch 'master' into windows	commit \| commitdiff \| tree \| snapshot
2017-09-16	Oliver Schneider	Add windows support	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	Merge pull request #344 from RalfJung/test	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	get rid of the --miri_host_target hack	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	Merge pull request #343 from RalfJung/tests	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	Merge branch 'master' into tests	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	use ui test mode rather than mir-opt	commit \| commitdiff \| tree \| snapshot
2017-09-16	Oliver Schneider	Merge pull request #342 from RalfJung/mir-validate	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	add an undef validation test	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	validation: allow undef integers and raw pointers,...	commit \| commitdiff \| tree \| snapshot
2017-09-16	Ralf Jung	validation: check that int, float etc. are not undef	commit \| commitdiff \| tree \| snapshot
2017-09-15	Oliver Schneider	Merge pull request #341 from solson/babysteps	commit \| commitdiff \| tree \| snapshot
2017-09-15	Oliver Schneider	Use rustc's APFloat impl instead of interpreter host...	commit \| commitdiff \| tree \| snapshot
2017-09-15	Oliver Schneider	Merge pull request #340 from solson/babysteps	commit \| commitdiff \| tree \| snapshot
2017-09-15	Oliver Schneider	Remove `#[linkage(foo)]` statics from core miri	commit \| commitdiff \| tree \| snapshot
2017-09-15	Oliver Schneider	Merge pull request #339 from RalfJung/rustup	commit \| commitdiff \| tree \| snapshot
2017-09-15	Ralf Jung	Storage{Live,Dead} in generators got fixed	commit \| commitdiff \| tree \| snapshot
2017-09-14	Ralf Jung	Merge pull request #337 from RalfJung/rustup	commit \| commitdiff \| tree \| snapshot
2017-09-14	Ralf Jung	fix rustc_tests build	commit \| commitdiff \| tree \| snapshot
2017-09-14	Oliver Schneider	`cargo install` only takes `--debug`, not `--release`	commit \| commitdiff \| tree \| snapshot
2017-09-14	Ralf Jung	travis: more consistent cargo flags (--locked, --release)	commit \| commitdiff \| tree \| snapshot
2017-09-14	Ralf Jung	validation: remove a hack that is no longer necessary	commit \| commitdiff \| tree \| snapshot
2017-09-14	Ralf Jung	rustup	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	Merge pull request #336 from RalfJung/mir-validate	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	Something in panic handling fails validation with full-MIR	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	Disable the address-of-ZST test for now; it is buggy...	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	use catch expression to handle the 'release undef'...	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	enable validation for a bunch of more tests	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	identify write locks by lvalues, not regions	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	Merge pull request #335 from solson/rustup	commit \| commitdiff \| tree \| snapshot
2017-09-13	Oliver Schneider	This is unreachable code and it should never ever be...	commit \| commitdiff \| tree \| snapshot
2017-09-13	Oliver Schneider	Rustup part 2/2	commit \| commitdiff \| tree \| snapshot
2017-09-13	Ralf Jung	rustup (part 1/2)	commit \| commitdiff \| tree \| snapshot
2017-09-11	Eduard-Mihai...	Merge pull request #333 from solson/rust_ci	commit \| commitdiff \| tree \| snapshot
2017-09-11	Oliver Schneider	Use correct rustc in rust's CI	commit \| commitdiff \| tree \| snapshot
2017-09-09	Ralf Jung	Merge pull request #332 from solson/rustup	commit \| commitdiff \| tree \| snapshot
2017-09-09	Ralf Jung	restrict cur_frame visibility	commit \| commitdiff \| tree \| snapshot
2017-09-09	Ralf Jung	there are more tests we can enable again	commit \| commitdiff \| tree \| snapshot
2017-09-09	Ralf Jung	only test on master	commit \| commitdiff \| tree \| snapshot
2017-09-09	Ralf Jung	fix warnings in tests; update validation whitelist	commit \| commitdiff \| tree \| snapshot
2017-09-09	Ralf Jung	we can enable a bunch of tests for validation again	commit \| commitdiff \| tree \| snapshot
2017-09-09	Ralf Jung	clean up suspensions when function ends	commit \| commitdiff \| tree \| snapshot
2017-09-09	Oliver Schneider	rustup	commit \| commitdiff \| tree \| snapshot
2017-09-08	Ralf Jung	Merge pull request #329 from solson/oli-obk-patch-2	commit \| commitdiff \| tree \| snapshot
2017-09-07	Oliver Schneider	Disable validation for some tests	commit \| commitdiff \| tree \| snapshot
2017-09-07	Oliver Schneider	Make our build work just like the rustc build	commit \| commitdiff \| tree \| snapshot
2017-09-06	Ralf Jung	Merge pull request #330 from RalfJung/rustup	commit \| commitdiff \| tree \| snapshot
2017-09-06	Ralf Jung	disable optimized tests until rustc is fixed	commit \| commitdiff \| tree \| snapshot
2017-09-06	Ralf Jung	use latest xargo; this fixes the libstd build problem	commit \| commitdiff \| tree \| snapshot
2017-09-06	Ralf Jung	enable a test that works just fine	commit \| commitdiff \| tree \| snapshot
2017-09-06	Oliver Schneider	Rustup	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	Merge pull request #324 from oli-obk/align_offset	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	Merge branch 'master' into align_offset	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	Merge pull request #325 from RalfJung/test	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	update compiletest; we do not need tempdir any more	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	no reason not to run tests in miri (once someone writes...	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	Merge pull request #327 from RalfJung/backtrace	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	make sure the lock file is not changed when building...	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	also update rustc_test	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	update backtrace to newly released version	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	Merge pull request #328 from dwrensha/rustup	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	rename variables to match new type name	commit \| commitdiff \| tree \| snapshot
2017-09-04	Ralf Jung	disable validation in failing tests for now	commit \| commitdiff \| tree \| snapshot
2017-09-04	David Renshaw	update for upstream rename: CodeExtent -> Scope	commit \| commitdiff \| tree \| snapshot
2017-09-01	Oliver Schneider	Implement `align_offset` intrinsic and thus enabling...	commit \| commitdiff \| tree \| snapshot
2017-08-30	Oliver Schneider	Merge pull request #323 from oli-obk/generators	commit \| commitdiff \| tree \| snapshot
2017-08-30	Oliver Schneider	Rustup (generator support)	commit \| commitdiff \| tree \| snapshot
2017-08-29	Ralf Jung	Merge pull request #322 from RalfJung/rc-tests	commit \| commitdiff \| tree \| snapshot
2017-08-29	Ralf Jung	test new From instances for Rc	commit \| commitdiff \| tree \| snapshot
2017-08-29	Oliver Schneider	Merge pull request #320 from oli-obk/memory	commit \| commitdiff \| tree \| snapshot
2017-08-29	Oliver Schneider	Add at least the program name argument in order to...	commit \| commitdiff \| tree \| snapshot
next

Empowering everyone to build reliable and efficient software.

RSS Atom