Skip to content

New AssignImplicit interface: Dagrt side

Matt Wala requested to merge new-implicit-interface into master

This change modifies the way that AssignImplicit instructions represent systems of implicit equations in Dagrt.

The AssignImplicit instruction gains two attributes, input_expressions and params. The purpose of these attributes is to supply the important parts of the system of implicit equations directly to the user, rather than indirectly through a symbolic expression, which was the former interface. The old attributes expressions, other_params, and solve_variables are removed.

CodeBuilder is also updated to support the new interface.

This change is also a version bump.

See leap!40

cc: @cory

Edited by Matt Wala

Merge request reports

Loading