Code

Silicon progress tracing#949

Code

Closed

bobismijnnaam wants to merge 3 commits intodevutwente-fmt/vercors:devfrom silicon-progress-tracingutwente-fmt/vercors:silicon-progress-tracingCopy head branch name to clipboard

+102-16

Commits

Commits on Feb 7, 2023

• Add buggy tracing printing on the pvl level. Add some extra origins

  bobismijnnaam

  committed
  e607292

• Use origin of definition, not of applicable expr

  bobismijnnaam

  committed
  5ce5a26

Commits on Feb 10, 2023

• Add quantifier rewriting capabilities for sequences as well

  bobismijnnaam

  committed
  92bafc5