Gitiles
Code Review
Sign In
asterix-gerrit.ics.uci.edu
/
asterixdb
/
2131b9b0db0c0120a3abe051fe89e3787e27b9d2
/
.
/
asterix
/
asterix-app
/
src
/
test
/
resources
/
runtimets
/
results
/
quantifiers
tree: c115c0f1ac0a0c2b306622ab67e22cefddfb7f95 [
path history
]
[
tgz
]
somesat_01.adm
somesat_02.adm