]>
git.lizzy.rs Git - rust.git/log
Oliver Schneider [Thu, 9 Jun 2016 14:01:53 +0000 (16:01 +0200)]
merge FnEvalContext into GlobalEvalContext
Oliver Schneider [Thu, 9 Jun 2016 09:27:12 +0000 (11:27 +0200)]
rename `static_item` to `global_item`
Oliver Schneider [Thu, 9 Jun 2016 09:27:02 +0000 (11:27 +0200)]
make sure globals that yield function pointers aren't treated like functions
Oliver Schneider [Thu, 9 Jun 2016 09:16:09 +0000 (11:16 +0200)]
we already have the constant's type, no need to recompute from the def_id
Oliver Schneider [Thu, 9 Jun 2016 08:52:45 +0000 (10:52 +0200)]
refactor away the closures and `Event` enum
Oliver Schneider [Wed, 8 Jun 2016 10:47:24 +0000 (12:47 +0200)]
the statement/terminator has already been computed, don't do it again
Oliver Schneider [Wed, 8 Jun 2016 10:35:15 +0000 (12:35 +0200)]
improve the docs of ConstantId
Oliver Schneider [Wed, 8 Jun 2016 10:30:25 +0000 (12:30 +0200)]
improve fn argument naming
Oliver Schneider [Wed, 8 Jun 2016 09:46:37 +0000 (11:46 +0200)]
put `ConstantId`'s common fields into a struct
Oliver Schneider [Wed, 8 Jun 2016 09:34:56 +0000 (11:34 +0200)]
no more function pointers
Oliver Schneider [Wed, 8 Jun 2016 09:11:33 +0000 (11:11 +0200)]
directly push stackframes for constants when they are encountered
Oliver Schneider [Wed, 8 Jun 2016 09:11:08 +0000 (11:11 +0200)]
rebase leftovers
Oliver Schneider [Wed, 8 Jun 2016 08:17:26 +0000 (10:17 +0200)]
don't cache the MIR in the Stepper
Oliver Schneider [Mon, 6 Jun 2016 13:24:56 +0000 (15:24 +0200)]
clippy nits
Oliver Schneider [Mon, 6 Jun 2016 13:22:33 +0000 (15:22 +0200)]
move load_mir to the global eval context
Oliver Schneider [Wed, 8 Jun 2016 07:38:59 +0000 (09:38 +0200)]
move some methods from FnEvalContext to GlobalEvalContext
Oliver Schneider [Fri, 3 Jun 2016 15:41:36 +0000 (17:41 +0200)]
globally cache statics and promoteds
Oliver Schneider [Fri, 3 Jun 2016 15:14:36 +0000 (17:14 +0200)]
stop producing executable files in the root folder during benchmarks...
Oliver Schneider [Fri, 3 Jun 2016 15:08:51 +0000 (17:08 +0200)]
move constants stack to stackframe
Oliver Schneider [Fri, 3 Jun 2016 15:04:08 +0000 (17:04 +0200)]
update documentation
Oliver Schneider [Fri, 3 Jun 2016 14:57:47 +0000 (16:57 +0200)]
factor out the statement index into the stackframe
Oliver Schneider [Fri, 3 Jun 2016 14:51:51 +0000 (16:51 +0200)]
store the current block in the frame
Oliver Schneider [Fri, 3 Jun 2016 13:48:56 +0000 (15:48 +0200)]
jit interpretation of constants
Oliver Schneider [Thu, 2 Jun 2016 16:21:32 +0000 (18:21 +0200)]
merge the three stacks in the interpreter
Oliver Schneider [Thu, 2 Jun 2016 16:03:22 +0000 (18:03 +0200)]
remove a debug message that snuck into the commit
Oliver Schneider [Thu, 2 Jun 2016 15:36:05 +0000 (17:36 +0200)]
add a const fn test
Oliver Schneider [Thu, 2 Jun 2016 15:05:17 +0000 (17:05 +0200)]
also step through promoteds, constants and statics
Oliver Schneider [Wed, 1 Jun 2016 17:20:23 +0000 (19:20 +0200)]
note that not all literal items are function pointers
Oliver Schneider [Wed, 1 Jun 2016 17:17:18 +0000 (19:17 +0200)]
rename `iterator` module to `stepper`
Oliver Schneider [Wed, 1 Jun 2016 17:01:40 +0000 (19:01 +0200)]
style: spaces between functions
Oliver Schneider [Wed, 1 Jun 2016 15:05:20 +0000 (17:05 +0200)]
stepwise interpretation
Oliver Schneider [Wed, 1 Jun 2016 11:55:16 +0000 (13:55 +0200)]
don't clone the MIR Rc in every iteration
Oliver Schneider [Wed, 1 Jun 2016 12:33:37 +0000 (14:33 +0200)]
remove one layer of indirection when interpreting const/static/main functions
Oliver Schneider [Tue, 31 May 2016 16:26:03 +0000 (18:26 +0200)]
can't evaluate failed assertions yet
Scott Olson [Wed, 1 Jun 2016 16:48:27 +0000 (10:48 -0600)]
Merge pull request #16 from oli-obk/logs
use the `log` crate + `env_logger`
Oliver Schneider [Wed, 1 Jun 2016 16:42:57 +0000 (18:42 +0200)]
remove intermediate vars
Oliver Schneider [Wed, 1 Jun 2016 16:33:29 +0000 (18:33 +0200)]
use format! compile time magics for indentation
Oliver Schneider [Wed, 1 Jun 2016 16:18:01 +0000 (18:18 +0200)]
wraparound when reaching indentation lvl 40
Oliver Schneider [Wed, 1 Jun 2016 15:58:50 +0000 (17:58 +0200)]
use a number for the maximum indentation instead of relying on str::len()
Oliver Schneider [Wed, 1 Jun 2016 15:32:57 +0000 (17:32 +0200)]
use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose
Scott Olson [Wed, 1 Jun 2016 13:44:18 +0000 (07:44 -0600)]
Merge pull request #15 from oli-obk/step_by_step
4 byte pointers + tests
Oliver Schneider [Tue, 31 May 2016 14:51:30 +0000 (16:51 +0200)]
re-introduce the module name to the logs and show vertical bars
Oliver Schneider [Tue, 31 May 2016 14:41:26 +0000 (16:41 +0200)]
fallout because compiletest tried to use rustc's log crate
Oliver Schneider [Mon, 30 May 2016 16:09:52 +0000 (18:09 +0200)]
add the `log` crate + `env_logger` to be able to choose the log granularity at runtime
Oliver Schneider [Tue, 31 May 2016 14:39:52 +0000 (16:39 +0200)]
add dependencies and run cargo update
Oliver Schneider [Wed, 1 Jun 2016 09:24:23 +0000 (11:24 +0200)]
add a note to Memory::new mentioning tcx.data_layout
Oliver Schneider [Wed, 1 Jun 2016 09:22:37 +0000 (11:22 +0200)]
improve out of bounds error message
Oliver Schneider [Tue, 31 May 2016 10:05:25 +0000 (12:05 +0200)]
4byte pointers
Oliver Schneider [Mon, 30 May 2016 13:27:52 +0000 (15:27 +0200)]
replace `panic!`s with `Result`
Oliver Schneider [Mon, 30 May 2016 13:27:10 +0000 (15:27 +0200)]
don't generate test suites
Scott Olson [Mon, 30 May 2016 19:01:11 +0000 (13:01 -0600)]
Merge pull request #13 from oli-obk/master
benchmarks
Oliver Schneider [Mon, 30 May 2016 12:05:50 +0000 (14:05 +0200)]
add more benchmarks
Oliver Schneider [Mon, 30 May 2016 11:40:46 +0000 (13:40 +0200)]
remove unnecessary printlns for benchmarks
Oliver Schneider [Mon, 30 May 2016 11:40:20 +0000 (13:40 +0200)]
add benchmarks
Oliver Schneider [Fri, 27 May 2016 14:12:17 +0000 (16:12 +0200)]
clippy nit
Scott Olson [Wed, 25 May 2016 06:37:52 +0000 (00:37 -0600)]
Handle some cases of StructWrappedNullablePointer.
... plus a bunch of minor refactorings.
Scott Olson [Sat, 14 May 2016 05:18:19 +0000 (23:18 -0600)]
Merge pull request #12 from qres/patch-1
fix tuple example in slides
qres [Sat, 14 May 2016 05:13:06 +0000 (15:13 +1000)]
fix tuple example in slides
Scott Olson [Sat, 14 May 2016 04:34:50 +0000 (22:34 -0600)]
Update for changes in rustc nightly.
Scott Olson [Tue, 10 May 2016 17:50:11 +0000 (11:50 -0600)]
Correct license in Cargo.toml.
Scott Olson [Tue, 10 May 2016 05:41:57 +0000 (23:41 -0600)]
Handle discriminant_value intrinsic.
Scott Olson [Tue, 10 May 2016 03:53:20 +0000 (21:53 -0600)]
Support C ABI memcmp function.
Scott Olson [Tue, 10 May 2016 03:03:53 +0000 (21:03 -0600)]
Add test for size_of_val::<str>.
Scott Olson [Tue, 10 May 2016 03:01:12 +0000 (21:01 -0600)]
Handle size_of_val for slice types.
Scott Olson [Tue, 10 May 2016 02:44:42 +0000 (20:44 -0600)]
Handle size_of_val for sized types.
Scott Olson [Tue, 10 May 2016 02:08:37 +0000 (20:08 -0600)]
Update for my github username change.
Scott Olson [Tue, 10 May 2016 02:03:13 +0000 (20:03 -0600)]
Handle statics.
Scott Olson [Tue, 10 May 2016 00:52:44 +0000 (18:52 -0600)]
Do or do not.
Scott Olson [Tue, 10 May 2016 00:36:40 +0000 (18:36 -0600)]
Fix the all-important smiley.
Scott Olson [Tue, 10 May 2016 00:35:22 +0000 (18:35 -0600)]
Only test on the latest nightly version.
Scott Olson [Tue, 10 May 2016 00:21:21 +0000 (18:21 -0600)]
Handle promoted rvalues by recursing with call_nested.
Scott Olson [Mon, 9 May 2016 21:30:47 +0000 (15:30 -0600)]
Update to a new nightly.
Scott Olson [Mon, 9 May 2016 01:49:07 +0000 (19:49 -0600)]
Handle CEnum layouts with signed representations.
Scott Olson [Mon, 9 May 2016 01:31:28 +0000 (19:31 -0600)]
Merge branch 'new-data-layout'
Scott Olson [Mon, 9 May 2016 01:30:17 +0000 (19:30 -0600)]
Move StructWrappedNullablePointer-using test to bugs dir.
Scott Olson [Mon, 9 May 2016 01:29:00 +0000 (19:29 -0600)]
Handle CEnum layouts with unsigned representations.
Scott Olson [Sat, 30 Apr 2016 07:04:17 +0000 (01:04 -0600)]
Fully handle RawNullablePointer layout.
Scott Olson [Sat, 30 Apr 2016 05:32:15 +0000 (23:32 -0600)]
Re-implement support for downcast lvalues.
Scott Olson [Fri, 29 Apr 2016 17:48:00 +0000 (11:48 -0600)]
Merge pull request #10 from llogiq/clippy
Fixed some clippy warnings
Andre Bogus [Fri, 29 Apr 2016 15:47:04 +0000 (17:47 +0200)]
back out similar_names change
Andre Bogus [Fri, 29 Apr 2016 04:01:17 +0000 (06:01 +0200)]
Fixed some clippy warnings
Scott Olson [Thu, 28 Apr 2016 10:13:26 +0000 (04:13 -0600)]
report: Remove redundant commented-out paragraph.
Scott Olson [Sun, 24 Apr 2016 02:46:27 +0000 (20:46 -0600)]
Remove unused eval_operand_and_layout fn.
Scott Olson [Sun, 24 Apr 2016 02:13:00 +0000 (20:13 -0600)]
Add missing boolean binops.
Scott Olson [Sat, 23 Apr 2016 06:39:38 +0000 (00:39 -0600)]
Implement boolean binops.
Scott Olson [Sat, 23 Apr 2016 06:26:10 +0000 (00:26 -0600)]
Fix lvalue projections with fat pointer bases.
Scott Olson [Sat, 23 Apr 2016 06:11:56 +0000 (00:11 -0600)]
Update to a nightly with rustc::ty::layout.
Scott Olson [Sat, 23 Apr 2016 06:03:59 +0000 (00:03 -0600)]
Replace Repr with the new ty::layout in rustc.
Lvalues still need work (see lvalue_layout).
Scott Olson [Fri, 22 Apr 2016 19:54:26 +0000 (13:54 -0600)]
Merge pull request #9 from oli-obk/improve_tests
various testing improvements
Oliver Schneider [Fri, 22 Apr 2016 13:04:12 +0000 (15:04 +0200)]
bug: transmute::<*const T, Option<Box<T>>>(..)
Oliver Schneider [Fri, 22 Apr 2016 13:00:19 +0000 (15:00 +0200)]
wild pointer and null pointer deref
Oliver Schneider [Fri, 22 Apr 2016 12:38:46 +0000 (14:38 +0200)]
various testing improvements
Scott Olson [Fri, 22 Apr 2016 08:46:34 +0000 (02:46 -0600)]
Merge pull request #7 from oli-obk/compiletest
use compiletest_rs
Oliver Schneider [Fri, 22 Apr 2016 08:34:14 +0000 (10:34 +0200)]
use compiletest_rs
Scott Olson [Fri, 15 Apr 2016 19:54:22 +0000 (13:54 -0600)]
Merge pull request #5 from killercup/fix/travis-stuff
Fix travis stuff
Pascal Hertleif [Fri, 15 Apr 2016 14:50:36 +0000 (16:50 +0200)]
Fix Travis Config for Nightly
Pascal Hertleif [Fri, 15 Apr 2016 14:50:59 +0000 (16:50 +0200)]
Add Build Status to Readme
Pascal Hertleif [Fri, 15 Apr 2016 14:50:47 +0000 (16:50 +0200)]
Fix Typo in Readme
Scott Olson [Fri, 15 Apr 2016 09:28:10 +0000 (03:28 -0600)]
Use 8-byte pointers on 32-bit hosts for now.
This will be target-dependent and host-independent eventually.
Scott Olson [Fri, 15 Apr 2016 09:16:35 +0000 (03:16 -0600)]
Fix drop fill checking on 32-bit hosts.