Skip to content

Conditional expression plus evpredicates#1295

Closed
mmatera wants to merge 1 commit intomasterfrom
ConditionalExpression-plus-evpredicates
Closed

Conditional expression plus evpredicates#1295
mmatera wants to merge 1 commit intomasterfrom
ConditionalExpression-plus-evpredicates

Conversation

@mmatera
Copy link
Contributor

@mmatera mmatera commented Apr 20, 2021

@rocky, this branch contains a starting point for using $Assumptions in things like ConditionalExpression.

@mmatera mmatera force-pushed the ConditionalExpression-plus-evpredicates branch from 031fa12 to b6ded9b Compare April 20, 2021 15:14
Integrate uses now ConditionalExpression
@mmatera mmatera force-pushed the ConditionalExpression-plus-evpredicates branch from 3f01645 to 91c6feb Compare April 20, 2021 21:32
@mmatera
Copy link
Contributor Author

mmatera commented Apr 21, 2021

Merged into PR #1271

@mmatera mmatera closed this Apr 21, 2021
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.

1 participant