Topics:
- Quantifier elimination for HRTBs (16 messages, latest: May 06 2021 at 21:14)
- Understanding the Polonius model (19 messages, latest: Apr 01 2021 at 21:16)
- Polonius for rust-analyzer (2 messages, latest: Feb 27 2021 at 16:16)
- New name (1 message, latest: Feb 27 2021 at 13:35)
- general (311 messages, latest: Feb 13 2021 at 19:07)
- Will polonius help with cases like this? (13 messages, latest: Jan 24 2021 at 18:12)
- Using Soufflé (64 messages, latest: Jan 06 2021 at 11:53)
- Alternative
Relation representations (17 messages, latest: Jan 04 2021 at 21:30)
- Basic Blocks (10 messages, latest: Jan 02 2021 at 00:10)
- Optimization PRs (90 messages, latest: Jan 01 2021 at 23:37)
- Intuition for
DatafrogOpt (3 messages, latest: Jan 01 2021 at 22:45)
- Endgame for Polonius? (16 messages, latest: Jan 01 2021 at 22:23)
- 2021 sprints (21 messages, latest: Dec 27 2020 at 12:12)
- datalog interpreter impl (31 messages, latest: Dec 08 2020 at 17:24)
- Still (reasonably) live (8 messages, latest: Dec 02 2020 at 19:19)
- Datalog and incremental SMT solving (16 messages, latest: Dec 02 2020 at 13:41)
- polonius questions (39 messages, latest: Oct 28 2020 at 18:58)
- compiling branches to MIR (3 messages, latest: Oct 28 2020 at 17:17)
- Starting with Polonius (11 messages, latest: Sep 21 2020 at 11:45)
- Datalog as an oracle (4 messages, latest: Aug 12 2020 at 19:56)
- 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)
- 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: May 07 2021 at 06:30UTC