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

]> git.lizzy.rs Git - rust.git/history - src/bin/miri.rs

2016-09-06	Oliver Schneider	rustup to rustc 1.13.0-nightly (91f057de3 2016-09-04)	blob \| commitdiff \| raw
2016-08-27	Scott Olson	Update for changes in rustc.	blob \| commitdiff \| raw \| diff to current
2016-07-07	Oliver Schneider	Merge remote-tracking branch 'origin/master' into alignment	blob \| commitdiff \| raw \| diff to current
2016-07-07	Scott Olson	Merge pull request #43 from oli-obk/the_outer_limits	blob \| commitdiff \| raw \| diff to current
2016-07-07	Oliver Schneider	Merge remote-tracking branch 'origin/master' into the_o...	blob \| commitdiff \| raw \| diff to current
2016-07-07	Oliver Schneider	infer type of the various limits	blob \| commitdiff \| raw \| diff to current
2016-07-07	Oliver Schneider	remove unused extern crate	blob \| commitdiff \| raw \| diff to current
2016-07-05	Oliver Schneider	add attribute to limit the stack size	blob \| commitdiff \| raw \| diff to current
2016-07-05	Oliver Schneider	add execution time limit	blob \| commitdiff \| raw \| diff to current
2016-07-05	Oliver Schneider	make the memory limit configurable	blob \| commitdiff \| raw \| diff to current
2016-07-01	Scott Olson	Run Mir passes (copied from rustc pre-trans).	blob \| commitdiff \| raw \| diff to current
2016-06-20	Oliver Schneider	Merge remote-tracking branch 'origin/master' into oflo	blob \| commitdiff \| raw \| diff to current
2016-06-18	Scott Olson	Get benchmarks running again and factor out some parts...	blob \| commitdiff \| raw \| diff to current
2016-06-18	Scott Olson	Rename max indentation constant for clarity.	blob \| commitdiff \| raw \| diff to current
2016-06-18	Scott Olson	Only indent trace logs.	blob \| commitdiff \| raw \| diff to current
2016-06-16	Scott Olson	Merge pull request #27 from oli-obk/travis	blob \| commitdiff \| raw \| diff to current
2016-06-15	Oliver Schneider	create a miri-pass test that allows us to run miri...	blob \| commitdiff \| raw \| diff to current
2016-06-15	Scott Olson	Merge branch 'wip'	blob \| commitdiff \| raw \| diff to current
2016-06-15	Scott Olson	Merge pull request #24 from oli-obk/typesafe_fn_calls	blob \| commitdiff \| raw \| diff to current
2016-06-15	Scott Olson	Merge pull request #23 from oli-obk/miri_run_no_more	blob \| commitdiff \| raw \| diff to current
2016-06-15	Oliver Schneider	use the logging framework instead of println!	blob \| commitdiff \| raw \| diff to current
2016-06-15	Oliver Schneider	pass arguments to `start`	blob \| commitdiff \| raw \| diff to current
2016-06-15	Scott Olson	Rename next_block to block and reorganize Frame fields.	blob \| commitdiff \| raw \| diff to current
2016-06-15	Scott Olson	Get the sysroot (like compiletest) in Miri itself.	blob \| commitdiff \| raw \| diff to current
2016-06-14	Oliver Schneider	run `start` and `main` language item if provided	blob \| commitdiff \| raw \| diff to current
2016-06-13	Oliver Schneider	don't use `#[miri_run]` anymore, but execute the `main...	blob \| commitdiff \| raw \| diff to current
2016-06-13	Oliver Schneider	Merge pull request #1 from solson/fixup-function_pointers2	blob \| commitdiff \| raw \| diff to current
2016-06-11	Scott Olson	Merge remote-tracking branch 'oli/function_pointers2...	blob \| commitdiff \| raw \| diff to current
2016-06-11	Scott Olson	Remove inception test for now.	blob \| commitdiff \| raw \| diff to current
2016-06-11	Scott Olson	Fix infinite loop when debug trace is disabled.	blob \| commitdiff \| raw \| diff to current
2016-06-11	Scott Olson	Update for changes in rustc nightly.	blob \| commitdiff \| raw \| diff to current
2016-06-10	Scott Olson	Merge pull request #20 from oli-obk/error_reporting	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	adjust lifetimes and bindings to the GlobalEvalContext...	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	style nit	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	rename GlobalEvalContext to EvalContext	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	expose a minimal API and use it in the binary	blob \| commitdiff \| raw \| diff to current
2016-06-01	Scott Olson	Merge pull request #16 from oli-obk/logs	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	remove intermediate vars	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	use format! compile time magics for indentation	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	wraparound when reaching indentation lvl 40	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	use a number for the maximum indentation instead of...	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	use MIRI_LOG instead of RUST_LOG, because rustc's outpu...	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	re-introduce the module name to the logs and show verti...	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	add the `log` crate + `env_logger` to be able to choose...	blob \| commitdiff \| raw \| diff to current
2016-05-09	Scott Olson	Update to a new nightly.	blob \| commitdiff \| raw \| diff to current
2016-04-22	Scott Olson	Merge pull request #9 from oli-obk/improve_tests	blob \| commitdiff \| raw \| diff to current
2016-04-22	Oliver Schneider	various testing improvements	blob \| commitdiff \| raw \| diff to current
2016-04-22	Scott Olson	Merge pull request #7 from oli-obk/compiletest	blob \| commitdiff \| raw \| diff to current
2016-04-22	Oliver Schneider	use compiletest_rs	blob \| commitdiff \| raw \| diff to current
2016-03-21	Scott Olson	Abort miri if the Rust code had compilation errors.	blob \| commitdiff \| raw \| diff to current
2015-12-12	Scott Olson	Move miri binary source into src/bin.	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.

RSS Atom