git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2016-06-15	Scott Olson	Rename next_block to block and reorganize Frame fields.	commit \| commitdiff \| tree
2016-06-15	Scott Olson	Get the sysroot (like compiletest) in Miri itself.	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Simplify compiletest.	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Get the sysroot in a better way (stolen from clippy).	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Disable a test that breaks on 32-bit.	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Add a casting hack to make more tests pass.	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Simplify the common case of type_size and type_layout.	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Handle Misc casts slightly more sanely.	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Implement reallocating to a smaller size.	commit \| commitdiff \| tree
2016-06-13	Scott Olson	Fix bug in relocation ranges.	commit \| commitdiff \| tree
2016-06-12	Scott Olson	Unset RUST_NEW_ERROR_FORMAT in compiletest.	commit \| commitdiff \| tree
2016-06-11	Scott Olson	Merge remote-tracking branch 'oli/function_pointers2...	commit \| commitdiff \| tree
2016-06-11	Scott Olson	Add hacky stub version of CheckedBinaryOp.	commit \| commitdiff \| tree
2016-06-11	Scott Olson	Remove inception test for now.	commit \| commitdiff \| tree
2016-06-11	Scott Olson	Fix infinite loop when debug trace is disabled.	commit \| commitdiff \| tree
2016-06-11	Scott Olson	Update for changes in rustc nightly.	commit \| commitdiff \| tree
2016-06-01	Scott Olson	Merge pull request #16 from oli-obk/logs	commit \| commitdiff \| tree
2016-06-01	Scott Olson	Merge pull request #15 from oli-obk/step_by_step	commit \| commitdiff \| tree
2016-05-30	Scott Olson	Merge pull request #13 from oli-obk/master	commit \| commitdiff \| tree
2016-05-25	Scott Olson	Handle some cases of StructWrappedNullablePointer.	commit \| commitdiff \| tree
2016-05-14	Scott Olson	Merge pull request #12 from qres/patch-1	commit \| commitdiff \| tree
2016-05-14	Scott Olson	Update for changes in rustc nightly.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Correct license in Cargo.toml.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Handle discriminant_value intrinsic.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Support C ABI memcmp function.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Add test for size_of_val::<str>.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Handle size_of_val for slice types.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Handle size_of_val for sized types.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Update for my github username change.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Handle statics.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Do or do not.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Fix the all-important smiley.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Only test on the latest nightly version.	commit \| commitdiff \| tree
2016-05-10	Scott Olson	Handle promoted rvalues by recursing with call_nested.	commit \| commitdiff \| tree
2016-05-09	Scott Olson	Update to a new nightly.	commit \| commitdiff \| tree
2016-05-09	Scott Olson	Handle CEnum layouts with signed representations.	commit \| commitdiff \| tree
2016-05-09	Scott Olson	Merge branch 'new-data-layout'	commit \| commitdiff \| tree
2016-05-09	Scott Olson	Move StructWrappedNullablePointer-using test to bugs...	commit \| commitdiff \| tree
2016-05-09	Scott Olson	Handle CEnum layouts with unsigned representations.	commit \| commitdiff \| tree
2016-04-30	Scott Olson	Fully handle RawNullablePointer layout.	commit \| commitdiff \| tree
2016-04-30	Scott Olson	Re-implement support for downcast lvalues.	commit \| commitdiff \| tree
2016-04-29	Scott Olson	Merge pull request #10 from llogiq/clippy	commit \| commitdiff \| tree
2016-04-28	Scott Olson	report: Remove redundant commented-out paragraph.	commit \| commitdiff \| tree
2016-04-24	Scott Olson	Remove unused eval_operand_and_layout fn.	commit \| commitdiff \| tree
2016-04-24	Scott Olson	Add missing boolean binops.	commit \| commitdiff \| tree
2016-04-23	Scott Olson	Implement boolean binops.	commit \| commitdiff \| tree
2016-04-23	Scott Olson	Fix lvalue projections with fat pointer bases.	commit \| commitdiff \| tree
2016-04-23	Scott Olson	Update to a nightly with rustc::ty::layout.	commit \| commitdiff \| tree
2016-04-23	Scott Olson	Replace Repr with the new ty::layout in rustc.	commit \| commitdiff \| tree
2016-04-22	Scott Olson	Merge pull request #9 from oli-obk/improve_tests	commit \| commitdiff \| tree
2016-04-22	Scott Olson	Merge pull request #7 from oli-obk/compiletest	commit \| commitdiff \| tree
2016-04-15	Scott Olson	Merge pull request #5 from killercup/fix/travis-stuff	commit \| commitdiff \| tree
2016-04-15	Scott Olson	Use 8-byte pointers on 32-bit hosts for now.	commit \| commitdiff \| tree
2016-04-15	Scott Olson	Fix drop fill checking on 32-bit hosts.	commit \| commitdiff \| tree
2016-04-15	Scott Olson	Merge pull request #3 from killercup/feature/tests	commit \| commitdiff \| tree
2016-04-14	Scott Olson	Fix over-long bitshift on 32-bit hosts.	commit \| commitdiff \| tree
2016-04-14	Scott Olson	Merge pull request #2 from killercup/feature/update...	commit \| commitdiff \| tree
2016-04-14	Scott Olson	readme: Rewording.	commit \| commitdiff \| tree
2016-04-14	Scott Olson	readme: Add links to presentation and report PDFs.	commit \| commitdiff \| tree
2016-04-13	Scott Olson	readme: Fix shell syntax.	commit \| commitdiff \| tree
2016-04-13	Scott Olson	readme: Add build and run instructions.	commit \| commitdiff \| tree
2016-04-13	Scott Olson	report: Credit where it's due.	commit \| commitdiff \| tree
2016-04-13	Scott Olson	report: Numerous fixes. :heart: @DanielKeep, @programble...	commit \| commitdiff \| tree
2016-04-13	Scott Olson	report: Finish the report.	commit \| commitdiff \| tree
2016-04-13	Scott Olson	report: Fill in most of the language support section...	commit \| commitdiff \| tree
2016-04-10	Scott Olson	report: Minor fixes.	commit \| commitdiff \| tree
2016-04-10	Scott Olson	Rename paper to report.	commit \| commitdiff \| tree
2016-04-10	Scott Olson	report: Add stub "Thanks" section.	commit \| commitdiff \| tree
2016-04-10	Scott Olson	report: Add "Vec<u8>" example.	commit \| commitdiff \| tree
2016-04-10	Scott Olson	report: Add "Flaws" and "Current implementation".	commit \| commitdiff \| tree
2016-04-10	Scott Olson	Reword and reformat various parts.	commit \| commitdiff \| tree
2016-04-10	Scott Olson	Store AllocIds directly in allocation map.	commit \| commitdiff \| tree
2016-04-09	Scott Olson	Add background and intro to first implementation.	commit \| commitdiff \| tree
2016-04-08	Scott Olson	Add basic final paper LaTeX with abstract.	commit \| commitdiff \| tree
2016-04-08	Scott Olson	Move slides into new tex directory.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Implement filling drop.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Handle missing allocations in Memory::dump.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Implement drop/deallocation for Box.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Simplify intrinsic/c_abi call argument evaluation.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Change debug log format.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Normalize test file modes.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Rename ty_size -> type_size and ty_to_repr -> type_repr.	commit \| commitdiff \| tree
2016-04-07	Scott Olson	Update for changes in rustc master.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Print sizes in allocation dumps.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Partially implement reallocation (e.g. for growing...	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Add test for out-of-bounds reads.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Fix undef mask initialization and test undef reads.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Add test for invalid booleans.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Add test for comparing ptrs into different allocs.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Add an Rc reference cycle test.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Add a test for overwriting part of a relocation.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Implement a naive, slow version of undef mask copying.	commit \| commitdiff \| tree
2016-04-06	Scott Olson	Switch to bitmask-based undef mask.	commit \| commitdiff \| tree
2016-04-05	Scott Olson	Rearrange code in memory.rs.	commit \| commitdiff \| tree
2016-04-05	Scott Olson	Print terminator kinds (without spans) when debugging.	commit \| commitdiff \| tree
2016-04-04	Scott Olson	Fix quote kind in slides LaTeX.	commit \| commitdiff \| tree
2016-04-04	Scott Olson	Add note about target data layout.	commit \| commitdiff \| tree
2016-04-04	Scott Olson	Add slides for final presentation.	commit \| commitdiff \| tree
2016-04-01	Scott Olson	Update for changes in rustc master.	commit \| commitdiff \| tree
2016-03-31	Scott Olson	Add stack traces to error notes.	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom