Jay White

fix: decode returns `None` with u64::MAX + 1

1

# Rationale `[0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x02]` is the encoding of `u64::MAX`. This does not return `None` when decoding even though it should. This PR...

`[0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x02]` is the encoding of `u64::MAX`. This does not return `None` when decoding even though it should. I have implemented a...

`#[derive(TransparentWrapper)]` doesn't work with `where` clause generic bounds.

1

Here is a MWE of code that I have: ```rust trait MyTrait {} #[derive(TransparentWrapper)] #[repr(transparent)] struct A(T) where T: MyTrait; ``` However, this gives the error ``` the trait bound...

# Rationale for this change A naive evaluation proof can be useful for debugging and acting as a mock type for testing. # What changes are included in this PR?...

fix!: normalize posqltimezone

1

# Rationale for this change The `PoSQLTimeZone` type has multiple representations for the same value, leading to complex upstream usage. # What changes are included in this PR? See the...

# Rationale for this change Serde is not easily portable to other languages, Solidity in particular. This is part of an effort to remove the dependency on serde _within_ proof...

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...

Add nullable column support

27

# Background and Motivation Currently, we have not implemented support for columns with null values. This is a very useful and ubiquitous primitive for any database engine. # Changes Required...

Make opaque `Scalar` conversions explicit rather than using `From`/`Into` trait.

10

# Background and Motivation Currently, the `Scalar` trait requires various conversions using the `From` and `Into` traits. Some of these are confusing, while others are clear. In general, the rule...

Replace `proof-of-sql-parser` with `sqlparser`.

30

# Background and Motivation Currently, we have an in-house parser that is built on the `lalrpop` parser-generator. This has been good while the supported syntax has been simple. However, as...