itsscb/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-11-18 10:46:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
811 Commits 10 Branches 151 Tags
Commit Graph

5 Commits

Author SHA1 Message Date
gnzlbg
18f6f83d90 Automatic-verification of x86-intrinsic should distinguish const/mut pointers 2019-05-09 16:03:50 +02:00
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