itsscb/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-11-04 23:15:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
783 Commits 10 Branches 150 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
gnzlbg
3d05489c10 Formatting 2019-04-17 14:20:42 +02:00
Alex Crichton
f3414889af Fix verifying instructions for MIPS 
Looks like MIPS is the first architecture to have verification which
exercises the more flavorful forms of `assert_instr`, so the parsing
code for `assert_instr` needed an update.

Closes #713
 2019-04-12 08:30:07 +02:00
gnzlbg
35e6a54ef9 Formatting 2019-04-11 09:36:52 +02:00
gnzlbg
9fecf396ac Add automatic-verification for MIPS MSA intrinsics 2019-04-11 09:36:52 +02:00