Changeset: 6ea490c0c11a for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=6ea490c0c11a
Modified Files:
clients/Tests/MAL-signatures.stable.out
clients/Tests/MAL-signatures.stable.out.int128
sql/backends/monet5/rel_bin.c
sql/backends/monet5/sql.c
sql/backends/monet5/sql_round_impl.h
sql/backends/monet5/sql_time.c
sql/common/sql_types.c
Branch: clean-candidates
Log Message:
Merged with default
diffs (truncated from 5963 to 300 lines):
diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -786,3 +786,6 @@ 017e44827765fb819d31faefcdf9066dfe593f04
cb4b3f021774b60ffd84c3004d341ec04de736f3 Oct2020_3
017e44827765fb819d31faefcdf9066dfe593f04 Oct2020_release
cb4b3f021774b60ffd84c3004d341ec04de736f3 Oct2020_release
+bd91504a03736565fb2dff13cd4c94c738e81aa0 Oct2020_5
+cb4b3f021774b60ffd84c3004d341ec04de736f3 Oct2020_release
+bd91504a03736565fb2dff13cd4c94c738e81aa0 Oct2020_release
diff --git a/MonetDB.spec b/MonetDB.spec
--- a/MonetDB.spec
+++ b/MonetDB.spec
@@ -860,6 +860,13 @@ fi
%postun -p /sbin/ldconfig
%changelog
+* Tue Oct 13 2020 Sjoerd Mullender <sjo...@acm.org> - 11.39.5-20201013
+- Rebuilt.
+
+* Mon Oct 12 2020 Sjoerd Mullender <sjo...@acm.org> - 11.39.5-20201013
+- clients: mclient and msqldump now also look in $XDG_CONFIG_HOME for the
monetdb
+ configuration file.
+
* Fri Oct 09 2020 Sjoerd Mullender <sjo...@acm.org> - 11.39.3-20201009
- Rebuilt.
diff --git a/NT/mksqlwxs.py b/NT/mksqlwxs.py
--- a/NT/mksqlwxs.py
+++ b/NT/mksqlwxs.py
@@ -151,6 +151,7 @@ def main():
vcpkg.format(r'bin\libcharset.dll'), # for libiconv.dll
vcpkg.format(r'bin\libcrypto-1_1{}.dll'.format(libcrypto)),
vcpkg.format(r'bin\libxml2.dll'),
+ vcpkg.format(r'bin\lz4.dll'),
vcpkg.format(r'bin\lzma.dll'),
vcpkg.format(r'bin\pcre.dll'),
vcpkg.format(r'bin\zlib1.dll')])
@@ -200,8 +201,12 @@ def main():
r'lib\stream.lib',
vcpkg.format(r'lib\libiconv.lib'),
vcpkg.format(r'lib\bz2.lib'),
+ vcpkg.format(r'lib\getopt.lib'),
+ vcpkg.format(r'lib\libcharset.lib'),
vcpkg.format(r'lib\libcrypto.lib'),
vcpkg.format(r'lib\libxml2.lib'),
+ vcpkg.format(r'lib\lz4.lib'),
+ vcpkg.format(r'lib\lzma.lib'),
vcpkg.format(r'lib\pcre.lib'),
vcpkg.format(r'lib\zlib.lib')])
print(r' </Directory>')
diff --git a/clients/ChangeLog-Archive b/clients/ChangeLog-Archive
--- a/clients/ChangeLog-Archive
+++ b/clients/ChangeLog-Archive
@@ -1,6 +1,10 @@
# DO NOT EDIT THIS FILE -- MAINTAINED AUTOMATICALLY
# This file contains past ChangeLog entries
+* Mon Oct 12 2020 Sjoerd Mullender <sjo...@acm.org> - 11.39.5-20201013
+- mclient and msqldump now also look in $XDG_CONFIG_HOME for the monetdb
+ configuration file.
+
* Mon Apr 20 2020 Sjoerd Mullender <sjo...@acm.org> - 11.37.1-20200511
- The monetdb-client-tools (Debian/Ubuntu) and MonetDB-client-tools
(Fedora/RH) containing the stethoscope, tachograph, and tomograph has
diff --git a/clients/ChangeLog.Oct2020 b/clients/ChangeLog.Oct2020
--- a/clients/ChangeLog.Oct2020
+++ b/clients/ChangeLog.Oct2020
@@ -1,7 +1,3 @@
# ChangeLog file for clients
# This file is updated with Maddlog
-* Mon Oct 12 2020 Sjoerd Mullender <sjo...@acm.org>
-- mclient and msqldump now also look in $XDG_CONFIG_HOME for the monetdb
- configuration file.
-
diff --git a/clients/Tests/MAL-signatures.stable.out
b/clients/Tests/MAL-signatures.stable.out
--- a/clients/Tests/MAL-signatures.stable.out
+++ b/clients/Tests/MAL-signatures.stable.out
@@ -1322,6 +1322,14 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:sht],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULenlarge;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:sht],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULenlarge;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
@@ -1332,10 +1340,42 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
@@ -1346,8 +1386,32 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
@@ -1437,7 +1501,15 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
@@ -1448,10 +1520,42 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
@@ -1462,10 +1566,42 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
@@ -1476,10 +1612,42 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
