253 the recoverable operator mechanism is buggy#256
Merged
AbdallahS merged 2 commits intoas/myclormfrom Apr 21, 2026
Merged
Conversation
AbdallahS
pushed a commit
that referenced
this pull request
Apr 22, 2026
* known to be bad operations disable computeIdx * formatting
AbdallahS
added a commit
that referenced
this pull request
Apr 23, 2026
* mini clean-up of myclorm * myclorm: remove some legacy code and add unit tests * fixing some myclorm edge cases * Propagator: use ref for sets instead of val/ref * early access positive wellformedness * syntax error detection for variables, sets, and multimaps. * Add unit test for equality with bad * Add unit test for equivalence with bad. * execution_declare to always define its output variables * 253 the recoverable operator mechanism is buggy (#256) * known to be bad operations disable computeIdx * formatting * Add python expressions. * Fix #251 * Fix #255 * Clean up a bit and deprecate assign/3 * share implementation of ensure and evaluate between the compile and ground engines * share some implementation of executions between the compile and ground engines * Share execution fail between compile and ground * Avoid a loop in sets that leads to problems similar to #255 * Rework variadic operator type handling, to be static and a bit faster. * Remove usc active for now. * restore accidentally changed parameter * Use shorter performance targets in benchmarks. * Strange performance behaviour. --------- Co-authored-by: VictosVertex <Victos.Vertex@gmail.com>
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
2 participants
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 fixes #253 by disabling
computeIdxif the operation is known to be bad.