Code

Add tracing for head arithmetic#374

Code

Merged

aannleax merged 4 commits intomainknowsys/nemo:mainfrom feature/373-tracing-arithmeticknowsys/nemo:feature/373-tracing-arithmeticCopy head branch name to clipboardOct 18, 2023

+171-32

Commits

Commits on Oct 17, 2023

• Add tracing for head arithmetic

  aannleax

  committed
  323e0ad

  Copy full SHA for 323e0ad

• Change display of numeric literal

  aannleax

  committed
  c08d5fe

  Copy full SHA for c08d5fe

• Use checked operations for evaluating a constant

  aannleax

  committed
  223c19b

  Copy full SHA for 223c19b

Commits on Oct 18, 2023

• Use logical type of the predicate as the basis for evaluating constant expressions during tracing

  aannleax

  committed
  69128be

  Copy full SHA for 69128be