Commit Graph

6 Commits

Author SHA1 Message Date
rchaser53 4f0d4744b8 fix unwrap_u64 and to_raw_bits 2019-01-22 00:24:36 +09:00
rchaser53 3a79ba5432 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 9297caaac3 Fix all the links! 2018-09-21 15:54:25 -05:00
Rajkumar Natarajan ad77d418fa update nightly documention for issue#100-b 2018-04-06 21:40:18 -05:00
varkor 43341c8894 Consolidate and fix code blocks 2018-04-06 14:18:08 -05:00
Oliver Schneider 6e1eccd30c Add some documentation for const eval and related topics 2018-02-23 12:36:20 -06:00