]>
git.lizzy.rs Git - rust.git/log
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.
Scott Olson [Fri, 8 Apr 2016 20:37:17 +0000 (14:37 -0600)]
Add basic final paper LaTeX with abstract.
Scott Olson [Fri, 8 Apr 2016 19:25:36 +0000 (13:25 -0600)]
Move slides into new tex directory.
Scott Olson [Thu, 7 Apr 2016 11:56:07 +0000 (05:56 -0600)]
Implement filling drop.
Scott Olson [Thu, 7 Apr 2016 09:07:57 +0000 (03:07 -0600)]
Handle missing allocations in Memory::dump.
Scott Olson [Thu, 7 Apr 2016 09:02:02 +0000 (03:02 -0600)]
Implement drop/deallocation for Box.
Scott Olson [Thu, 7 Apr 2016 08:02:30 +0000 (02:02 -0600)]
Simplify intrinsic/c_abi call argument evaluation.
Scott Olson [Thu, 7 Apr 2016 01:28:40 +0000 (19:28 -0600)]
Change debug log format.
Scott Olson [Thu, 7 Apr 2016 01:05:17 +0000 (19:05 -0600)]
Normalize test file modes.
Scott Olson [Thu, 7 Apr 2016 01:01:00 +0000 (19:01 -0600)]
Rename ty_size -> type_size and ty_to_repr -> type_repr.
Scott Olson [Thu, 7 Apr 2016 01:00:34 +0000 (19:00 -0600)]
Update for changes in rustc master.
Scott Olson [Wed, 6 Apr 2016 23:33:24 +0000 (17:33 -0600)]
Print sizes in allocation dumps.
Scott Olson [Wed, 6 Apr 2016 23:29:56 +0000 (17:29 -0600)]
Partially implement reallocation (e.g. for growing Vecs).
Scott Olson [Wed, 6 Apr 2016 10:43:06 +0000 (04:43 -0600)]
Add test for out-of-bounds reads.
Scott Olson [Wed, 6 Apr 2016 10:35:25 +0000 (04:35 -0600)]
Fix undef mask initialization and test undef reads.
Scott Olson [Wed, 6 Apr 2016 10:27:09 +0000 (04:27 -0600)]
Add test for invalid booleans.
Scott Olson [Wed, 6 Apr 2016 10:24:35 +0000 (04:24 -0600)]
Add test for comparing ptrs into different allocs.
Scott Olson [Wed, 6 Apr 2016 10:20:35 +0000 (04:20 -0600)]
Add an Rc reference cycle test.
Scott Olson [Wed, 6 Apr 2016 10:19:36 +0000 (04:19 -0600)]
Add a test for overwriting part of a relocation.
Scott Olson [Wed, 6 Apr 2016 10:08:52 +0000 (04:08 -0600)]
Implement a naive, slow version of undef mask copying.
Scott Olson [Wed, 6 Apr 2016 09:45:06 +0000 (03:45 -0600)]
Switch to bitmask-based undef mask.
Scott Olson [Tue, 5 Apr 2016 02:33:41 +0000 (20:33 -0600)]
Rearrange code in memory.rs.
Scott Olson [Tue, 5 Apr 2016 02:07:22 +0000 (20:07 -0600)]
Print terminator kinds (without spans) when debugging.