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

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

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
2016-03-15	Scott Olson	Split Repr creation out of eval_lvalue.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Implement fixed-sized arrays.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Implement the size_of intrinsic.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Test the unstable box syntax.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Add unsigned integers.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Fix substs in nested generic function calls.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Clarify output allocations.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Implement Rvalue::Box allocations.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Reorganize and simplify.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Improve execution trace logging.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Extract Terminator evaluation out of the main loop.	commit \| commitdiff \| tree
2016-03-15	Scott Olson	Handle recursive calls without recursing in miri.	commit \| commitdiff \| tree
2016-03-14	Scott Olson	Properly handle generic fn calls.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Reimplement cross-crate function calls.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Reimplement crate-local function calls.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Fix typo.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Add support for pointers.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Uncomment now-working test.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Uncomment now-working test.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Remove unused variable.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Remove old commented-out code.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Reimplement variant downcast projection.	commit \| commitdiff \| tree
2016-03-13	Scott Olson	Reimplement field lvalue projection.	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom