]>
git.lizzy.rs Git - rust.git/log
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.
Scott Olson [Mon, 4 Apr 2016 21:46:13 +0000 (15:46 -0600)]
Fix quote kind in slides LaTeX.
Scott Olson [Mon, 4 Apr 2016 05:25:30 +0000 (23:25 -0600)]
Add note about target data layout.
Scott Olson [Mon, 4 Apr 2016 05:20:44 +0000 (23:20 -0600)]
Add slides for final presentation.
Scott Olson [Fri, 1 Apr 2016 04:34:07 +0000 (22:34 -0600)]
Update for changes in rustc master.
Scott Olson [Thu, 31 Mar 2016 04:04:53 +0000 (22:04 -0600)]
Add stack traces to error notes.
Scott Olson [Wed, 30 Mar 2016 04:13:31 +0000 (22:13 -0600)]
Move substs stack management into main stack managment fns.
Scott Olson [Wed, 30 Mar 2016 01:09:26 +0000 (19:09 -0600)]
Add initial error reporting via rustc's interface.
Scott Olson [Wed, 30 Mar 2016 01:08:45 +0000 (19:08 -0600)]
Remove unnecessary Result return in push_stack_frame.
Scott Olson [Tue, 29 Mar 2016 03:08:08 +0000 (21:08 -0600)]
Handle custom discriminant values and detect invalid discriminants.
Scott Olson [Mon, 28 Mar 2016 23:59:48 +0000 (17:59 -0600)]
Add a basic test for specialization.
Scott Olson [Mon, 28 Mar 2016 23:43:23 +0000 (17:43 -0600)]
Update for changes in rustc master.
Scott Olson [Mon, 28 Mar 2016 22:37:07 +0000 (16:37 -0600)]
Mark bytes undefined in uninit intrinsic.
Scott Olson [Sun, 27 Mar 2016 06:29:02 +0000 (00:29 -0600)]
Mark partially-overwritten relocations as undefined.
Scott Olson [Sun, 27 Mar 2016 05:57:14 +0000 (23:57 -0600)]
Fix bug where &str's lengths were not copied.
Scott Olson [Sun, 27 Mar 2016 05:56:49 +0000 (23:56 -0600)]
Check for undefinedness when reading from memory.
Scott Olson [Sun, 27 Mar 2016 05:25:35 +0000 (23:25 -0600)]
Add method for checking if a range is defined in an allocation.
Scott Olson [Sun, 27 Mar 2016 04:25:08 +0000 (22:25 -0600)]
Add undefined byte tracking.
Scott Olson [Thu, 24 Mar 2016 03:40:58 +0000 (21:40 -0600)]
Reorganize memory methods.
Scott Olson [Thu, 24 Mar 2016 01:44:05 +0000 (19:44 -0600)]
Refactor memory/allocation handling.
Scott Olson [Tue, 22 Mar 2016 06:48:28 +0000 (00:48 -0600)]
Use Box<[u8]> instead of Vec<u8> for allocations.
Scott Olson [Tue, 22 Mar 2016 00:53:39 +0000 (18:53 -0600)]
Add a commented-out RefCell test.
Scott Olson [Tue, 22 Mar 2016 00:51:25 +0000 (18:51 -0600)]
Add a fat byte-slice coercion test.
Scott Olson [Tue, 22 Mar 2016 00:51:08 +0000 (18:51 -0600)]
Assert the absence of fat pointers more often.
Scott Olson [Mon, 21 Mar 2016 11:42:42 +0000 (05:42 -0600)]
Write the correct size for PrimVall::IntegerPtr.
Scott Olson [Mon, 21 Mar 2016 11:27:34 +0000 (05:27 -0600)]
Refactor handling of relocations.
Scott Olson [Mon, 21 Mar 2016 10:37:28 +0000 (04:37 -0600)]
Add simple test of assert_eq!.
Scott Olson [Mon, 21 Mar 2016 10:19:27 +0000 (04:19 -0600)]
Hide execution traces (they are getting long...)
Scott Olson [Mon, 21 Mar 2016 10:18:30 +0000 (04:18 -0600)]
Add tests involving Rc, Arc, and Cell.
Scott Olson [Mon, 21 Mar 2016 10:12:07 +0000 (04:12 -0600)]
Fix typo in test name.
Scott Olson [Mon, 21 Mar 2016 10:01:52 +0000 (04:01 -0600)]
Make more MIR match statements exhaustive.
Scott Olson [Mon, 21 Mar 2016 09:42:34 +0000 (03:42 -0600)]
Support intrinsics::overflowing_sub for vec![x; n].
Scott Olson [Mon, 21 Mar 2016 09:34:24 +0000 (03:34 -0600)]
Support [x; N] array repeat rvalues.
Scott Olson [Mon, 21 Mar 2016 09:19:48 +0000 (03:19 -0600)]
Make mir::Rvalue handling exhaustive (some still unimplemented).
Scott Olson [Mon, 21 Mar 2016 09:19:07 +0000 (03:19 -0600)]
Add vec::IntoIter and fold test.
Scott Olson [Mon, 21 Mar 2016 08:54:20 +0000 (02:54 -0600)]
Abort miri if the Rust code had compilation errors.
Scott Olson [Mon, 21 Mar 2016 08:41:22 +0000 (02:41 -0600)]
Uncomment now-working vec! macro test.
Scott Olson [Mon, 21 Mar 2016 08:41:07 +0000 (02:41 -0600)]
Fix vec test compile error.
Scott Olson [Mon, 21 Mar 2016 08:39:41 +0000 (02:39 -0600)]
Add slice iterator for-loop test.
Scott Olson [Mon, 21 Mar 2016 08:37:31 +0000 (02:37 -0600)]
Add array indexing for-loop test.
Scott Olson [Mon, 21 Mar 2016 07:04:50 +0000 (01:04 -0600)]
Remove debug print.
Scott Olson [Mon, 21 Mar 2016 05:24:27 +0000 (23:24 -0600)]
Refactor isize/usize read/writes.
Scott Olson [Mon, 21 Mar 2016 05:11:06 +0000 (23:11 -0600)]
Monomorphize lvalue types.
Scott Olson [Mon, 21 Mar 2016 05:09:27 +0000 (23:09 -0600)]
Simplify handling of Result in eval_assignment.
Scott Olson [Mon, 21 Mar 2016 04:59:13 +0000 (22:59 -0600)]
Support fat pointer reborrowing, length checking.
Scott Olson [Mon, 21 Mar 2016 04:07:25 +0000 (22:07 -0600)]
Refactor some names.
Scott Olson [Mon, 21 Mar 2016 03:30:31 +0000 (21:30 -0600)]
Implement length access and indexing for fixed-sized arrays.
Scott Olson [Mon, 21 Mar 2016 02:33:46 +0000 (20:33 -0600)]
Reduce duplication for integer reprs.
Scott Olson [Mon, 21 Mar 2016 02:18:09 +0000 (20:18 -0600)]
Add first test for std::vec::Vec.
Scott Olson [Mon, 21 Mar 2016 02:16:40 +0000 (20:16 -0600)]
Support fn pointer type sizes.
Scott Olson [Mon, 21 Mar 2016 02:15:13 +0000 (20:15 -0600)]
Stop unintentionally clearing source relocations when copying.
Scott Olson [Mon, 21 Mar 2016 01:23:57 +0000 (19:23 -0600)]
Implement the move_val_init intrinsic.
Scott Olson [Mon, 21 Mar 2016 00:41:39 +0000 (18:41 -0600)]
Implement the __rust_allocate C ABI function.
Scott Olson [Sat, 19 Mar 2016 17:07:19 +0000 (11:07 -0600)]
Simplify Misc casts (still incorrect).
Scott Olson [Sat, 19 Mar 2016 17:01:33 +0000 (11:01 -0600)]
Implement min_align_of and a hacky mul_with_overflow.