Scott Olson
|
6ec3d65068
|
Revert "Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)""
|
2016-12-16 17:10:16 -08:00 |
|
Scott Olson
|
0deabf9c00
|
Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)"
|
2016-12-15 01:16:06 -08:00 |
|
Oliver Schneider
|
24203602e1
|
remove unused import
|
2016-12-15 09:56:40 +01:00 |
|
Oliver Schneider
|
9ec97bac71
|
enable auxiliary builds
|
2016-12-14 17:06:36 +01:00 |
|
Oliver Schneider
|
8b8c7430f1
|
re-use mir-opt compiletest instead of rolling our own
|
2016-12-14 17:06:36 +01:00 |
|
Scott Olson
|
020f0b782b
|
Refactor passing of resource limits.
|
2016-11-26 17:54:19 -08:00 |
|
Scott Olson
|
3f764a5cfd
|
Update for changes in rustc and refactor.
|
2016-11-26 17:36:31 -08:00 |
|
Oliver Schneider
|
0039ebc940
|
replace most uses of usize with u64 so the host architecture isn't exposed anymore
|
2016-11-18 12:55:14 +01:00 |
|
Oliver Schneider
|
19c44dab05
|
rustup to rustc 1.14.0-nightly (7c69b0d5a 2016-11-01)
|
2016-11-03 10:38:08 +01:00 |
|
Oliver Schneider
|
de38015e47
|
rustup
|
2016-10-01 15:33:07 +02:00 |
|
Oliver Schneider
|
f5a89d297c
|
rustc now can use integer literals in attributes
|
2016-09-07 10:27:57 +02:00 |
|
Oliver Schneider
|
cd91f9feee
|
replace all unreachable! and panic! calls with bug!
|
2016-09-06 16:16:49 +02:00 |
|
Oliver Schneider
|
cd42bb97f0
|
rustup to rustc 1.13.0-nightly (91f057de3 2016-09-04)
|
2016-09-06 16:04:51 +02:00 |
|
Scott Olson
|
45cf3cfde2
|
Update for changes in rustc.
|
2016-08-27 01:44:54 -06:00 |
|
Oliver Schneider
|
a7d3a85d9e
|
infer type of the various limits
|
2016-07-07 11:20:09 +02:00 |
|
Oliver Schneider
|
7d2803ae3f
|
remove unused extern crate
|
2016-07-07 11:19:55 +02:00 |
|
Oliver Schneider
|
4781a6ba54
|
add attribute to limit the stack size
|
2016-07-05 13:23:58 +02:00 |
|
Oliver Schneider
|
88d98998e1
|
add execution time limit
|
2016-07-05 13:17:40 +02:00 |
|
Oliver Schneider
|
1444cabc08
|
make the memory limit configurable
|
2016-07-05 13:04:46 +02:00 |
|
Scott Olson
|
64eca52ad3
|
Run Mir passes (copied from rustc pre-trans).
|
2016-06-30 21:33:24 -06:00 |
|
Scott Olson
|
f4cf3f3636
|
Get benchmarks running again and factor out some parts in common with bin/miri.rs.
|
2016-06-17 21:35:37 -06:00 |
|
Scott Olson
|
51edf7ede6
|
Rename max indentation constant for clarity.
|
2016-06-17 19:55:24 -06:00 |
|
Scott Olson
|
5ae4a0f2a9
|
Only indent trace logs.
|
2016-06-17 19:48:45 -06:00 |
|
Scott Olson
|
8db0bc0ce9
|
Merge pull request #27 from oli-obk/travis
create a miri-pass test that allows us to run miri for arbitrary targets
|
2016-06-16 14:03:41 -05:00 |
|
Oliver Schneider
|
82dc95c3ad
|
create a miri-pass test that allows us to run miri for arbitrary targets
|
2016-06-15 16:01:00 +02:00 |
|
Scott Olson
|
bac37e69d7
|
Merge branch 'wip'
|
2016-06-15 05:24:15 -06:00 |
|
Oliver Schneider
|
d82a79220b
|
use the logging framework instead of println!
|
2016-06-15 13:00:51 +02:00 |
|
Oliver Schneider
|
a55ac1fea8
|
pass arguments to start
|
2016-06-15 12:55:04 +02:00 |
|
Scott Olson
|
16f778ad20
|
Rename next_block to block and reorganize Frame fields.
|
2016-06-14 20:13:59 -06:00 |
|
Scott Olson
|
269f70007f
|
Get the sysroot (like compiletest) in Miri itself.
|
2016-06-14 19:30:59 -06:00 |
|
Oliver Schneider
|
1bd00e8cb4
|
run start and main language item if provided
|
2016-06-14 11:52:45 +02:00 |
|
Oliver Schneider
|
55fd060cd8
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
Scott Olson
|
71188ea2df
|
Remove inception test for now.
|
2016-06-11 13:10:25 -06:00 |
|
Scott Olson
|
947e9a5c31
|
Fix infinite loop when debug trace is disabled.
|
2016-06-11 12:38:50 -06:00 |
|
Scott Olson
|
781c3a6660
|
Update for changes in rustc nightly.
|
2016-06-11 12:38:28 -06:00 |
|
Oliver Schneider
|
cea2a8ae9e
|
adjust lifetimes and bindings to the GlobalEvalContext -> EvalContext rename
|
2016-06-10 16:56:04 +02:00 |
|
Oliver Schneider
|
9c8f84caf7
|
style nit
|
2016-06-10 16:32:39 +02:00 |
|
Oliver Schneider
|
6af821f202
|
rename GlobalEvalContext to EvalContext
|
2016-06-10 16:20:17 +02:00 |
|
Oliver Schneider
|
b3c1713b89
|
expose a minimal API and use it in the binary
|
2016-06-10 13:01:51 +02:00 |
|
Oliver Schneider
|
fee3a2c1a7
|
remove intermediate vars
|
2016-06-01 18:42:57 +02:00 |
|
Oliver Schneider
|
af41c54301
|
use format! compile time magics for indentation
|
2016-06-01 18:33:29 +02:00 |
|
Oliver Schneider
|
c62cce3116
|
wraparound when reaching indentation lvl 40
|
2016-06-01 18:18:01 +02:00 |
|
Oliver Schneider
|
b7df4fdc75
|
use a number for the maximum indentation instead of relying on str::len()
|
2016-06-01 17:58:50 +02:00 |
|
Oliver Schneider
|
f9a5416135
|
use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose
|
2016-06-01 17:32:57 +02:00 |
|
Oliver Schneider
|
f1e4ef6c6f
|
re-introduce the module name to the logs and show vertical bars
|
2016-06-01 11:47:55 +02:00 |
|
Oliver Schneider
|
4f3f2020ed
|
add the log crate + env_logger to be able to choose the log granularity at runtime
|
2016-06-01 11:47:41 +02:00 |
|
Scott Olson
|
49b6349577
|
Update to a new nightly.
|
2016-05-09 15:32:18 -06:00 |
|
Oliver Schneider
|
ef5fc75c35
|
various testing improvements
|
2016-04-22 20:09:00 +02:00 |
|
Oliver Schneider
|
211c12a1d0
|
use compiletest_rs
|
2016-04-22 10:34:14 +02:00 |
|
Scott Olson
|
877d2d900e
|
Abort miri if the Rust code had compilation errors.
|
2016-03-21 02:54:20 -06:00 |
|