git.lizzy.rs Git - rust.git/history - src/librustc

]> git.lizzy.rs Git - rust.git/history - src/librustc_mir/interpret/step.rs

2017-07-25	Ralf Jung	we need to normalize associated types also deep in...	blob \| commitdiff \| raw
2017-07-25	Ralf Jung	move validation to its own file	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	fix normalizing associated types. this brings us up...	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	validate TyClosure, TyTuple, TyNever	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	various small fixes and tracing	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	Also release locks on ReleaseValidation and EndRegion	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	implement stub validity check for basic types (bool...	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	add locking data structures and lock checks	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	update for rustc changes: treat new MIR commands as NOP	blob \| commitdiff \| raw \| diff to current
2017-07-24	Oliver Schneider	Merge pull request #267 from RalfJung/cast	blob \| commitdiff \| raw \| diff to current
2017-07-24	Oliver Schneider	Pass `HasDataLayout` instead of the data layout itself	blob \| commitdiff \| raw \| diff to current
2017-07-21	Oliver Schneider	Merge pull request #258 from oli-obk/upstream	blob \| commitdiff \| raw \| diff to current
2017-07-21	Oliver Schneider	Prep miri repository for rustc merger	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.