Skip to content

As/myclorm#252

Merged
AbdallahS merged 23 commits intomainfrom
as/myclorm
Apr 23, 2026
Merged

As/myclorm#252
AbdallahS merged 23 commits intomainfrom
as/myclorm

Conversation

@AbdallahS
Copy link
Copy Markdown
Member

@AbdallahS AbdallahS commented Apr 20, 2026

No description provided.

@AbdallahS
Copy link
Copy Markdown
Member Author

AbdallahS commented Apr 20, 2026

@kstrauch94 I made some minor changes to propagator.py to handle potentially adding bad to a set (or at least, that's what I imagine the runtime error was connected to). I used the same pattern around expression.get_baseType that the propagator code was using elsewhere. Would it make sense to use expression.reducedExpr instead of manually constructing a Val or Bad?

AbdallahS and others added 17 commits April 22, 2026 17:07
@AbdallahS
mini clean-up of myclorm
32f15ef
@AbdallahS
myclorm: remove some legacy code and add unit tests
808cf58
@AbdallahS
fixing some myclorm edge cases
6bd3bd7
@AbdallahS
Propagator: use ref for sets instead of val/ref
7669686
@AbdallahS
early access positive wellformedness
affbda7
@AbdallahS
syntax error detection for variables, sets, and multimaps.
f5385c1
@AbdallahS
Add unit test for equality with bad
e33e743
@AbdallahS
Add unit test for equivalence with bad.
e4fa281
@AbdallahS
execution_declare to always define its output variables
3a99666
@VictosVertex @AbdallahS
253 the recoverable operator mechanism is buggy (#256)
90b1d80 
* known to be bad operations disable computeIdx

* formatting
@AbdallahS
Add python expressions.
06c925f
@AbdallahS
Fix #251
fc0829c
@AbdallahS
Fix #255
b48fd77
@AbdallahS
Clean up a bit and deprecate assign/3
008d39c
@AbdallahS
share implementation of ensure and evaluate between the compile and g…
a1d24b8 
…round engines
@AbdallahS
share some implementation of executions between the compile and groun…
a7c2ff4 
…d engines
@AbdallahS
Share execution fail between compile and ground
7084278
@AbdallahS AbdallahS merged commit afee476 into main Apr 23, 2026
@AbdallahS AbdallahS deleted the as/myclorm branch April 23, 2026 06:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@AbdallahS @VictosVertex