| *** bigdogstl has joined #congress | 00:17 | |
| *** bigdogstl has quit IRC | 00:22 | |
| *** bigdogstl has joined #congress | 00:32 | |
| *** bigdogstl has quit IRC | 01:15 | |
| *** ekcs has quit IRC | 01:16 | |
| *** bigdogstl has joined #congress | 03:16 | |
| *** bigdogstl has quit IRC | 03:20 | |
| *** masahito has joined #congress | 05:44 | |
| openstackgerrit | Pierre Crégut proposed openstack/congress master: bugfix: order of variables in quantified Z3 terms https://review.openstack.org/587300 | 06:53 |
|---|---|---|
| openstackgerrit | Pierre Crégut proposed openstack/congress master: Enable Z3 on the gate https://review.openstack.org/586511 | 07:05 |
| openstackgerrit | Pierre Crégut proposed openstack/congress-tempest-plugin master: Integration tests for Z3 engine in Congress. https://review.openstack.org/586505 | 07:18 |
| *** AlexeyAbashkin has joined #congress | 07:42 | |
| *** masahito has quit IRC | 08:12 | |
| *** masahito has joined #congress | 09:01 | |
| *** masahito has quit IRC | 11:02 | |
| openstackgerrit | Pierre Crégut proposed openstack/congress-specs master: Z3 as an alternative Datalog engine https://review.openstack.org/580711 | 11:05 |
| *** masahito has joined #congress | 11:18 | |
| *** masahito has quit IRC | 11:20 | |
| *** bigdogstl has joined #congress | 12:52 | |
| *** bigdogstl has quit IRC | 12:58 | |
| *** bigdogstl has joined #congress | 13:17 | |
| *** bigdogstl has quit IRC | 13:17 | |
| *** bigdogstl has joined #congress | 13:17 | |
| *** akhil_jain has quit IRC | 13:55 | |
| *** bigdogstl has quit IRC | 14:12 | |
| *** masahito has joined #congress | 14:36 | |
| *** bigdogstl has joined #congress | 14:45 | |
| *** bigdogstl has quit IRC | 14:52 | |
| *** bigdogstl has joined #congress | 15:29 | |
| *** bigdogstl has quit IRC | 16:09 | |
| *** bigdogstl has joined #congress | 16:16 | |
| *** bigdogstl has quit IRC | 16:21 | |
| *** bigdogstl has joined #congress | 16:22 | |
| *** bigdogstl has quit IRC | 16:27 | |
| *** bigdogstl has joined #congress | 16:29 | |
| *** bigdogstl has quit IRC | 16:34 | |
| *** bigdogstl has joined #congress | 16:35 | |
| *** bigdogstl has quit IRC | 16:39 | |
| *** bigdogstl has joined #congress | 16:39 | |
| *** AlexeyAbashkin has quit IRC | 16:47 | |
| *** bigdogstl has quit IRC | 17:00 | |
| *** bigdogstl has joined #congress | 17:03 | |
| *** bigdogstl has quit IRC | 17:11 | |
| *** bigdogstl has joined #congress | 17:32 | |
| *** ekcs has joined #congress | 17:36 | |
| *** bigdogstl has quit IRC | 17:47 | |
| *** bigdogstl has joined #congress | 17:57 | |
| *** bigdogstl has quit IRC | 18:07 | |
| *** bigdogstl has joined #congress | 18:10 | |
| *** bigdogstl has quit IRC | 18:37 | |
| *** bigdogstl has joined #congress | 18:51 | |
| *** bigdogstl has quit IRC | 18:56 | |
| *** bigdogstl has joined #congress | 18:58 | |
| *** bigdogstl has quit IRC | 19:03 | |
| *** bigdogstl has joined #congress | 19:14 | |
| *** bigdogstl has quit IRC | 19:19 | |
| *** bigdogstl has joined #congress | 19:20 | |
| *** bigdogstl has quit IRC | 19:37 | |
| *** bigdogstl has joined #congress | 19:40 | |
| *** bigdogstl has quit IRC | 20:00 | |
| *** bigdogstl has joined #congress | 20:05 | |
| *** bigdogstl has quit IRC | 20:19 | |
| *** bigdogstl has joined #congress | 20:23 | |
| *** bigdogstl has quit IRC | 20:36 | |
| *** bigdogstl has joined #congress | 20:51 | |
| *** bigdogstl has quit IRC | 20:56 | |
| *** bigdogstl has joined #congress | 21:00 | |
| *** bigdogstl has quit IRC | 21:04 | |
| *** bigdogstl has joined #congress | 21:29 | |
| *** bigdogstl has quit IRC | 21:34 | |
| *** bigdogstl has joined #congress | 22:03 | |
| *** bigdogstl has quit IRC | 22:16 | |
| *** bigdogstl has joined #congress | 23:10 | |
| *** bigdogstl has quit IRC | 23:16 | |
| *** bigdogstl has joined #congress | 23:54 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!