openstack/congress
Code Issues Proposed changes

Update notes for submitted changes

Browse Source 
* Z3 engine as an alternative Datalog engine
This commit is contained in:
Gerrit Code Review 2018-07-26 22:06:56 +00:00
parent 9b659ce1ee
commit 8739baf497
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
c5/f633dfa2bca74bea6e28bf5dc418a4f58eb4a5 Normal file
View File

@ -0,0 +1,8 @@
Code-Review+2: Eric Kao <ekcs.openstack@gmail.com>
Workflow+1: Eric Kao <ekcs.openstack@gmail.com>
Verified+2: Zuul
Submitted-by: Zuul
Submitted-at: Thu, 26 Jul 2018 22:06:56 +0000
Reviewed-on: https://review.openstack.org/582625
Project: openstack/congress
Branch: refs/heads/master