Add nullable #1

TomBebb · 2024-10-18T03:57:34Z

Please be sure to look over the pull request guidelines here: https://github.com/spaceandtimelabs/sxt-proof-of-sql/blob/main/CONTRIBUTING.md#submit-pr.

Please go through the following checklist

The PR title and commit messages adhere to guidelines here: https://github.com/spaceandtimelabs/sxt-proof-of-sql/blob/main/CONTRIBUTING.md. In particular ! is used if and only if at least one breaking change has been introduced.
I have run the ci check script with source scripts/run_ci_checks.sh.

Rationale for this change

What changes are included in this PR?

Are these changes tested?

# Conflicts: # crates/proof-of-sql/src/base/database/owned_and_arrow_conversions_test.rs # crates/proof-of-sql/src/sql/proof_exprs/equals_expr.rs

TomBebbington added 30 commits October 17, 2024 18:33

Add columntype associated data

a6e76aa

Basic column refactor

0335e3a

Fix len

525a833

Fix accidental parenthesis removal on columntype

13c9f2b

Fix from_literal_with_lengthfrom_literal_with_length

23cde0e

Add column metadata to ownedcolumn

aa81f1f

Adapt misc column func

cb9a595

Fix columntype display

3ab4384

Fix column tests execution

1336aa4

Fix owned_column functions

17f38cd

Fix owned_column tests

cdaef31

Fix leftover bigint

685f34a

Fix commitment functions

0a263ec

Expose column type metadata

a0265e6

Fix column commitment tests

b9ba8ee

Fix query context builder tests

e9a7ec5

Fix some exprs

bc9d9d7

Use const

04fa27a

Fix committable column

847c7b2

Fix verifiable_query_result.rs

0285644

Fix column_operation.rs

1643053

Fix owned column ops

5f065db

Fix literal

5a7ef99

Fix owned_table_utility.rs

61762fc

Fix arrow_array_to_column_conversion.rs.rs

62e81c2

Fix eval

2bbcd4d

Fix dyn proof expr

7d8eb24

Fix arrow conv expr

8de636d

Fix filter utils

6ee1a8f

Fix eq utils

ee5670b

TomBebbington and others added 23 commits October 17, 2024 23:38

Fix group utils

204164d

Fix multilinear_extension.rs

111ed31

Fix group_by_exec.rs

1940d64

Fix build errors

ac5b637

Fix unit tests

2df853b

Support nullable fields

371962b

Add nullable num type test

1ab5127

Handle type nullability

7c4fdcb

Remove redundant return

2b11a08

Support column check nullable

6b0f71c

Fix accessor utility tests

012c17f

Format

c154e33

Format

d695bad

Fix query benchmark

74bc00a

Fix random_util.rs benchmark

aae5632

Fix not_null unit test mismatch

4d60962

Attempt make columntypeassociateddate default in type

d95ee25

Fix int nullability

4961620

Handle more addition cases

ff45997

Make function for bin-op nullability determination

564531b

Add more null type tests

7daa8e7

Use num for nullability

d914efb

Fix m

c0089af

TomBebb force-pushed the add-nullable branch from be487cb to c0089af Compare October 18, 2024 21:04

Merge remote-tracking branch 'origin/main' into add-nullable

c988468

# Conflicts: # crates/proof-of-sql/src/base/database/owned_and_arrow_conversions_test.rs # crates/proof-of-sql/src/sql/proof_exprs/equals_expr.rs

TomBebb closed this Oct 18, 2024

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add nullable #1

Add nullable #1

Add nullable #1

Add nullable #1

Conversation

Please go through the following checklist

Rationale for this change

What changes are included in this PR?

Are these changes tested?