State machine constraint string. #889
Merged
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
|
This change is |
This was referenced Nov 14, 2024
Merged
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
436a78c to
9ebe2ae
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
42dcf2b to
a38b00d
Compare
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
9ebe2ae to
e0a38e9
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
a38b00d to
c7d33f9
Compare
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
e0a38e9 to
36aa69d
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
c7d33f9 to
282c196
Compare
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
36aa69d to
af65bfc
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
282c196 to
bb412ff
Compare
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
af65bfc to
5c04e62
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
2 times, most recently
from
c18ec88 to
dec69b6
Compare
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
5c04e62 to
78e9027
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
dec69b6 to
ebdb2b5
Compare
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 2.
| Benchmark suite | Current: a0c3a0d | Previous: f6214d1 | Ratio |
|---|---|---|---|
merkle throughput/simd merkle |
30982555 ns/iter (± 474797) |
14690867 ns/iter (± 434150) |
2.11 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @shaharsamocha7
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
78e9027 to
b8f42ec
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
ebdb2b5 to
c46db59
Compare
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
b8f42ec to
01455db
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
c46db59 to
c28ae5f
Compare
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
01455db to
89c469c
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
c28ae5f to
29069bd
Compare
This was referenced Nov 18, 2024
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
2 times, most recently
from
aeac992 to
e55c200
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
29069bd to
5884cb3
Compare
shaharsamocha7
approved these changes
Nov 18, 2024
There was a problem hiding this comment.
Reviewed 1 of 3 files at r1, 1 of 2 files at r2, 1 of 1 files at r3, all commit messages.
Reviewable status:complete! all files reviewed, all discussions resolved (waiting on @Alon-Ti)
Alon-Ti
force-pushed
the
alont/formal-expr-logup1
branch
from
e55c200 to
1caa5eb
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
5884cb3 to
d998220
Compare
Merged
Alon-Ti
changed the base branch from
alont/formal-expr-logup1
to
graphite-base/889
Alon-Ti
force-pushed
the
graphite-base/889
branch
from
1caa5eb to
694d9e7
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
d998220 to
1f7512f
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
1f7512f to
ab4bb77
Compare
Alon-Ti
force-pushed
the
alont/state-machine-expr
branch
from
ab4bb77 to
a0c3a0d
Compare
Merge activity
|
Merged
This was referenced Nov 25, 2024
Merged
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.
No description provided.