Repository navigation
submissions: Pebble 0.5.0 for the two naive-recursion scenarios - #268
Merged
Merged
Conversation
Contributor
🚀 PR Preview DeployedPreview URL: https://intersectmbo.github.io/UPLC-CAPE/pr-268/ The preview site is automatically updated on every push to this PR and will be removed when the PR is closed. |
Unisay
force-pushed
the
yura/pebble-0.5.0-naive
branch
from
October 29, 2026 10:21
4a5b515 to
4c4e5d2
Compare
Add Pebble_0.5.0_michele-nuzzi under factorial_naive_recursion and fibonacci_naive_recursion, built with @harmoniclabs/pebble-cli 0.5.0 (compiler commit 4e0e403b) from pebble-cape-submissions b13c02e8. The sources and the compiled UPLC are byte-identical to 0.4.4, and so are the metrics.
The 0.4.4 rows now name pebble-0.4.4 instead of main, and the 0.1.2 fibonacci row names pebble-0.1.2. Both branches contain the pinned commits, which do not change.
Unisay
force-pushed
the
yura/pebble-0.5.0-naive
branch
from
October 29, 2026 10:26
4c4e5d2 to
27e507f
Compare
Unisay
marked this pull request as ready for review
October 29, 2026 10:32
This file contains hidden or 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
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.
This PR adds
Pebble_0.5.0_michele-nuzzirows underfactorial_naive_recursionandfibonacci_naive_recursion. They are built with@harmoniclabs/pebble-cli0.5.0, compiler commit4e0e403b(tagv0.5.0), fromUnisay/pebble-cape-submissions@b13c02e8. That commit only bumps the compiler on top of the fixed factorial source from #264. Both compiled programs are byte-identical to the 0.4.4 rows, so the metrics are identical too:factorial_naive_recursionfibonacci_naive_recursionThe output still cases on the built-in Bool, so both rows keep
min_protocol_version11.#263 adds Pebble 0.5.0 rows with the same directory name under the open scenarios
factorial,fibonacciandtwo_party_escrow. Both PRs use the same compiler commit. The paths do not collide.