Commit Graph

11 Commits

Author SHA1 Message Date
Mark Rousskov aa3e8d3e78 Remove assert_matches users 2021-05-03 09:30:11 -04:00
Mara Bos cfb4ad4f2a Remove unwrap_none/expect_none from compiler/. 2021-03-18 14:25:54 +01:00
Vishnunarayan K I ff0ebd27a4 move interpret::MemoryKind::Heap to const eval 2020-12-03 21:42:11 +05:30
Vishnunarayan K I bc6eb6fa5d move intrinsic to CTFE, add FIXME 2020-12-03 12:21:47 +05:30
Vishnunarayan K I 899a59e7ca rename MemoryKind::Heap to ConstHeap; bless test 2020-12-02 17:45:11 +05:30
Vishnunarayan K I b5b811aab4 review comments 2020-12-01 19:48:09 +05:30
Vishnunarayan K I 528355c541 add const_allocate intrisic 2020-12-01 15:39:25 +05:30
Ralf Jung 731113b8ee Miri: more informative deallocation error messages 2020-09-22 09:05:12 +02:00
Oliver Scherer 182ed8544d Address review comments 2020-09-19 10:36:36 +02:00
Oliver Scherer 69a6be73e6 Rename const eval queries to reflect the validation changes 2020-09-19 10:36:36 +02:00
mark 9e5f7d5631 mv compiler to compiler/ 2020-08-30 18:45:07 +03:00