Topics:
- rename the repository (4 messages, latest: Nov 14 2019 at 22:18)
Vec::new in array repeat expressions (72 messages, latest: Nov 11 2019 at 00:28)ConstSafe and bitwise copies (106 messages, latest: Nov 06 2019 at 15:40)- Removing old const checker/qualifier (7 messages, latest: Oct 29 2019 at 18:28)
- Method for promotion in
const (15 messages, latest: Oct 28 2019 at 01:53)
- Zero copy fs writes for miri (7 messages, latest: Oct 24 2019 at 13:43)
- Constants in array repeat expressions (1 message, latest: Oct 23 2019 at 20:39)
- Next steps for promotion and validation (37 messages, latest: Oct 20 2019 at 18:14)
- Terminology for statically checking
const bodies (5 messages, latest: Oct 19 2019 at 09:10)
- wg-const-eval (26 messages, latest: Oct 18 2019 at 15:37)
- Generic consts (63 messages, latest: Oct 17 2019 at 12:48)
- Weekly check-in? (8 messages, latest: Oct 17 2019 at 12:40)
- dataflow-based const qualification MVP (1178 messages, latest: Oct 12 2019 at 18:29)
- inspecting ADT types on RHS of a const item (26 messages, latest: Oct 10 2019 at 17:38)
- [MIRI] Integer sizes for cross-interpetation (38 messages, latest: Oct 09 2019 at 16:36)
- Running miri tests on windows (9 messages, latest: Oct 09 2019 at 15:54)
- Promoting consts with
if (61 messages, latest: Oct 09 2019 at 14:32)
- do not borrow non-Sync data in constants #54424 (12 messages, latest: Oct 09 2019 at 13:32)
- intrinsic-promotion (59 messages, latest: Oct 06 2019 at 13:16)
- (no topic) (2 messages, latest: Sep 28 2019 at 12:28)
- getcwd shim (40 messages, latest: Sep 19 2019 at 15:31)
- Listing env vars (117 messages, latest: Aug 29 2019 at 20:04)
- intptrcast model (1334 messages, latest: Jul 31 2019 at 21:12)
- Add symbolic execution to miri (162 messages, latest: Jul 22 2019 at 16:04)
- const in array repeat expressions (35 messages, latest: Jul 20 2019 at 20:47)
- const generics (54 messages, latest: Jul 13 2019 at 14:22)
- mem::forget lack of guarantees (14 messages, latest: Jul 13 2019 at 07:45)
- Running Miri (31 messages, latest: Jun 19 2019 at 21:00)
- Interp vs Interpret (9 messages, latest: Jun 13 2019 at 12:49)
- MIR-level optimizations and Miri engine test coverage (3 messages, latest: Jun 10 2019 at 20:58)
ident function in CTFE tests? (12 messages, latest: Jun 08 2019 at 10:31)- const evaluating index access to arrays? (2 messages, latest: Jun 06 2019 at 18:34)
- aligning const and const fn? (16 messages, latest: Jun 04 2019 at 13:39)
- using const-qualif for const-checking (40 messages, latest: Jun 03 2019 at 17:09)
- parse_float (22 messages, latest: May 28 2019 at 15:24)
- constants, canonicalization, and normalization oh my! (33 messages, latest: May 07 2019 at 17:29)
- Symbolic execution of MIR (63 messages, latest: Apr 30 2019 at 14:33)
- StroageLive/Dead (7 messages, latest: Apr 30 2019 at 13:33)
- #[feature(const_type_id)] (2 messages, latest: Mar 23 2019 at 18:40)
- Which kind of operands functions are? (10 messages, latest: Mar 16 2019 at 18:11)
- copying undef optimization #58556 (33 messages, latest: Mar 12 2019 at 20:13)
- Where's miri-engine? (5 messages, latest: Mar 07 2019 at 20:44)
- lazy norm and cycles (32 messages, latest: Feb 26 2019 at 22:18)
- compiler lecture series episode on miri (31 messages, latest: Feb 25 2019 at 21:26)
- extending match (3 messages, latest: Feb 20 2019 at 16:44)
- Miri formatting wrong (8 messages, latest: Feb 10 2019 at 09:43)
- Miri and foreign functions (13 messages, latest: Jan 25 2019 at 16:36)
- const types (100 messages, latest: Jan 23 2019 at 10:13)
- rvalue promotion (27 messages, latest: Jan 22 2019 at 10:05)
- array patterns (19 messages, latest: Jan 09 2019 at 16:17)
- const_eval is slow with locals without liveness markers (31 messages, latest: Jan 05 2019 at 12:07)
- #56985 in-bounds checks for live pointers (8 messages, latest: Dec 22 2018 at 15:04)
- #55009 (9 messages, latest: Nov 19 2018 at 13:14)
- #55720 (3 messages, latest: Nov 17 2018 at 15:16)
- calling non-const-fn (100 messages, latest: Nov 17 2018 at 15:07)
- miri labels (3 messages, latest: Nov 17 2018 at 10:37)
- cast-fn-ptr-unsafe tests (14 messages, latest: Nov 16 2018 at 07:56)
- negate -Z (11 messages, latest: Nov 15 2018 at 15:27)
- StableHash for miri types (4 messages, latest: Nov 14 2018 at 13:35)
- reuse visitor for const patterns (8 messages, latest: Nov 14 2018 at 10:05)
- miri machine: global state from access hook (28 messages, latest: Nov 14 2018 at 09:24)
- Dangling pointers in enum discriminants (6 messages, latest: Nov 12 2018 at 10:32)
- diagnostic output differs w/ vs w/o -O (46 messages, latest: Nov 07 2018 at 14:40)
- #55549 value visitors (13 messages, latest: Nov 06 2018 at 13:49)
- cache_on_disk (17 messages, latest: Nov 06 2018 at 09:45)
- miri update (6 messages, latest: Nov 05 2018 at 09:29)
- #55549 miri value visitor (43 messages, latest: Nov 02 2018 at 14:24)
- Undef enum discriminant (19 messages, latest: Nov 01 2018 at 22:12)
- RUST_LOG logging (48 messages, latest: Oct 31 2018 at 09:52)
- #55454 (39 messages, latest: Oct 30 2018 at 16:01)
- ICE generating miri stacktrace (30 messages, latest: Oct 30 2018 at 16:00)
- instance printing (9 messages, latest: Oct 29 2018 at 16:26)
- PR sanity-query (48 messages, latest: Oct 29 2018 at 10:04)
- #55270 (14 messages, latest: Oct 24 2018 at 15:51)
- miri-rustc-tests (13 messages, latest: Oct 24 2018 at 15:26)
- #55260 (32 messages, latest: Oct 24 2018 at 09:58)
- hello (23 messages, latest: Oct 23 2018 at 18:58)
- #55223 (54 messages, latest: Oct 22 2018 at 14:41)
- miri/pr/487 (32 messages, latest: Oct 22 2018 at 13:08)
- pr/55179 (3 messages, latest: Oct 21 2018 at 15:11)
- priroda/pr/12 (6 messages, latest: Oct 19 2018 at 15:34)
- cargo-miri--start-fn (19 messages, latest: Oct 19 2018 at 12:44)
- miri-travis-mac (1 message, latest: Oct 19 2018 at 11:37)
- anon_const_instance_printing (27 messages, latest: Oct 19 2018 at 11:21)
- tuple-structs (3 messages, latest: Oct 19 2018 at 07:16)
- miri-testing (11 messages, latest: Oct 18 2018 at 20:47)
- places-tracking-size (36 messages, latest: Oct 18 2018 at 11:53)
- miri-debug-output (96 messages, latest: Oct 17 2018 at 15:30)
- unreachable-discriminant (31 messages, latest: Oct 17 2018 at 08:26)
Last update: Nov 15 2019 at 10:25UTC