Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

todo tracker #150

Closed
Dustin-Ray opened this issue Sep 12, 2024 · 1 comment
Closed

todo tracker #150

Dustin-Ray opened this issue Sep 12, 2024 · 1 comment
Labels
enhancement New feature or request

Comments

@Dustin-Ray
Copy link
Contributor

There are a few todos spread throughout the repo, most of them are notating planned features that are not yet supported. See #149 for a few TimeStamp related todo!()s that actually would cause a panic under certain conditions.

Here are a few non-panicking todos labelled in doc comments throughout the repo that may or may not need some attention:

cargo install --example posql_db --path crates/proof-of-sql #TODO: update once this is published to crates.io

// "int128_column" => [100i128, 200, 300, 400], TODO: enable this column once blitzar

// "int128_column" => [100i128, 200, 300, 400], TODO: enable this column once blitzar

// "int128_column" => [100i128, 200, 300, 400], TODO: enable this column once blitzar

Work is currently underway on range check which should resolve this, see #141

/// todo! make this more efficient and targeted at just the sign bit rather than all bits to create a proof

//TODO: This test uses postprocessing now. Check proof results once PROOF-765 is done.

//TODO: Add unary negative operator so that it will no longer be necessary to use the minus sign with brackets

// TODO: we should be able to pass this test.
// But due to some lalrpop restriction, we aren't.
// This problem will be addressed in a future PR.

@Dustin-Ray Dustin-Ray added documentation enhancement New feature or request good first issue Good for newcomers and removed good first issue Good for newcomers labels Sep 12, 2024
@JayWhite2357
Copy link
Contributor

Closing in favor of individual issues for each todo.

@JayWhite2357 JayWhite2357 closed this as not planned Won't fix, can't repro, duplicate, stale Sep 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants