Switch to Arecibo #620
Merged
Switch to Arecibo #620
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Closed
I think that works, but @huitseeker may know otherwise. |
porcuquine
reviewed
Aug 17, 2023
huitseeker
force-pushed
the
arecibo-dev
branch
from
945ea4e
to
06905ab
Compare
…puter#474) * checkpoint3 * fix missing args, todo unhack later * add timing features, mmap attempt * fix * attempt to use closures * attempt to use closures * utlra fast param decoding * match APIs, bugfix * cargo fmt * add a Clone * refactor: Enhance error handling in `get_with_timing` method - Refactored `get_with_timing` method in `src/public_parameters/file_map.rs` for more streamlined functionality * chore: clippy --------- Co-authored-by: Hanting Zhang <hantingz@usc.edu>
* Use neptune witness-generation. * Add itcalc example. * fix: adapt end2end benchmark & associated files * Refactor version handling and vergen version - Overhauled the method of obtaining commit date and short sha across files by replacing module functions with environment variables. - Upgraded the `vergen` dependency from version `0.1` to `8` in `Cargo.toml` and imported limited features. * fix: restore test_prove_fibonacci * test: refactor mismatch test utility * chore:cleanup --------- Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
huitseeker
force-pushed
the
arecibo-dev
branch
from
06905ab
to
dbf7f66
Compare
The "rolling release" model based on the dev forks will make it hard for us to update with a checked-in Cargo.lock https://doc.rust-lang.org/cargo/faq.html#why-do-binaries-have-cargolock-in-version-control-but-not-libraries
porcuquine
approved these changes
Aug 18, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I branched off of
devto pull in the relevant changes, let me know if this is the right approach.