]>
git.lizzy.rs Git - rust.git/log
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.
Scott Olson [Fri, 15 Apr 2016 08:33:40 +0000 (02:33 -0600)]
Merge pull request #3 from killercup/feature/tests
Run Tests on Travis
Pascal Hertleif [Wed, 13 Apr 2016 22:10:31 +0000 (00:10 +0200)]
Add Travis Config
Scott Olson [Thu, 14 Apr 2016 23:38:52 +0000 (17:38 -0600)]
Fix over-long bitshift on 32-bit hosts.
Fixes #4. (Hopefully.)
Pascal Hertleif [Wed, 13 Apr 2016 22:10:20 +0000 (00:10 +0200)]
Add EditorConfig
Pascal Hertleif [Thu, 14 Apr 2016 10:31:42 +0000 (12:31 +0200)]
Add Compile Test
Scott Olson [Thu, 14 Apr 2016 10:03:53 +0000 (04:03 -0600)]
Merge pull request #2 from killercup/feature/update-rustc
Update to Rust Nightly 2016-04-11
Pascal Hertleif [Thu, 14 Apr 2016 08:21:32 +0000 (10:21 +0200)]
Readme: Newer Nightly Version, Mention Rustup
Scott Olson [Thu, 14 Apr 2016 00:47:03 +0000 (18:47 -0600)]
readme: Rewording.
Scott Olson [Thu, 14 Apr 2016 00:41:37 +0000 (18:41 -0600)]
readme: Add links to presentation and report PDFs.
Pascal Hertleif [Wed, 13 Apr 2016 22:01:00 +0000 (00:01 +0200)]
Update to Rust Nightly 2016-04-11
Scott Olson [Wed, 13 Apr 2016 13:36:54 +0000 (07:36 -0600)]
readme: Fix shell syntax.
Scott Olson [Wed, 13 Apr 2016 13:32:32 +0000 (07:32 -0600)]
readme: Add build and run instructions.
Scott Olson [Wed, 13 Apr 2016 12:15:02 +0000 (06:15 -0600)]
report: Credit where it's due.
Scott Olson [Wed, 13 Apr 2016 12:12:28 +0000 (06:12 -0600)]
report: Numerous fixes. :heart: @DanielKeep, @programble, @ubsan, @eddyb
Scott Olson [Wed, 13 Apr 2016 04:51:19 +0000 (22:51 -0600)]
report: Finish the report.
Scott Olson [Wed, 13 Apr 2016 00:42:28 +0000 (18:42 -0600)]
report: Fill in most of the language support section, plus data layout and determinism.
Scott Olson [Sun, 10 Apr 2016 05:00:31 +0000 (23:00 -0600)]
report: Minor fixes.
Scott Olson [Sun, 10 Apr 2016 04:23:50 +0000 (22:23 -0600)]
Rename paper to report.
Scott Olson [Sun, 10 Apr 2016 04:23:15 +0000 (22:23 -0600)]
report: Add stub "Thanks" section.
Scott Olson [Sun, 10 Apr 2016 04:23:00 +0000 (22:23 -0600)]
report: Add "Vec<u8>" example.
Scott Olson [Sun, 10 Apr 2016 04:22:06 +0000 (22:22 -0600)]
report: Add "Flaws" and "Current implementation".
Scott Olson [Sun, 10 Apr 2016 01:36:55 +0000 (19:36 -0600)]
Reword and reformat various parts.
Scott Olson [Sun, 10 Apr 2016 01:31:53 +0000 (19:31 -0600)]
Store AllocIds directly in allocation map.
Scott Olson [Sat, 9 Apr 2016 01:54:03 +0000 (19:54 -0600)]
Add background and intro to first implementation.