Skip to content

Extend symbolic language support

Frederik Hennig requested to merge fhennig/symbolic-language into backend-rework

This MR reintroduces a number of missing features relating to the symbolic language to the new backend.

  • AddressOf
  • Logarithm, Hyperbolic and inverse trigonometric functions
  • Multi-Argument and integer min/max
  • Symbolic C-style integer remainder
  • ConditionalFieldAccess

The documentation on the symbolic language is slightly extended, and a few bug fixes are included.

Edited by Frederik Hennig

Merge request reports