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

feat: Update provers to use SemVer #2045

Merged

Conversation

Artemka374
Copy link
Contributor

@Artemka374 Artemka374 commented May 24, 2024

What ❔

Adjust prover subsystems to take into account patch versions.

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.
  • Spellcheck has been run via zk spellcheck.

@Artemka374 Artemka374 changed the title first batch of type changing Update provers to use SemVer May 24, 2024
@Artemka374 Artemka374 changed the title Update provers to use SemVer feat: Update provers to use SemVer May 24, 2024
core/lib/basic_types/src/protocol_version.rs Outdated Show resolved Hide resolved
core/lib/basic_types/src/protocol_version.rs Outdated Show resolved Hide resolved
core/lib/basic_types/src/protocol_version.rs Outdated Show resolved Hide resolved
prover/prover_fri_utils/src/lib.rs Outdated Show resolved Hide resolved
prover/prover_fri_utils/src/lib.rs Outdated Show resolved Hide resolved
…ust-provers-to-semver

# Conflicts:
#	core/lib/basic_types/src/protocol_version.rs
#	core/lib/prover_interface/src/api.rs
#	core/lib/prover_interface/src/outputs.rs
#	prover/prover_fri_gateway/src/proof_gen_data_fetcher.rs
prover/witness_generator/src/main.rs Show resolved Hide resolved
@perekopskiy perekopskiy merged commit d9672ee into sb-semver-for-protocol-version May 29, 2024
52 checks passed
@perekopskiy perekopskiy deleted the afo/adjust-provers-to-semver branch May 29, 2024 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants