| *** trozet has quit IRC | 01:08 | |
| *** masahito has joined #congress | 02:24 | |
| *** masahito has quit IRC | 03:07 | |
| *** masahito has joined #congress | 06:06 | |
| *** masahito has quit IRC | 06:22 | |
| *** masahito has joined #congress | 13:23 | |
| *** masahito has quit IRC | 13:28 | |
| *** ekcs has joined #congress | 18:27 | |
| openstackgerrit | Merged openstack/congress master: Do not activate Z3 relaxed cycle detection if no Z3 https://review.openstack.org/586504 | 23:33 |
|---|---|---|
| openstackgerrit | Merged openstack/congress master: bugfix: order of variables in quantified Z3 terms https://review.openstack.org/587300 | 23:33 |
| openstackgerrit | Merged openstack/congress master: Enable Z3 on the gate https://review.openstack.org/586511 | 23:54 |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!