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

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

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
2016-03-30	Scott Olson	Move substs stack management into main stack managment...	commit \| commitdiff \| tree
2016-03-30	Scott Olson	Add initial error reporting via rustc's interface.	commit \| commitdiff \| tree
2016-03-30	Scott Olson	Remove unnecessary Result return in push_stack_frame.	commit \| commitdiff \| tree
2016-03-29	Scott Olson	Handle custom discriminant values and detect invalid...	commit \| commitdiff \| tree
2016-03-28	Scott Olson	Add a basic test for specialization.	commit \| commitdiff \| tree
2016-03-28	Scott Olson	Update for changes in rustc master.	commit \| commitdiff \| tree
2016-03-28	Scott Olson	Mark bytes undefined in uninit intrinsic.	commit \| commitdiff \| tree
2016-03-27	Scott Olson	Mark partially-overwritten relocations as undefined.	commit \| commitdiff \| tree
2016-03-27	Scott Olson	Fix bug where &str's lengths were not copied.	commit \| commitdiff \| tree
2016-03-27	Scott Olson	Check for undefinedness when reading from memory.	commit \| commitdiff \| tree
2016-03-27	Scott Olson	Add method for checking if a range is defined in an...	commit \| commitdiff \| tree
2016-03-27	Scott Olson	Add undefined byte tracking.	commit \| commitdiff \| tree
2016-03-24	Scott Olson	Reorganize memory methods.	commit \| commitdiff \| tree
2016-03-24	Scott Olson	Refactor memory/allocation handling.	commit \| commitdiff \| tree
2016-03-22	Scott Olson	Use Box<[u8]> instead of Vec<u8> for allocations.	commit \| commitdiff \| tree
2016-03-22	Scott Olson	Add a commented-out RefCell test.	commit \| commitdiff \| tree
2016-03-22	Scott Olson	Add a fat byte-slice coercion test.	commit \| commitdiff \| tree
2016-03-22	Scott Olson	Assert the absence of fat pointers more often.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Write the correct size for PrimVall::IntegerPtr.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Refactor handling of relocations.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Add simple test of assert_eq!.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Hide execution traces (they are getting long...)	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Add tests involving Rc, Arc, and Cell.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Fix typo in test name.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Make more MIR match statements exhaustive.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Support intrinsics::overflowing_sub for vec![x; n].	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Support [x; N] array repeat rvalues.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Make mir::Rvalue handling exhaustive (some still unimplemented).	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Add vec::IntoIter and fold test.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Abort miri if the Rust code had compilation errors.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Uncomment now-working vec! macro test.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Fix vec test compile error.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Add slice iterator for-loop test.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Add array indexing for-loop test.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Remove debug print.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Refactor isize/usize read/writes.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Monomorphize lvalue types.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Simplify handling of Result in eval_assignment.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Support fat pointer reborrowing, length checking.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Refactor some names.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Implement length access and indexing for fixed-sized...	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Reduce duplication for integer reprs.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Add first test for std::vec::Vec.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Support fn pointer type sizes.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Stop unintentionally clearing source relocations when...	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Implement the move_val_init intrinsic.	commit \| commitdiff \| tree
2016-03-21	Scott Olson	Implement the __rust_allocate C ABI function.	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Simplify Misc casts (still incorrect).	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Implement min_align_of and a hacky mul_with_overflow.	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Write intrinsic result to correct lvalue.	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Handle "offset" intrinsic on integer pointers.	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Implement bytestring literals.	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Implement string literals.	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Implement the dummy 'assume' intrinsic.	commit \| commitdiff \| tree
2016-03-19	Scott Olson	Implement pointer primvals and comparison ops on them.	commit \| commitdiff \| tree
2016-03-18	Scott Olson	Implement transmute.	commit \| commitdiff \| tree
2016-03-18	Scott Olson	Avoid an integer underflow error.	commit \| commitdiff \| tree
2016-03-18	Scott Olson	Add error message for missing MIR.	commit \| commitdiff \| tree
2016-03-18	Scott Olson	Reformat for consistency.	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom