Stream: t-compiler/wg-polonius

Topics:

• Datalog as an oracle (4 messages, latest: Aug 12 2020 at 19:56)
• Datalog and incremental SMT solving (4 messages, latest: Aug 11 2020 at 20:58)
• move error reporting (326 messages, latest: Aug 06 2020 at 18:48)
• rustc tests (12 messages, latest: Aug 06 2020 at 18:39)
• sprint coordination Aug 3 to Aug 5 (232 messages, latest: Aug 06 2020 at 10:12)
• subset errors rework (272 messages, latest: Aug 05 2020 at 23:21)
• fixing the Location::All OOMs during fact generation (158 messages, latest: Aug 05 2020 at 13:39)
• general (310 messages, latest: Aug 05 2020 at 08:50)
• equality variant vs polonius-as-is (137 messages, latest: Aug 04 2020 at 18:03)
• placeholder loans vs subsets (80 messages, latest: Aug 03 2020 at 18:22)
• loans in scope (7 messages, latest: Aug 03 2020 at 16:18)
• scheduling some sprints (136 messages, latest: Aug 03 2020 at 13:29)
• Using Datapond in Polonius (24 messages, latest: Aug 03 2020 at 13:21)
• Getting outlives constraints from mir::TerminatorKind::Call (1 message, latest: Aug 02 2020 at 13:29)
• workaround for known improperly reduced borrows (4 messages, latest: Jul 15 2020 at 08:00)
• dafny (18 messages, latest: Jul 07 2020 at 08:01)
• move errors: partial assignments to moved variables (5 messages, latest: Jul 06 2020 at 17:24)
• sprint week (14 messages, latest: May 29 2020 at 07:16)
• State of -Zpolonius (7 messages, latest: May 20 2020 at 08:06)
• cheering from the sidelines (3 messages, latest: Apr 24 2020 at 15:44)
• move errors (106 messages, latest: Apr 15 2020 at 13:47)
• sync meeting still on calendar (4 messages, latest: Apr 13 2020 at 20:38)
• placeholder loans vs placeholder subsets (12 messages, latest: Mar 17 2020 at 22:00)
• issue 58053 in polonius (23 messages, latest: Mar 05 2020 at 22:08)
• NLL vs Polonius examples (4 messages, latest: Mar 04 2020 at 17:42)
• meeting 2020.03.03 (61 messages, latest: Mar 03 2020 at 20:33)
• meeting 2020.02.25 (155 messages, latest: Feb 28 2020 at 21:22)
• meeting 2020.02.18 (39 messages, latest: Feb 21 2020 at 16:00)
• multiple borrows for nested mutable method calls (13 messages, latest: Feb 17 2020 at 08:58)
• moving to a "periodic work week" pattern (8 messages, latest: Feb 14 2020 at 18:29)
• meeting 2020.02.11 (103 messages, latest: Feb 12 2020 at 11:53)
• meeting 2020.02.04 (41 messages, latest: Feb 10 2020 at 20:49)
• Wantz to get involved (7 messages, latest: Jan 27 2020 at 20:03)
• datalog-to-datafrog (25 messages, latest: Jan 09 2020 at 10:52)
• notes on datafrog (45 messages, latest: Dec 20 2019 at 18:21)
• meeting 2019.12.17 (14 messages, latest: Dec 17 2019 at 20:03)
• meeting 2019.12.10 (184 messages, latest: Dec 10 2019 at 20:43)
• meeting 2019.12.03 (108 messages, latest: Dec 07 2019 at 19:24)
• initialization (745 messages, latest: Nov 26 2019 at 21:55)
• placeholder loans (688 messages, latest: Nov 26 2019 at 20:04)
• meeting 2019.11.26 (14 messages, latest: Nov 26 2019 at 19:33)
• unit testing (49 messages, latest: Nov 20 2019 at 14:17)
• tomorrow's focus? (36 messages, latest: Nov 20 2019 at 14:05)
• PR rust-lang/polonius#139 (4 messages, latest: Nov 19 2019 at 14:23)
• meeting 2019.11.18 (57 messages, latest: Nov 18 2019 at 18:06)
• meeting 2019.11.12 (20 messages, latest: Nov 13 2019 at 19:15)
• Make Polonius input facts public (1 message, latest: Nov 12 2019 at 12:26)
• summary for 2019.11.07 compiler meeting (6 messages, latest: Nov 07 2019 at 21:54)
• planning meeting 2019.11.05 (203 messages, latest: Nov 06 2019 at 11:33)
• Albin's thesis and presentation(s?) (101 messages, latest: Nov 01 2019 at 12:15)
• meeting 2019.10.29 (57 messages, latest: Oct 29 2019 at 20:02)
• trait FactTypes (108 messages, latest: Oct 29 2019 at 19:56)
• vacation (9 messages, latest: Oct 29 2019 at 19:22)
• performance (164 messages, latest: Oct 29 2019 at 16:49)
• meeting 2019.10.22 (104 messages, latest: Oct 23 2019 at 11:14)
• dry run? (19 messages, latest: Oct 22 2019 at 19:08)
• meeting 2019.10.15 (34 messages, latest: Oct 16 2019 at 07:11)
• equality regions (102 messages, latest: Oct 15 2019 at 19:15)
• context sharing #134 (24 messages, latest: Oct 14 2019 at 12:18)
• liveness polonius#104 (560 messages, latest: Oct 14 2019 at 11:57)
• meeting 2019.10.08 (196 messages, latest: Oct 09 2019 at 08:32)
• rustbeltrust (9 messages, latest: Oct 07 2019 at 17:49)
• names of atoms (81 messages, latest: Oct 07 2019 at 08:58)
• rustc compare-mode polonius (148 messages, latest: Oct 04 2019 at 11:40)
• meeting 2019.10.01 (96 messages, latest: Oct 01 2019 at 19:34)
• meeting 2019.09.24 (57 messages, latest: Sep 24 2019 at 19:29)
• current status of compare-mode polonius (49 messages, latest: Sep 23 2019 at 21:01)
• renaming (9 messages, latest: Sep 20 2019 at 11:58)
• meeting 2019.09.17 (52 messages, latest: Sep 17 2019 at 19:23)
• book (50 messages, latest: Sep 13 2019 at 18:51)
• github perms and team repo (19 messages, latest: Sep 13 2019 at 18:37)
• summary for 2019.09.12 compiler meeting (4 messages, latest: Sep 12 2019 at 15:22)
• meeting 2019.09.10 (107 messages, latest: Sep 10 2019 at 19:42)
• reboot meeting 2019.09.03 (130 messages, latest: Sep 03 2019 at 19:44)
• reboot meeting (19 messages, latest: Aug 30 2019 at 16:32)
• refactoring fact generation (2 messages, latest: Aug 26 2019 at 11:47)
• hi everybody (7 messages, latest: Aug 19 2019 at 20:13)
• subset relations and polonius (173 messages, latest: Jul 09 2019 at 17:17)
• what to call regions (12 messages, latest: Jul 03 2019 at 11:32)
• meeting 2019.07.02 (87 messages, latest: Jul 03 2019 at 06:07)
• profiling (76 messages, latest: Jul 01 2019 at 12:00)
• meeting 2019.06.25 (78 messages, latest: Jun 25 2019 at 19:31)
• New guy (5 messages, latest: Jun 25 2019 at 18:56)
• meeting 2019.06.11 (114 messages, latest: Jun 24 2019 at 21:41)
• IncA program analysis (7 messages, latest: Jun 19 2019 at 11:48)
• meeting 2019.06.04 (174 messages, latest: Jun 11 2019 at 11:49)
• meeting 2019.05.28 (77 messages, latest: Jun 04 2019 at 14:24)
• initialization meeting (37 messages, latest: May 31 2019 at 20:29)
• meeting 2019.05.21 (9 messages, latest: May 21 2019 at 12:16)
• meeting 2019.05.14 (135 messages, latest: May 15 2019 at 10:33)
• explaining polonius (5 messages, latest: May 09 2019 at 11:04)
• meeting 2019.05.07 (72 messages, latest: May 07 2019 at 19:34)
• illegal subset relations polonius#99 (11 messages, latest: May 07 2019 at 19:20)
• meeting 2019.04.30 (89 messages, latest: Apr 30 2019 at 19:55)
• location-insensitive to datafrogopt (6 messages, latest: Apr 24 2019 at 19:02)
• hello (15 messages, latest: Apr 24 2019 at 11:37)
• meeting 2019.04.23 (173 messages, latest: Apr 23 2019 at 23:12)
• benchmark suite (72 messages, latest: Apr 19 2019 at 19:44)
• meeting 2019.04.16 (131 messages, latest: Apr 16 2019 at 19:41)
• new weekly meeting time slot (15 messages, latest: Apr 16 2019 at 17:55)
• sync up (35 messages, latest: Apr 12 2019 at 17:46)
• meeting 2019.04.11 (16 messages, latest: Apr 12 2019 at 07:24)
• polonius v0.7.0 released (10 messages, latest: Apr 10 2019 at 20:51)
• meeting 2019.04.04 (2 messages, latest: Apr 04 2019 at 20:14)
• meeting 2019.03.28 (2 messages, latest: Mar 28 2019 at 20:22)
• meeting 2019.03.21 (71 messages, latest: Mar 21 2019 at 21:39)
• hybrid algorithm in rustc (23 messages, latest: Mar 20 2019 at 19:45)
• polonius walkthrough (11 messages, latest: Mar 15 2019 at 20:52)
• meeting 2019.03.14 (163 messages, latest: Mar 14 2019 at 21:13)
• hybrid algorithm polonius#100 (34 messages, latest: Mar 14 2019 at 20:13)
• compiler-team WG description (11 messages, latest: Mar 08 2019 at 23:25)
• meeting 2019.03.07 (240 messages, latest: Mar 08 2019 at 22:09)
• roadmap (47 messages, latest: Mar 07 2019 at 15:54)
• finding perf spikes (126 messages, latest: Feb 22 2019 at 19:37)
• regular meeting time and next steps (8 messages, latest: Feb 20 2019 at 04:27)
• discussing Polonius design (113 messages, latest: Feb 19 2019 at 23:20)

Last update: Aug 13 2020 at 07:45UTC