Commit Graph

6 Commits

Author SHA1 Message Date
rchaser53 45134abffe fix unwrap_u64 and to_raw_bits 2019-01-22 00:24:36 +09:00
rchaser53 a626917262 fix related miri variables
rename variables like below
 - Value => ConstValue
 - PrimVal => Scalar
 - Value::ByVal => ConstValue::Scalar
 - Value::ByValPair => ConstValue::ScalarPair
2019-01-19 23:48:13 +09:00
Mark Mansi 58981d7649 Fix all the links! 2018-09-21 15:54:25 -05:00
Rajkumar Natarajan 4de421131b update nightly documention for issue#100-b 2018-04-06 21:40:18 -05:00
varkor ad35712ddc Consolidate and fix code blocks 2018-04-06 14:18:08 -05:00
Oliver Schneider 77e872fb58 Add some documentation for const eval and related topics 2018-02-23 12:36:20 -06:00