Changeset: 5235a7c10db4 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=5235a7c10db4
Added Files:
README.rst
cmake/Modules/FindCreaterepo.cmake
cmake/Modules/FindDpkgBuildpackage.cmake
cmake/Modules/FindReprepro.cmake
cmake/Modules/FindRpmbuild.cmake
cmake/Modules/FindSemodule.cmake
documentation/source/intro.rst
documentation/source/windowsbuild.rst
sql/common/exception_buffer.c
sql/include/exception_buffer.h
sql/test/BugDay_2005-10-06_2.9.3/Tests/parser_crashes_server.SF-921996.stable.err.Darwin
sql/test/BugTracker-2019/Tests/str_to_time.Bug-6791.stable.out.single
sql/test/SQLancer/Tests/sqlancer03.sql
sql/test/SQLancer/Tests/sqlancer03.stable.err
sql/test/SQLancer/Tests/sqlancer03.stable.out
sql/test/json/Tests/jsontext.Bug-6859.stable.err
sql/test/json/Tests/jsontext.Bug-6859.stable.out
sql/test/mapi/Tests/sql_int128.stable.out.int128.single
sql/test/pg_regress/Tests/float8.stable.err.int128.single
sql/test/pg_regress/Tests/float8.stable.err.single
Removed Files:
README
documentation/old/README.rst
monetdb5/extras/rapi/converters.c.h
monetdb5/extras/rapi/rapi.h
monetdb5/modules/kernel/mmath.h
monetdb5/modules/mal/batExtensions.h
monetdb5/modules/mal/batcalc.h
monetdb5/modules/mal/calc.h
monetdb5/modules/mal/language.h
monetdb5/modules/mal/mdb.h
sql/server/cmp_exp_eval.h
sql/server/rel_outer_join_optimizer.h
Modified Files:
.editorconfig
CMakeLists.txt
NT/mkodbcwxs.py
NT/mksqlwxs.py
clients/Tests/MAL-signatures.stable.out
clients/Tests/MAL-signatures.stable.out.int128
clients/Tests/exports.stable.out
clients/mapilib/mapi.c
cmake/Modules/FindLZ4.cmake
cmake/monetdb-custom-targets.cmake
cmake/monetdb-defines.cmake
cmake/monetdb-findpackages.cmake
cmake/monetdb-functions.cmake
cmake/monetdb-options.cmake
cmake/monetdb-packages.cmake
cmake/monetdb-toolchain.cmake
common/utils/msabaoth.c
ctest/cmake/CMakeLists.txt
ctest/cmake/detect-bz2.cmake
ctest/cmake/detect-commoncrypto.cmake
ctest/cmake/detect-curl.cmake
ctest/cmake/detect-fits.cmake
ctest/cmake/detect-gdal.cmake
ctest/cmake/detect-geos.cmake
ctest/cmake/detect-iconv.cmake
ctest/cmake/detect-libpy3.cmake
ctest/cmake/detect-libr.cmake
ctest/cmake/detect-libz.cmake
ctest/cmake/detect-lz4.cmake
ctest/cmake/detect-lzma.cmake
ctest/cmake/detect-netcdf.cmake
ctest/cmake/detect-openssl.cmake
ctest/cmake/detect-pcre.cmake
ctest/cmake/detect-proj.cmake
ctest/cmake/detect-pthreadkill.cmake
ctest/cmake/detect-pthreadsig.cmake
ctest/cmake/detect-readline.cmake
ctest/cmake/detect-snappy.cmake
ctest/cmake/detect-uuid.cmake
ctest/cmake/detect-valgrind.cmake
ctest/cmake/detect-xml.cmake
ctest/tools/monetdbe/backup.c
ctest/tools/monetdbe/cmocka_test.c
ctest/tools/monetdbe/example2.c
ctest/tools/monetdbe/example_backup.c
ctest/tools/monetdbe/test_helper.c
ctest/tools/monetdbe/test_helper.h
ctest/tools/monetdbe/test_helper_template.h
documentation/index.rst
documentation/source/release.rst
gdk/gdk_aggr.c
gdk/gdk_analytic_bounds.c
gdk/gdk_analytic_func.c
gdk/gdk_atoms.c
gdk/gdk_bbp.c
gdk/gdk_calc.c
gdk/gdk_calc.h
gdk/gdk_calc_private.h
gdk/gdk_cand.c
gdk/gdk_select.c
gdk/gdk_subquery.c
gdk/gdk_system.h
gdk/gdk_utils.c
geom/lib/libgeom.c
geom/monetdb5/geom.c
geom/monetdb5/geom.h
geom/monetdb5/geom_funcs.mal
misc/python/fixlicense.py
monetdb5/extras/mal_optimizer_template/Tests/opt_sql_append.stable.out
monetdb5/extras/mal_optimizer_template/Tests/opt_sql_append.stable.out.Windows
monetdb5/extras/rapi/CMakeLists.txt
monetdb5/extras/rapi/rapi.c
monetdb5/mal/mal.h
monetdb5/mal/mal_authorize.c
monetdb5/mal/mal_client.c
monetdb5/mal/mal_client.h
monetdb5/mal/mal_interpreter.c
monetdb5/mal/mal_linker.c
monetdb5/mal/mal_module.c
monetdb5/mal/mal_prelude.c
monetdb5/mal/mal_prelude.h
monetdb5/mal/mal_private.h
monetdb5/mal/mel.h
monetdb5/modules/atoms/batxml.c
monetdb5/modules/atoms/color.c
monetdb5/modules/atoms/json.c
monetdb5/modules/atoms/str.c
monetdb5/modules/atoms/str.h
monetdb5/modules/kernel/CMakeLists.txt
monetdb5/modules/kernel/aggr.c
monetdb5/modules/kernel/algebra.c
monetdb5/modules/kernel/bat5.c
monetdb5/modules/kernel/batmmath.c
monetdb5/modules/kernel/batstr.c
monetdb5/modules/kernel/microbenchmark.c
monetdb5/modules/kernel/mmath.c
monetdb5/modules/kernel/mmath_private.h
monetdb5/modules/mal/01_batcalc.mal
monetdb5/modules/mal/01_batcalc.mal.sh
monetdb5/modules/mal/CMakeLists.txt
monetdb5/modules/mal/Tests/inspect05.stable.out
monetdb5/modules/mal/Tests/inspect05.stable.out.int128
monetdb5/modules/mal/batExtensions.c
monetdb5/modules/mal/batcalc.c
monetdb5/modules/mal/calc.c
monetdb5/modules/mal/clients.c
monetdb5/modules/mal/language.c
monetdb5/modules/mal/manual.c
monetdb5/modules/mal/mdb.c
monetdb5/modules/mal/pcre.c
monetdb5/modules/mal/tablet.c
monetdb5/modules/mal/tracer.c
monetdb5/modules/mal/tracer.h
monetdb5/optimizer/opt_costModel.h
monetdb5/optimizer/opt_garbageCollector.c
monetdb5/optimizer/opt_mergetable.c
monetdb5/optimizer/opt_prelude.c
monetdb5/optimizer/opt_prelude.h
sql/backends/monet5/UDF/pyapi3/pytypes.h
sql/backends/monet5/UDF/udf/Tests/udf-fuse.stable.out
sql/backends/monet5/UDF/udf/Tests/udf-reverse.stable.out
sql/backends/monet5/generator/generator.c
sql/backends/monet5/mal_backend.c
sql/backends/monet5/mal_backend.h
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_execute.c
sql/backends/monet5/sql_gencode.c
sql/backends/monet5/sql_gencode.h
sql/backends/monet5/sql_import.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_session.mal
sql/backends/monet5/sql_statement.c
sql/backends/monet5/sql_statement.h
sql/backends/monet5/sql_subquery.c
sql/backends/monet5/sql_time.c
sql/backends/monet5/sql_upgrades.c
sql/backends/monet5/vaults/fits/72_fits.sql
sql/benchmarks/ATIS/Tests/select_group.stable.out
sql/benchmarks/ATIS/Tests/select_group.stable.out.int128
sql/benchmarks/tpcds/Tests/07.stable.out
sql/benchmarks/tpcds/Tests/09.stable.out
sql/benchmarks/tpcds/Tests/13.stable.out
sql/benchmarks/tpcds/Tests/13.stable.out.int128
sql/benchmarks/tpcds/Tests/18.stable.out
sql/benchmarks/tpcds/Tests/18.stable.out.int128
sql/benchmarks/tpcds/Tests/26.stable.out
sql/benchmarks/tpcds/Tests/27.stable.out
sql/benchmarks/tpcds/Tests/28.stable.out
sql/benchmarks/tpcds/Tests/85.stable.out
sql/benchmarks/tpch/LOCKED/Tests/01.stable.out
sql/benchmarks/tpch/LOCKED/Tests/01.stable.out.int128
sql/benchmarks/tpch/Tests/01.stable.out
sql/benchmarks/tpch/Tests/01.stable.out.int128
sql/common/CMakeLists.txt
sql/common/sql_backend.c
sql/common/sql_backend.h
sql/common/sql_mem.c
sql/common/sql_stack.c
sql/common/sql_string.c
sql/common/sql_string.h
sql/common/sql_types.c
sql/common/sql_types.h
sql/include/CMakeLists.txt
sql/include/sql_catalog.h
sql/include/sql_list.h
sql/include/sql_mem.h
sql/scripts/51_sys_schema_extension.sql
sql/scripts/58_hot_snapshot.sql
sql/server/rel_distribute.c
sql/server/rel_dump.c
sql/server/rel_exp.c
sql/server/rel_exp.h
sql/server/rel_optimizer.c
sql/server/rel_planner.c
sql/server/rel_prop.c
sql/server/rel_prop.h
sql/server/rel_propagate.c
sql/server/rel_psm.c
sql/server/rel_rel.c
sql/server/rel_rel.h
sql/server/rel_rewriter.c
sql/server/rel_rewriter.h
sql/server/rel_schema.c
sql/server/rel_select.c
sql/server/rel_semantic.c
sql/server/rel_unnest.c
sql/server/rel_updates.c
sql/server/rel_updates.h
sql/server/sql_atom.c
sql/server/sql_atom.h
sql/server/sql_decimal.c
sql/server/sql_decimal.h
sql/server/sql_env.c
sql/server/sql_mvc.c
sql/server/sql_mvc.h
sql/server/sql_parser.h
sql/server/sql_parser.y
sql/server/sql_partition.c
sql/server/sql_privileges.c
sql/server/sql_qc.c
sql/server/sql_qc.h
sql/server/sql_scan.c
sql/server/sql_scan.h
sql/server/sql_semantic.c
sql/server/sql_semantic.h
sql/server/sql_var.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/BugDay_2005-11-09_2.9.3/Tests/empty_avg.SF-1207887.stable.out
sql/test/BugDay_2005-11-09_2.9.3/Tests/sql_server_crash.SF-1080024.stable.out
sql/test/BugTracker-2009/Tests/prepare_decimal_bug.SF-2831994.stable.err
sql/test/BugTracker-2009/Tests/prepare_decimal_bug.SF-2831994.stable.out
sql/test/BugTracker-2010/Tests/LIMIT_OFFSET_big-endian.Bug-2622.stable.out
sql/test/BugTracker-2010/Tests/prepare_stmt.Bug-2533.Bug-2534.stable.err
sql/test/BugTracker-2010/Tests/prepare_stmt.Bug-2533.Bug-2534.stable.out
sql/test/BugTracker-2011/Tests/and-power.Bug-3013.sql
sql/test/BugTracker-2011/Tests/and-power.Bug-3013.stable.out
sql/test/BugTracker-2012/Tests/All
sql/test/BugTracker-2012/Tests/aggregate_incorrect_precision_scale.Bug-3182.stable.out
sql/test/BugTracker-2012/Tests/currenttime.Bug-2781.stable.out
sql/test/BugTracker-2012/Tests/rewrite_like_into_likesubselect.Bug-3179.stable.out
sql/test/BugTracker-2013/Tests/timestamp.Bug-3401.stable.err
sql/test/BugTracker-2014/Tests/aggregates-intervals.Bug-3533.stable.out
sql/test/BugTracker-2014/Tests/manifold.Bug-3556.stable.out
sql/test/BugTracker-2014/Tests/querylog.Bug-3607.stable.out
sql/test/BugTracker-2015/Tests/schemadiff.Bug-3778.stable.out
sql/test/BugTracker-2015/Tests/timestamp_convert.Bug-3815.sql
sql/test/BugTracker-2016/Tests/All
sql/test/BugTracker-2016/Tests/convert-function-test.Bug-3460.stable.err
sql/test/BugTracker-2016/Tests/convert-function-test.Bug-3460.stable.err.int128
sql/test/BugTracker-2016/Tests/decimal_vs_integer.Bug-3941.stable.out
sql/test/BugTracker-2016/Tests/decimal_vs_integer.Bug-3941.stable.out.single
sql/test/BugTracker-2016/Tests/isaUUID_function.Bug-3997.stable.err
sql/test/BugTracker-2016/Tests/null_in_null.Bug-3900.stable.out
sql/test/BugTracker-2017/Tests/crash_function_returning_sample.Bug-6291.stable.out
sql/test/BugTracker-2017/Tests/drop_not_null_on_pkey.Bug-6189.stable.out
sql/test/BugTracker-2017/Tests/side-effect.Bug-6397.stable.out
sql/test/BugTracker-2017/Tests/side-effect.Bug-6397.stable.out.single
sql/test/BugTracker-2018/Tests/sqlitelogictest-algebra-join-not-in.Bug-6519.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-aritmetic-expressions-handling.Bug-6576.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-case-coalesce.Bug-6550.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-case-not-in-count.Bug-6587.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-cast-null-add.Bug-6630.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-complex-case-extra-columns.Bug-6555.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-complex-case-nullif-coalesce.Bug-6565.sql
sql/test/BugTracker-2018/Tests/sqlitelogictest-complex-case-nullif-coalesce.Bug-6565.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-complex-case.Bug-6552.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-count-coalesce-nullif.Bug-6586.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-count-not-in.Bug-6518.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-groupby-coalesce-error-message.Bug-6608.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-groupby-having-in-cast.Bug-6561.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-groupby-having-in.Bug-6560.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-groupby-having-not-null-not-in.Bug-6562.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-having-not-null-not-in.Bug-6557.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-mal-calc-undefined.Bug-6566.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-nested-case.Bug-6554.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-select-errors.Bug-6600.stable.out
sql/test/BugTracker-2018/Tests/sqlitelogictest-select-nullif-case.Bug-6579.stable.out
sql/test/BugTracker-2019/Tests/avg-changes-value-scale.Bug-6783.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-2019/Tests/prepare-types.Bug-6724.stable.err
sql/test/BugTracker-2019/Tests/prepared-merge-statement.Bug-6706.stable.err
sql/test/BugTracker-2019/Tests/remote-table-non-existent-column.Bug-6750.stable.err
sql/test/BugTracker-2019/Tests/str_to_time.Bug-6791.stable.out
sql/test/BugTracker/Tests/All
sql/test/BugTracker/Tests/bind_with_cast.SF-1720934.stable.err
sql/test/BugTracker/Tests/bind_with_cast.SF-1720934.stable.out
sql/test/BugTracker/Tests/explain.SF-1739353.stable.out
sql/test/BugTracker/Tests/inserting_invalid_timestamp.SF-1363557.stable.err
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/SQLancer/Tests/All
sql/test/SQLancer/Tests/sqlancer02.sql
sql/test/SQLancer/Tests/sqlancer02.stable.out
sql/test/Tests/decimal2.stable.out
sql/test/Tests/function_syntax.stable.err
sql/test/Tests/median_stdev.sql
sql/test/Tests/median_stdev.stable.out
sql/test/Tests/procedure_syntax.stable.err
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/mapi/Tests/utf8test.SQL.py
sql/test/merge-partitions/Tests/mergepart09.stable.err
sql/test/mergetables/Tests/forex.stable.out
sql/test/mergetables/Tests/forex.stable.out.int128
sql/test/mergetables/Tests/mergeinit.sql
sql/test/mergetables/Tests/mergequery.stable.out
sql/test/mergetables/Tests/sqlsmith-exists2.sql
sql/test/mergetables/Tests/sqlsmith-exists2.stable.out
sql/test/miscellaneous/Tests/deallocate.stable.err
sql/test/miscellaneous/Tests/select_groupby.stable.err
sql/test/miscellaneous/Tests/simple_plans.sql
sql/test/miscellaneous/Tests/simple_plans.stable.out
sql/test/miscellaneous/Tests/simple_plans.stable.out.single
sql/test/miscellaneous/Tests/simple_selects.stable.out
sql/test/pg_regress/Tests/date.stable.err
sql/test/pg_regress/Tests/date.stable.out
sql/test/pg_regress/Tests/drop.stable.err
sql/test/pg_regress/Tests/float8.stable.err
sql/test/pg_regress/Tests/float8.stable.err.int128
sql/test/pg_regress/Tests/interval.stable.err
sql/test/pg_regress/Tests/interval.stable.err.int128
sql/test/pg_regress/Tests/interval.stable.out
sql/test/pg_regress/Tests/interval.stable.out.int128
sql/test/pg_regress/Tests/numeric.stable.out.int128
sql/test/pg_regress/Tests/time.stable.err
sql/test/pg_regress/Tests/timestamp.stable.err
sql/test/pg_regress/Tests/timestamptz.stable.err
sql/test/pg_regress/Tests/timetz.stable.err
sql/test/remote/Tests/partition_elim.stable.out
sql/test/scoping/Tests/scoping01.stable.err
sql/test/snodgrass/Tests/cast_select.stable.err
sql/test/snodgrass/Tests/cast_select.stable.out
sql/test/subquery/Tests/subquery.stable.err
sql/test/subquery/Tests/subquery.stable.out
sql/test/subquery/Tests/subquery4.sql
sql/test/subquery/Tests/subquery4.stable.err
sql/test/subquery/Tests/subquery4.stable.out
sql/test/subquery/Tests/subquery6.sql
sql/test/subquery/Tests/subquery6.stable.err
sql/test/subquery/Tests/subquery6.stable.out
sql/test/sys-schema/Tests/systemfunctions.stable.out
sql/test/sys-schema/Tests/systemfunctions.stable.out.int128
sql/test/testdb-upgrade-chain-hge/Tests/upgrade.stable.out.int128
sql/test/testdb-upgrade-chain/Tests/upgrade.stable.out.int128
sql/test/testdb-upgrade-hge/Tests/upgrade.stable.out.int128
sql/test/testdb-upgrade/Tests/upgrade.stable.out.int128
sql/test/wlcr/Tests/wlr110.stable.err
sql/test/xquery/Tests/q01.stable.out
testing/Mtest.py.bat
testing/Mtest.py.in
testing/exportutils.py
testing/malcheck.py
testing/mktest.py
testing/process.py
testing/sqllogictest.py
tools/merovingian/client/Tests/monetdb_snapshot.py
tools/merovingian/client/Tests/monetdb_snapshot.stable.err
tools/merovingian/client/Tests/monetdb_snapshot.stable.out
tools/merovingian/client/Tests/monetdbd.py
tools/merovingian/client/monetdb.1
tools/merovingian/client/monetdb.c
tools/merovingian/daemon/controlrunner.c
tools/merovingian/daemon/snapshot.c
tools/merovingian/daemon/snapshot.h
tools/merovingian/utils/control.c
tools/merovingian/utils/control.h
tools/monetdbe/monetdbe.c
tools/monetdbe/monetdbe_mapi.c
tools/monetdbe/monetdbe_mapi.h
Branch: makelibstreamgreatagain
Log Message:
Merge branch 'default' into 'makelibstreamgreatagain'
Conflicts:
clients/Tests/exports.stable.out
common/stream/stream.c
tools/merovingian/utils/control.c
diffs (truncated from 42973 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 = 80
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/documentation/old/README.rst b/README.rst
rename from documentation/old/README.rst
rename to README.rst
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;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht],
X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht],
X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], 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[:sht], 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[:sht],
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht],
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], 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[:sht], 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[:sht],
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht],
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng],
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], 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[:sht], 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[:sht], X_2:bte):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte,
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int,
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int,
X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int,
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
