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

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

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
2016-03-18	Scott Olson	Implement more intrinsics.	commit \| commitdiff \| tree
2016-03-18	Scott Olson	Normalize associated types when monomorphizing.	commit \| commitdiff \| tree
2016-03-18	Scott Olson	Add initial support for closures.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Remove some TODOs.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Choose pointer size dynamically.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Change invalid pointer read panic into Err.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Fix boolean tests and clean up code.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Simplify integer reading/writing.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Remove fn_ty argument from call_intrinsic for now.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Extract intrinsic function handling.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Shorten ty_to_repr(ty).size() to ty_size(ty).	commit \| commitdiff \| tree
2016-03-17	Scott Olson	whitespace.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Cached those outputs.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Arena allocate and cache type representations.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Use total size instead of max variant size in aggregates.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Simplify make_aggregate_repr.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Merge sum and product representations.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Simplify primitive type reprs.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Fix typo.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Simplify Repr::Array's elem size.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Simplify PrimVals.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Simplify FieldRepr sizes.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Simplify some Repr code.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Add fixmes to horrible casting code.	commit \| commitdiff \| tree
2016-03-17	Scott Olson	WIP: Support array indexing including a `get_unchecked...	commit \| commitdiff \| tree
2016-03-17	Scott Olson	Create a pointer-only version of eval_operand. Fix...	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Update for changes in rustc master.	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom