Name		Name	Last commit message	Last commit date
backend		backend
bin		bin
common		common
fe_utils		fe_utils
include		include
interfaces		interfaces
makefiles		makefiles
pl		pl
port		port
template		template
test		test
timezone		timezone
tools		tools
tutorial		tutorial
.DS_Store		.DS_Store
.gitignore		.gitignore
DEVELOPERS		DEVELOPERS
LICENSE		LICENSE
Makefile		Makefile
Makefile.global.in		Makefile.global.in
Makefile.shlib		Makefile.shlib
README.md		README.md
meson.build		meson.build
nls-global.mk		nls-global.mk

Repository files navigation

SQL Query Weak Equivalence

A structure in PostgreSQL for checking weak equivalence of SQL queries.

z3 update

needs to build on z3 4.11.3 version:

About

No description, website, or topics provided.

Apache-2.0 license

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages