Changeset: 0c9101f518dd for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=0c9101f518dd
Modified Files:
clients/Tests/MAL-signatures.stable.out
clients/Tests/MAL-signatures.stable.out.int128
clients/Tests/exports.stable.out
gdk/gdk_aggr.c
gdk/gdk_align.c
gdk/gdk_atoms.c
gdk/gdk_bat.c
gdk/gdk_batop.c
gdk/gdk_bbp.c
gdk/gdk_calc.c
gdk/gdk_cand.c
gdk/gdk_join.c
gdk/gdk_private.h
gdk/gdk_project.c
gdk/gdk_select.c
geom/monetdb5/geom.c
geom/monetdb5/geom.h
monetdb5/extras/mal_optimizer_template/Tests/opt_sql_append.stable.out
monetdb5/mal/mal_authorize.c
monetdb5/mal/mel.h
monetdb5/modules/atoms/batxml.c
monetdb5/modules/atoms/blob.c
monetdb5/modules/atoms/json.c
monetdb5/modules/atoms/str.c
monetdb5/modules/kernel/bat5.c
monetdb5/modules/kernel/batstr.c
monetdb5/modules/mal/pcre.c
monetdb5/modules/mal/tablet.c
monetdb5/optimizer/opt_mergetable.c
monetdb5/optimizer/opt_prelude.c
monetdb5/optimizer/opt_prelude.h
sql/backends/monet5/UDF/udf/Tests/udf-fuse.stable.out
sql/backends/monet5/UDF/udf/Tests/udf-reverse.stable.out
sql/backends/monet5/rel_bin.c
sql/backends/monet5/sql.c
sql/backends/monet5/sql.h
sql/backends/monet5/sql.mal
sql/backends/monet5/sql_cat.c
sql/backends/monet5/sql_gencode.c
sql/backends/monet5/sql_gencode.h
sql/backends/monet5/sql_optimizer.c
sql/backends/monet5/sql_result.c
sql/backends/monet5/sql_result.h
sql/backends/monet5/sql_scenario.c
sql/backends/monet5/sql_statement.c
sql/backends/monet5/sql_statement.h
sql/backends/monet5/sql_upgrades.c
sql/common/sql_backend.c
sql/common/sql_backend.h
sql/common/sql_types.c
sql/include/sql_catalog.h
sql/server/rel_optimizer.c
sql/server/rel_planner.c
sql/server/rel_updates.c
sql/server/sql_env.c
sql/server/sql_mvc.c
sql/server/sql_mvc.h
sql/server/sql_parser.y
sql/server/sql_scan.c
sql/storage/bat/bat_storage.c
sql/storage/bat/bat_storage.h
sql/storage/bat/bat_table.c
sql/storage/sql_storage.h
sql/storage/store.c
sql/test/BugTracker-2010/Tests/LIMIT_OFFSET_big-endian.Bug-2622.stable.out
sql/test/BugTracker-2012/Tests/rewrite_like_into_likesubselect.Bug-3179.stable.out
sql/test/BugTracker-2014/Tests/manifold.Bug-3556.stable.out
sql/test/BugTracker-2019/Tests/duplicates-not-eliminated-long-CASE-stmt.Bug-6697.stable.out
sql/test/BugTracker-2019/Tests/duplicates-not-eliminated-long-CASE-stmt.Bug-6697.stable.out.single
sql/test/BugTracker/Tests/explain.SF-1739353.stable.out
sql/test/FeatureRequests/Tests/foreign_key_outer_join_dead_code_elimination-explain-0join-query.stable.out
sql/test/FeatureRequests/Tests/foreign_key_outer_join_dead_code_elimination-explain-0join-view.stable.out
sql/test/FeatureRequests/Tests/foreign_key_outer_join_dead_code_elimination-explain-1join-query.stable.out
sql/test/FeatureRequests/Tests/foreign_key_outer_join_dead_code_elimination-explain-1join-view.stable.out
sql/test/FeatureRequests/Tests/foreign_key_outer_join_dead_code_elimination-explain-2join-query.stable.out
sql/test/FeatureRequests/Tests/foreign_key_outer_join_dead_code_elimination-explain-2join-view.stable.out
sql/test/emptydb/Tests/check.stable.out
sql/test/emptydb/Tests/check.stable.out.32bit
sql/test/emptydb/Tests/check.stable.out.int128
sql/test/mapi/Tests/sql_int128.stable.out.int128
sql/test/mergetables/Tests/mergequery.stable.out
sql/test/orderidx/Tests/simpletable.stable.out
sql/test/orderidx/Tests/smalltable.stable.out
sql/test/sys-schema/Tests/systemfunctions.stable.out
sql/test/sys-schema/Tests/systemfunctions.stable.out.int128
tools/monetdbe/monetdbe.c
Branch: unlock
Log Message:
merged ... with default
diffs (truncated from 53930 to 300 lines):
diff --git a/.editorconfig b/.editorconfig
--- a/.editorconfig
+++ b/.editorconfig
@@ -19,3 +19,4 @@ charset = utf-8
[gdk/*.{c,h}]
tab_width = 8
+max_line_length = 72
diff --git a/CMakeLists.txt b/CMakeLists.txt
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -34,6 +34,7 @@ set(CMAKE_FIND_FRAMEWORK LAST)
set(CMAKE_FIND_APPBUNDLE LAST)
include(CheckCSourceCompiles REQUIRED)
+include(CheckCCompilerFlag REQUIRED)
include(CheckIncludeFile REQUIRED)
include(CMakePushCheckState REQUIRED)
include(CheckStructHasMember REQUIRED)
@@ -52,6 +53,8 @@ include(monetdb-functions)
include(monetdb-findpackages)
include(monetdb-toolchain)
monetdb_default_toolchain()
+#monetdb_default_compiler_options()
+
include(monetdb-defines)
monetdb_hg_revision()
diff --git a/NT/mkodbcwxs.py b/NT/mkodbcwxs.py
--- a/NT/mkodbcwxs.py
+++ b/NT/mkodbcwxs.py
@@ -1,3 +1,9 @@
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+#
+# Copyright 1997 - July 2008 CWI, August 2008 - 2020 MonetDB B.V.
+
# python mkodbcwxs.py VERSION makedefs.txt PREFIX >
PREFIX/MonetDB-ODBC-Installer.wxs
# "c:\Program Files (x86)\WiX Toolset v3.10\bin\candle.exe" -nologo -arch
x64/x86 PREFIX/MonetDB-ODBC-Installer.wxs
# "c:\Program Files (x86)\WiX Toolset v3.10\bin\light.exe" -nologo -sice:ICE03
-sice:ICE60 -sice:ICE82 -ext WixUIExtension PREFIX/MonetDB-ODBC-Installer.wixobj
diff --git a/NT/mksqlwxs.py b/NT/mksqlwxs.py
--- a/NT/mksqlwxs.py
+++ b/NT/mksqlwxs.py
@@ -1,3 +1,9 @@
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+#
+# Copyright 1997 - July 2008 CWI, August 2008 - 2020 MonetDB B.V.
+
# python mksqlwxs.py VERSION makedefs.txt PREFIX >
PREFIX/MonetDB5-SQL-Installer.wxs
# "c:\Program Files (x86)\WiX Toolset v3.10\bin\candle.exe" -nologo -arch
x64/x86 PREFIX/MonetDB5-SQL-Installer.wxs
# "c:\Program Files (x86)\WiX Toolset v3.10\bin\light.exe" -nologo -sice:ICE03
-sice:ICE60 -sice:ICE82 -ext WixUIExtension PREFIX/MonetDB5-SQL-Installer.wixobj
diff --git a/README b/README
deleted file mode 100644
--- a/README
+++ /dev/null
@@ -1,22 +0,0 @@
-The MonetDB Database System
-
-The MonetDB database is developed by the CWI database research group
-(see https://www.monetdb.org/).
-
-Via the MonetDB project we have brought the MonetDB system in open source,
-where it is accessible at https://www.monetdb.org/Downloads/
-
-The MonetDB database system is a high-performance database kernel for
-query-intensive applications. The MonetDB source can be found at our mercurial
server (https://dev.monetdb.org/hg/MonetDB/). There is also a github clone
(https://github.com/MonetDB/MonetDB) that is updated once a day.
-
-If you got a source distribution, please compile and install MonetDB first,
-following the instructions in the "documentation" directory.
-
-
-Copyright Notice
-
-This Source Code Form is subject to the terms of the Mozilla Public
-License, v. 2.0. If a copy of the MPL was not distributed with this
-file, You can obtain one at http://mozilla.org/MPL/2.0/.
-
-Copyright 1997 - July 2008 CWI, August 2008 - 2020 MonetDB B.V.
diff --git a/documentation/old/README.rst b/README.rst
rename from documentation/old/README.rst
rename to README.rst
diff --git a/clients/R/Tests/dbi.R b/clients/R/Tests/dbi.R
--- a/clients/R/Tests/dbi.R
+++ b/clients/R/Tests/dbi.R
@@ -193,7 +193,7 @@ stopifnot(identical("Роман Mühleisen",
dbGetQuery(conn,"SELECT a FROM monetdbtest")$a[[1]]))
dbRollback(conn)
# this returns a column with esoteric type MONTH_INTERVAL
-stopifnot(identical(1L, as.integer(dbGetQuery(con, "select cast(1 as interval
month) - cast(0 as interval month)")[[1]][[1]])))
+stopifnot(identical(1L, as.integer(dbGetQuery(con, "select interval '1' month
+ interval '0' month")[[1]][[1]])))
# reserved words in data frame column names
stopifnot(dbIsValid(conn))
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
@@ -93,6 +93,14 @@ stdout of test 'MAL-signatures` in direc
[ "aggr", "avg", "command aggr.avg(X_2:bat[:int], X_3:bat[:oid],
X_4:bat[:any_1], X_5:int) (X_0:bat[:dbl], X_1:bat[:lng]) ",
"AGGRavg24_dbl;", "" ]
[ "aggr", "avg", "command aggr.avg(X_2:bat[:lng], X_3:bat[:oid],
X_4:bat[:any_1], X_5:int) (X_0:bat[:dbl], X_1:bat[:lng]) ",
"AGGRavg24_dbl;", "" ]
[ "aggr", "avg", "command aggr.avg(X_2:bat[:sht], X_3:bat[:oid],
X_4:bat[:any_1], X_5:int) (X_0:bat[:dbl], X_1:bat[:lng]) ",
"AGGRavg24_dbl;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_3:bat[:bte], X_4:bat[:oid],
X_5:bit) (X_0:bte, X_1:lng, X_2:lng) ", "CMDBATavg3;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_3:bat[:int], X_4:bat[:oid],
X_5:bit) (X_0:int, X_1:lng, X_2:lng) ", "CMDBATavg3;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_3:bat[:lng], X_4:bat[:oid],
X_5:bit) (X_0:lng, X_1:lng, X_2:lng) ", "CMDBATavg3;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_3:bat[:sht], X_4:bat[:oid],
X_5:bit) (X_0:sht, X_1:lng, X_2:lng) ", "CMDBATavg3;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:lng]):bte ", "CMDBATavg3comb;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:lng]):int ", "CMDBATavg3comb;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:lng]):lng ", "CMDBATavg3comb;", "" ]
+[ "aggr", "avg", "pattern aggr.avg(X_1:bat[:sht], X_2:bat[:lng],
X_3:bat[:lng]):sht ", "CMDBATavg3comb;", "" ]
[ "aggr", "avg", "pattern aggr.avg(X_1:bat[:any_2]):dbl ",
"CMDcalcavg;", "" ]
[ "aggr", "avg", "pattern aggr.avg(X_1:bat[:any_2], X_2:int):dbl ",
"CMDcalcavg;", "" ]
[ "aggr", "cardinality", "command aggr.cardinality(X_1:bat[:any_2]):lng
", "ALGcard;", "" ]
@@ -259,6 +267,14 @@ stdout of test 'MAL-signatures` in direc
[ "aggr", "subanyequal", "pattern aggr.subanyequal(X_1:bat[:any_1],
X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:oid],
X_6:bit):bat[:bit] ", "SQLanyequal_grp2;", "" ]
[ "aggr", "subanyequal", "pattern aggr.subanyequal(X_1:bat[:any_1],
X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:oid],
X_6:bit):bat[:bit] ", "SQLanyequal_grp;", "" ]
[ "aggr", "subanyequal", "pattern aggr.subanyequal(X_1:bat[:any_1],
X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid], X_5:bit):bat[:bit] ",
"SQLanyequal_grp;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_3:bat[:bte],
X_4:bat[:oid], X_5:bat[:any_1], X_6:bat[:oid], X_7:bit) (X_0:bat[:bte],
X_1:bat[:lng], X_2:bat[:lng]) ", "AGGRavg3;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_3:bat[:int],
X_4:bat[:oid], X_5:bat[:any_1], X_6:bat[:oid], X_7:bit) (X_0:bat[:int],
X_1:bat[:lng], X_2:bat[:lng]) ", "AGGRavg3;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_3:bat[:lng],
X_4:bat[:oid], X_5:bat[:any_1], X_6:bat[:oid], X_7:bit) (X_0:bat[:lng],
X_1:bat[:lng], X_2:bat[:lng]) ", "AGGRavg3;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_3:bat[:sht],
X_4:bat[:oid], X_5:bat[:any_1], X_6:bat[:oid], X_7:bit) (X_0:bat[:sht],
X_1:bat[:lng], X_2:bat[:lng]) ", "AGGRavg3;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_1:bat[:bte],
X_2:bat[:lng], X_3:bat[:lng], X_4:bat[:oid], X_5:bat[:any_1],
X_6:bit):bat[:bte] ", "AGGRavg3comb;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_1:bat[:int],
X_2:bat[:lng], X_3:bat[:lng], X_4:bat[:oid], X_5:bat[:any_1],
X_6:bit):bat[:int] ", "AGGRavg3comb;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_1:bat[:lng],
X_2:bat[:lng], X_3:bat[:lng], X_4:bat[:oid], X_5:bat[:any_1],
X_6:bit):bat[:lng] ", "AGGRavg3comb;", "" ]
+[ "aggr", "subavg", "command aggr.subavg(X_1:bat[:sht],
X_2:bat[:lng], X_3:bat[:lng], X_4:bat[:oid], X_5:bat[:any_1],
X_6:bit):bat[:sht] ", "AGGRavg3comb;", "" ]
[ "aggr", "subavg", "command aggr.subavg(X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:any_1], X_4:bit, X_5:bit):bat[:dbl] ",
"AGGRsubavg1_dbl;", "" ]
[ "aggr", "subavg", "command aggr.subavg(X_1:bat[:dbl],
X_2:bat[:oid], X_3:bat[:any_1], X_4:bit, X_5:bit):bat[:dbl] ",
"AGGRsubavg1_dbl;", "" ]
[ "aggr", "subavg", "command aggr.subavg(X_1:bat[:flt],
X_2:bat[:oid], X_3:bat[:any_1], X_4:bit, X_5:bit):bat[:dbl] ",
"AGGRsubavg1_dbl;", "" ]
@@ -669,6 +685,8 @@ stdout of test 'MAL-signatures` in direc
[ "bat", "append", "command bat.append(X_1:bat[:any_1], X_2:any_1,
X_3:bit):bat[:any_1] ", "BKCappend_val_force_wrap;", "" ]
[ "bat", "append", "command bat.append(X_1:bat[:any_1],
X_2:any_1):bat[:any_1] ", "BKCappend_val_wrap;", "" ]
[ "bat", "append", "command bat.append(X_1:bat[:any_1],
X_2:bat[:any_1]):bat[:any_1] ", "BKCappend_wrap;", "" ]
+[ "bat", "appendBulk", "pattern bat.appendBulk(X_1:bat[:any_1],
X_2:bit, X_3:any_1...):bat[:any_1] ", "CMDBATappend_bulk;", "" ]
+[ "bat", "appendBulk", "pattern bat.appendBulk(X_1:bat[:any_1],
X_2:bit, X_3:bat[:any_1]...):bat[:any_1] ", "CMDBATappend_bulk;", "" ]
[ "bat", "attach", "command bat.attach(X_1:int,
X_2:str):bat[:any_1] ", "BKCattach;", "" ]
[ "bat", "delete", "command bat.delete(X_1:bat[:any_1],
X_2:oid):bat[:any_1] ", "BKCdelete;", "" ]
[ "bat", "delete", "command
bat.delete(X_1:bat[:any_1]):bat[:any_1] ", "BKCdelete_all;", "" ]
@@ -772,6 +790,54 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ",
"CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1],
X_3:bat[:oid], X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", ""
]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1],
X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte],
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte],
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte],
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte],
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte],
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte],
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date],
X_2:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date],
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ]
@@ -804,6 +870,54 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime,
X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime,
X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime,
X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int],
X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int],
X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int],
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int],
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int],
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int],
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json],
X_2:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json],
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ]
@@ -820,6 +934,102 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json,
X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", ""
]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json,
X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json,
X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng],
X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng],
X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng],
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng],
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng],
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng],
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;",
"" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
