Aleksei Pleshakov

KLEE floating-point support.

8

The implementation is based on KLEE-float. Supported llvm math intrinsic functions related to floating-point. Added ENABLE_FP and FP_RUNTIME options to CMake. Provided an ability to switch between Z3Builder implementations. Building...

[[TPC-DS]]: YQL-17593: q57 pg : Terminate was called, reason(50): ERROR: invalid digit in external "numeric" value

11

`ydb/library/benchmarks/gen_queries/gen_queries --syntax pg --variant ds` then look at `q/ds/q57.sql`

YQL-17364: predicate pushdown for right side of left join. Resolves #2523

42

### Changelog entry ### Changelog category * Not for changelog (changelog entry is not required) ### Additional information ...

[pg] ignore from pg_settings in set_config queries

1

Rewrite queries such as `SELECT set_config(\'bytea_output\',\'hex\',false) FROM pg_settings WHERE name = \'bytea_output\';` into `SELECT set_config(\'bytea_output\',\'hex\',false)` if FROM clause contains pg_settings table.

Fix pg_tables when not using /Root database

3

### Changelog entry ### Changelog category * Not for changelog (changelog entry is not required) ### Additional information ...